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).



      Draft  Final version in: B. Thalheim, D.W. Embley (Eds.), Handbook of Conceptual Modeling, Chapter 9. Springer-Verlag 2010

      Draft  Final version in Springer LNCS 5316 (2008) 59-115


     Draft  Final version  in Springer LNCS 5238 (2008) 24-38


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

     Draft  Final version in Springer LNCS 3785 (2005) 5-35



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 (