University of Wollongong
Browse

Verifying semantic business process models in inter-operation

Download (330.83 kB)
conference contribution
posted on 2024-11-14, 10:55 authored by George Koliadis, Aditya GhoseAditya Ghose
Process inter-operation is characterized as cooperative interactions among loosely coupled autonomous constituents to adaptively fulfill system-wide purpose. Issues of inconsistency can be anticipated in inter-operating processes given their independent management and design. To reduce inconsistency (that may contribute to failures) effective methods for statically verifying behavioral interoperability are required. This paper contributes a method for practical, semantic verification of interoperating processes (as represented with BPMN models). We provide methods to evaluate consistency during process design where annotation of the immediate effect of tasks and sub-processes has been provided. Furthermore, some guidelines are defined against common models of inter-operation for scoping traceability to possible causes of inconsistency. This supports subsequent resolution efforts.

History

Citation

Koliadis, G. & Ghose, A. K. (2007). Verifying semantic business process models in inter-operation. In Proceedings of the 2007 IEEE International Conference on Services Computing SCC 2007, 9-13 Jul, 731-738. USA: IEEE Computer Society Press.

Parent title

Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007

Pagination

731-738

Language

English

RIS ID

23216

Usage metrics

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC