Formal approaches for modeling and analysis of business process collaborations
International Symposium on Leveraging Applications of Formal Methods, 2024•Springer
The paper introduces a general framework for handling BPMN graphical (semi-formal)
models used for describing business process collaborations. It offers a systematic and
architecturally comprehensive synthesis of the authors' prior work on the direct formalization
of business process collaborations, the specification of their properties, and their verification
and animation. The results exposed in this paper (and many others, indeed) have a direct
“causal link” with what the authors learned collaborating with Rocco De Nicola; …
models used for describing business process collaborations. It offers a systematic and
architecturally comprehensive synthesis of the authors' prior work on the direct formalization
of business process collaborations, the specification of their properties, and their verification
and animation. The results exposed in this paper (and many others, indeed) have a direct
“causal link” with what the authors learned collaborating with Rocco De Nicola; …
Abstract
The paper introduces a general framework for handling BPMN graphical (semi-formal) models used for describing business process collaborations. It offers a systematic and architecturally comprehensive synthesis of the authors’ prior work on the direct formalization of business process collaborations, the specification of their properties, and their verification and animation. The results exposed in this paper (and many others, indeed) have a direct “causal link” with what the authors learned collaborating with Rocco De Nicola; methodologies and techniques to the specification and design of complex systems and one of Rocco’s scientific career “constants”: formality!
Springer
Showing the best result for this search. See all results