Business Processes, Web Services, Interaction and Workflow Patterns

In the research reported here, the ASM (Abstract State Machines) method has been used for defining and analysing, in a rigorous but concise, complete but programmer friendly way, the behavioral aspects of business process models, webservices, interaction patterns, workflows. The study has been motivated by an analysis of a certain number of industrial applications (which are not reported here).

Abstract State Machine Nets

• A graphical BP notation, with rigorously defined behavior, combining visualization of control flow with textual data-content description by ASM.

S-BPM: Subject-Oriented Business Process Modeling

• A high-level interpreter for S-BPM
  Appendix in: A. Fleischmann, W. Schmidt, C. Stary, S. Obermeier, E. Boerger: Subject-Oriented Business Process Management (Open Access Book www.springer.com/978-3-642-32391-1)

• Comparing S-BPM and the ASM Method (Draft)
  Final version published 2012 by Springer-Verlag in: LNCS 7260 pp. 52–72 and LN Business Information Processing 104 pp.1–21

Business Processes: analysis of the OMG Standard for BPMN

• A critical analysis of BPMN, Workflow Patterns and YAWL (Draft)
  Final version in: J. Software and Systems Modeling, DOI: 10.1007/s10270-011-0214-z Springer-Verlag, 2011

• BPMN 2.0 Core Modeling Concepts: Inheritance-Based Execution Semantics (Draft)
  Final version in: B. Thalheim, D.W. Embley (Eds.), Handbook of Conceptual Modeling, Chapter 9. Springer-Verlag 2010

• Execution Semantics for the BPMN standard (Draft) (High-Level interpreter) Version 1.0
  Final version in Springer LNCS 5316 (2008) 59-115

• Semantics of OR-Joins in J.UCS 15 (1) 2009

• Methodological principles motivating the use of ASMs for modeling business processes (Draft)
  Final version in Springer LNCS 5238 (2008) 24-38

Interaction and Workflow Patterns

1. Workflow Patterns (Draft) (abstract behavioral descriptions and a rational classification)
   Final version in Springer LNCS 4801 (2007) 1-20

2. Service Interaction Patterns (Draft) (A compositional framework for abstract behavioral descriptions with a rational pattern classification)
   Final version in Springer LNCS 3785 (2005) 5-35

Web Services

1. ASM Model for Web Application Frameworks (Draft)
   Final version in LNCS 7321/7316 (Joint iFM/ABZ Conference Pisa 2012)

2. Service Behavior Mediation (Draft) (Abstract Virtual Provider Model)
   Final version in Springer LNCS 3785 (2005) 81-95

3. Service Discovery (Draft) (Refining the Virtual Provider Model)
   Final version in International Journal of Business Process Integration and Management (IJBPIM) 1(4) 2006, 267-278. ISSN (Online): 1741-8771, ISSN (Print): 1741-8763
   See also `A high-level specification for Semantic Web Service Discovery Services' DOI 10.1145/1149993.1150012