Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach

Authors:
Egon Börger;Bernhard Thalheim
Affiliations:
Dipartimento di Informatica, Università di Pisa, Pisa, Italy I-56125;Chair for Information Systems Engineering, Department of Computer Science, University of Kiel, Kiel, D-24098
Venue:
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Year:
2008

Citing 14
Cited 1

The design and implementation of hierarchical software systems with reusable components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Models of computation for system design

Architecture design and validation methods
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Workflow Patterns

Distributed and Parallel Databases
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
A high-level specification for Semantic Web Service Discovery Services

ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Formal Aspects of Computing
Business Process Management: Concepts, Languages, Architectures

Business Process Management: Concepts, Languages, Architectures
Modeling workflow patterns from first principles

ER'07 Proceedings of the 26th international conference on Conceptual modeling
A compositional framework for service interaction patterns and interaction flows

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
On the suitability of BPMN for business process modelling

BPM'06 Proceedings of the 4th international conference on Business Process Management
Verifying workflows with cancellation regions and OR-Joins: an approach based on reset nets and reachability analysis

BPM'06 Proceedings of the 4th international conference on Business Process Management
Service interaction patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management
A high-level specification for mediators(virtual providers)

BPM'05 Proceedings of the Third international conference on Business Process Management

Applying process analysis to the italian egovernment enterprise architecture

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 processes. We show in particular that one can tailor business process definitions in application-domain yet rigorous terms in such a way that the resulting ASM models can be used as basis for binding contracts between domain experts and IT technologists. The method combines the expressive power and accuracy of rule-based modeling with the intuition provided by visual graph-based descriptions. We illustrate this by an ASM-based semantical framework for the OMG standard for BPMN (Business Process Modeling Notation). The framework supports true concurrency, heterogeneous stateand modularity(compositional design and verification techniques). As validation example we report some experiments, carried out with a special-purpose ASM simulator, to evaluate various definitions proposed in the literature for the critical OR-join construct of BPMN.