Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Models of computation for system design
Architecture design and validation methods
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
Distributed and Parallel Databases
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Linking architectural and component system views by abstract state machines
Languages for system specification
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Formal specification and verification of the C# thread model
Theoretical Computer Science - Formal methods for components and objects
An abstract model for process mediation
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
A high-level specification for Semantic Web Service Discovery Services
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
The conceptualization of a configurable multi-party multi-message request-reply conversation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
An ASM-based executable formal model of service-oriented component interactions and orchestration
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
An abstract model for process mediation
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Mobility mechanisms in service oriented computing
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A high-level specification for mediators(virtual providers)
BPM'05 Proceedings of the Third international conference on Business Process Management
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
Contribution to a rigorous analysis of web application frameworks
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Managing data dependencies in service compositions
Journal of Systems and Software
Contribution to a rigorous analysis of web application frameworks
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Business process architecture: use and correctness
BPM'12 Proceedings of the 10th international conference on Business Process Management
Hi-index | 0.00 |
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process interconnections and interaction flows, supporting software-engineered business process management in multi-party collaborative environments. The mathematical nature of our models provides a basis for a rigorous execution-platform-independent analysis, in particular for benchmarking web services functionality. The models can also serve as accurate standard specifications, subject to further design leading by stepwise refinement to implementations.