652 search results - page 28 / 131 » Structural Patterns for Soundness of Business Process Models |
116
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
102
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
122
click to vote
BPM
2005
Springer
15 years 8 months ago
2005
Springer
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
131
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
112
click to vote
ZEUS
2010
15 years 4 months ago
2010
Enterprise-wide process harmonisation initiatives require the analysis of commonalities of existing business process models. That is, correspondences between activities are identif...