Günter Preuner, Michael Schrefl,
"Behavior-consistent Composition of Business Processes from Internal and External Services"
: Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO 2002), in conjunction with the 21st International Conference on Conceptual Modeling (ER 2002), Serie Lecture Notes in Computer Science (LNCS), Vol. 2503, Springer Verlag, Deutschland, 10-2002, ISBN: 3-540-44277-4, October 7-11, 2002, Tampere, Finland If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (dke.win@jku.at). Please include the paper-no. (Preu02b) and agree to use the paper for scientific purposes and private use only!
Original Titel:
Behavior-consistent Composition of Business Processes from Internal and External Services
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO 2002), in conjunction with the 21st International Conference on Conceptual Modeling (ER 2002)
Original Kurzfassung:
E-business processes are typically developed by composing internal processes and external processes offered by service providers. Whereas e-service integration has received considerable interest recently, the relationship between the behavior of the composite process and the behavior of the constituting service processes has not yet been thoroughly investigated.
It is natural to expect that the behaviors of the composite process and the service processes are related as follows: (1) The composite process synchronizes the execution of activities from different service processes.(2) The composite process provides a complete overview of the service processes in that business transactions can be tracked "observed" over their entire life time across all services.(3) If an activity can be invoked according to the composite process, it can be successfully invoked in the respective service process.(4) The description of the composite process, focussing on coordination, abstracts from local details as far as possible.
Based on these requirements, the paper introduces formal correctness criteria for business-process composition and sketches an accompanying algorithm that determines a "behavior-consistent" composition.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Verlag
Verlagsanschrift:
Deutschland
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
2503
Erscheinungsmonat:
10
Erscheinungsjahr:
2002
Notiz zum Zitat:
October 7-11, 2002, Tampere, Finland If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (dke.win@jku.at). Please include the paper-no. (Preu02b) and agree to use the paper for scientific purposes and private use only!
Forschungs-