Abstract
Business Process Architectures (BPA) are used for structuring and managing process collections. For optimising business processes a high level view on their interdependencies is necessary. BPAs allow to capture message and trigger flow relations between processes and their multiple process instances within a process collection. However, tools that allow analysis of BPAs besides visualization do not exist. This contribution presents a novel tool to model and to analyse the correctness of a BPA by transforming it into open nets, translate the correctness criteria into CTL formula and model check those using LoLA. © 2013 Springer-Verlag.
Cite
CITATION STYLE
Eid-Sabbagh, R. H., Hewelt, M., & Weske, M. (2013). A tool for business process architecture analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8274 LNCS, pp. 688–691). https://doi.org/10.1007/978-3-642-45005-1_61
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
