We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of
modeling and validating web services, workflows, interaction patterns and business …

Abstract Service-oriented Computing is rapidly gaining importance across several
application domains due to its capability of composing autonomous and loosely-coupled …

Model-based systems engineering naturally requires abstract executable specifications to
facilitate simulation and testing in early stages of the system design process. Abstraction and …

This paper presents an intuitive, precise and executable language, SCA-ASM, for model-
based design and prototyping of service-oriented applications. The language combines the …

Early design and validation of service-oriented applications is hardly feasible due to their
distributed, dynamic, and heterogeneous nature. In order to support the engineering of such …

Data warehouses integrate and aggregate data from various sources to support decision
making within an enterprise. Usually, it is assumed that data are extracted from operational …

Many software companies still seem to be reluctant to use formal specifications in their
development processes. Nevertheless, the trend towards implementing critical business …

This paper presents a behavioral formalism based on the Abstract State Machine (ASM)
formal method and intended for high-level, platform-in-dependent, executable specification …

Coordination in distributed environments, like Grids, involves selecting the most appropriate
services, resources or compositions to carry out the planned activities. Such functionalities …

Integration of enterprise applications (EAI) and e-business integration are time-consuming
and expensive. This thesis proposes pattern mining to determine identical object classes …