Authors:
Leonid Shumsky
;
Vladimir Roslovtsev
and
Viacheslav Wolfengagen
Affiliation:
Moscow Engineering Physics Institute “MEPhI”, Russian Federation
Keyword(s):
Business Process Construction, λ-Calculus, π-Calculus, Business Process Execution Semantics, Business Process Debugging.
Related
Ontology
Subjects/Areas/Topics:
Databases and Information Systems Integration
;
Enterprise Application Integration
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Modeling of Distributed Systems
;
Organisational Issues on Systems Integration
;
Software Engineering
;
Tools, Techniques and Methodologies for System Development
Abstract:
Many of the state-of-the-art business-process modelling and managing techniques rely on methods that lack sound theoretical basement, though the latter being of advantage, as is acknowledged by more and more people, in practical information system design and implementation. The software (and, in fact, the very processes the software is supposed to automate) tend to become ‘properly designed’, thus ensuring higher degrees of software (and processes) extensibility, adaptability, better verification and execution control. In this paper we discuss a constructive approach to process design and we present process execution semantics based on p-calculus and process analysis and debugging technique based on formalized execution logs