Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

Web services technologies enable flexible and dynamic interoperation of autonomous
software and information systems. A central challenge is the development of modeling …

While mobile applications are becoming so extraordinarily adopted, it is still unclear if they
deserve any specific testing approach for their verification and validation. This paper wants …

This paper presents a set of tools and techniques for analyzing interactions of composite
web services which are specified in BPEL and communicate through asynchronous XML …

Web service composition refers to the creation of new (Web) services by combining
functionalities provided by existing ones. A number of domain-specific languages for service …

Models can help software engineers to reason about design-time decisions before
implementing a system. This paper focuses on models that deal with non-functional …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

We argue that essential facets of Web Services (WSs), and especially, those useful to
understand their interaction, are best described using process-algebraic notations. WS …

Web services promote the specification based cooperation and collaboration among
distributed applications in an open environment. To ensure the quality of the services that …

It is now well-admitted that formal methods are helpful for many issues raised in the Web
service area. In this paper we present a framework for the design and the verification of WSs …