Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …

Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …

BPMN collaboration models have acquired increasing relevance in software development
since they shorten the communication gap between domain experts and IT specialists and …

Abstract The Business Process Modeling Notation (BPMN) has been widely used as a tool
for business process modeling. However, BPMN suffers from a lack of standard formal …

In this chapter we present an Abstract State Machine (ASM) ground model designed to
rigorously specify the semantics of Business Process Model and Notation (BPMN) Process …

In the last years we are observing a growing interest in verification of business process
models that, despite their lack of formal characterization, are widely adopted in industry and …

Abstract The Service-Oriented Computing (SOC) paradigm is allowing computer systems to
interact with each other in new ways. According to the literature, SOC allows composition of …

Workflow is used to support and connect business processes (BP) in organizations.
Historically, it is used to define the control of how tasks are coordinated and executed. Its …

This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the
validation of information system specifications. The same case study (a library system) is …

Automatic code generation is an essential cornerstone of model-driven approaches to
software development. Currently, lots of techniques are available that support the …