Communicating sequential processes
Communicating sequential processes
Literate programming
Functional documents for computer systems
Science of Computer Programming
Evolving algebras 1993: Lipari guide
Specification and validation methods
Software specification methods: an overview using a case study
Software specification methods: an overview using a case study
Distributed Systems: Software Design and Implementation
Distributed Systems: Software Design and Implementation
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
MFCS '90 Proceedings of the Mathematical Foundations of Computer Science 1990
WAM Algebras - A Mathematical Study of Implementation, Part 2
Proceedings of the First Russian Conference on Logic Programming
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
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
Report on a Practical Application of ASMs in Software Design
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control
CSL '89 Proceedings of the 3rd Workshop 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
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
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
Towards proving type safety of .NET CIL
Science of Computer Programming
The verified software initiative: A manifesto
ACM Computing Surveys (CSUR)
Modern Business Process Automation: YAWL and its Support Environment
Modern Business Process Automation: YAWL and its Support Environment
Incremental Test Generation for Software Product Lines
IEEE Transactions on Software Engineering
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Whom to talk to? A stakeholder perspective on business process development
Universal Access in the Information Society
Hi-index | 0.00 |
In [32] we have shown that the system which implements the Subject-oriented approach to Business Process Modeling (S-BPM) has a precise semantical foundation in terms of Abstract State Machines (ASMs). The construction of an ASM model for the basic S-BPM concepts revealed a strong relation between S-BPM and the ASM method for software design and analysis. In this paper we investigate this relation more closely. We use the analysis to evaluate S-BPM as an approach to business process modeling and to suggest some challenging practical extension of the S-BPM system.