2013 | OriginalPaper | Buchkapitel
A Tool for Business Process Architecture Analysis
verfasst von : Rami-Habib Eid-Sabbagh, Marcin Hewelt, Mathias Weske
Erschienen in: Service-Oriented Computing
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.