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 InformationProcessing 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 (High-Level interpreter) Version 1.0

Draft 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 (abstract behavioral descriptions and a rational classification) .

Draft Final version in Springer LNCS 4801 (2007) 1-20

2. Service Interaction Patterns (A compositional framework for abstract behavioral descriptions with a rational pattern classification)

Draft 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 (Abstract Virtual Provider Model)

Draft Final version in Springer LNCS 3785 (2005) 81-95

3. Service Discovery (Refining the Virtual Provider Model).

Draft 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 (http://dl.acm.org/citation.cfm?id=1150012)