nach oben

Information Systems Frontiers

Erschienen in:

01.07.2009

CoBTx-Net: A model for business collaboration reliability verification

verfasst von: Haiyang Sun, Jian Yang, Lai Xu

Erschienen in: Information Systems Frontiers | Ausgabe 3/2009

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Collaborative business process can become unreliable when business partners collaborate in a peer- based fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage the collaboration by individual participants. Furthermore three reliability properties named Time-embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined based on CoBTx-Net to verify (1) the violation of time constraint, (2) collaborative logic conflicts, and (3) the improper termination from individual organizations.

Vorheriger Artikel Towards ubiquitous tourist service coordination and process integration: A collaborative travel agent system architecture with semantic web services

Nächster Artikel Evaluation of inter-organizational business process solutions: A conceptual model-based approach

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nur mit Berechtigung zugänglich

Alonso, G., Casati, F., Kuno, H., & Machiraju, V. (2004). Web service: Concept, architectures and applications. Berlin: Springer.

Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., et al. (2002). Web service choreography interface (WSCI) 1.0. http://www.w3.org/TR/wsci/.

Chi, Y., Tsai, M., & Lee, C. (2005). A Petri-net based validator in reliability of a composite service. In The proceeding of the IEEE international conference on e-technology, e-commerce and e-service (pp. 450–453).

Dubray, J. J. (2002). A new model for ebXML BPSS multi-party collaborations and web services choreography. http://www.ebpml.org/ebpml.doc.

Girault, C., & Valk, R. (2003). Petri nets for system engeneering: A guide to modeling, verification and application. Berlin: Springer.

Gray, J., & Reuter, A. (1993). Transaction processing: Concepts and techniques. San Francisco: Morgan Kaufmann.

Haugen, B. (2002). Multi-party electronic business transactions (2002). http://www.supplychainlinks.com/MultiPartyBusinessTransactions.PDF.

Henderson-Sellers, B. (2001). Some problems with the UML v1.3 metamodel. In The proceedings of the 34th annual Hawaii international conference on systems sciences.

Hinz, S., Schmidt, K., & Stahl, C. (2005). Transforming BPEL to Petri Nets. In International conference on business process management.

Huber, P., Jensen, K., & Shapiro., R. M. (1990). Hierarchies in colored Petri nets. In The proceeding of the advances in Petri nets (pp. 313–341). Berlin: Springer.

ISO/IEC, 14462. (1997). Information technologies open EDI reference model.

Iwasa, K. (2004). Web services reliable messaging 1.1 (WS-Reliability). http://docs.oasis-open.org/wsrm/ws-reliability/v1.1.

Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., et al. (2006). Business process execution language for web service (BPEL4WS) 2.0. http://docs.oasis-open.org/wsbpel/2.0/.

Murata, T. (1989). Petri nets: Properties, analysis and application. Proceedings of the IEEE, 77(4), 541–580.CrossRef

Newcomer, E., & Lomow, G. (2005). Understanding SOA with web service. Harlow: Pearson Education.

Newcomer, E., Robinson, I., Feingold, M., & Jeyaraman, R. (2006a). Web services coordination 1.1 (WS-coordination). http://docs.oasis-open.org/ws-tx/wstx-wscoor-1.1-spec-pr-01.pdf.

Newcomer, E., Robinson, I., Little, M., & Wilkinson, A. (2006b). Web services atomic transaction (WS-atomic transaction). http://docs.oasis-open.org/ws-tx/wstx-wsat-1.1-spec-pr-01.pdf.

Newcomer, E., Robinson, I., Freund, T., Green, A., Harby, J., & Little, M. (2006c). Web services business activity (WS-business activity). http://docs.oasis-open.org/ws-tx/wstx-wsba-1.1-spec-pr-01.pdf.

Petri, C. A. (1962). Kommunikation mit automaten. Thesis (PhD). Institute instrumentelle Mathematik.

SAP (2002). mysap.com collaborative business scenarios, whitepaper. In: Walldorf.

Song, Y., & Lee, J. (2002). Deadlock analysis of Petri nets using the transitive matrix. In Proceedings of SICE (pp. 689–694).

Stork, D. G., & van Glabbeek, R. J. (2002). Token-controlled place refinement in hierarchical Petri nets with application active document workflow. In The proceedings of the 23th international conference on application and theory in Petri nets (pp. 394–413).

Steen, M., Lankhorst, M., & Van de Wetering, R. (2002). Modelling networked enterprises. In The proceedings of the 6th international enterprise distributed object computing conference.

Sun, H., & Yang, J. (2007). BTx-Net: A token based dynamic model for supporting consistent collaborative business transactions. In The proceedings of the IEEE international conference on service computing (pp. 490–497). Salt Lake City, 9-13 July.

Uncefact, & OASIS. (2001). ebXML business process specification schema v1.01.

Van der Aalst, W. (1997). Verification of workflow nets. In The proceedings of the 18th international conference on application and theory in Petri nets (pp. 407–426).

Van der Aalst, W. (1998). The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1), 21–66.CrossRef

Van der Aalst, W., Ter Hofstede, A., Kiepuszewski, B., & Barros, A. (2003). Workflow patterns. Distributed and Parallel Databases, 14, 5–51.CrossRef

Webber, D. (2004). The benefits of ebXML for E-business. In The proceedings of the international conference on XML.

Yang, Y., Tan, Q., Yu, J., & Liu., F. (2005). Transformation BPEL to CP-Nets for verifying web service composition. In The proceedings of the international conference on next generation web services practices.

Yang, Y., Tan, Q., Xiao, Y., Yu, J., & Liu., F. (2006) Exploiting hirachichical CP-nets to increase the reliability of web services workflow. In The proceedings of the symposium on application and the internet.

Yi, X., & Kochut, K. J. (2004). A CP-nets-based design and verification framework for web services composition. In The proceedings of the IEEE international conference on web services.

Titel: CoBTx-Net: A model for business collaboration reliability verification
verfasst von: Haiyang Sun
Jian Yang
Lai Xu
Publikationsdatum: 01.07.2009
Verlag: Springer US
Erschienen in: Information Systems Frontiers / Ausgabe 3/2009
Print ISSN: 1387-3326
Elektronische ISSN: 1572-9419
DOI: https://doi.org/10.1007/s10796-008-9088-1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 3/2009

Evaluation of inter-organizational business process solutions: A conceptual model-based approach

A secure e-auction scheme based on group signatures

Evie - A developer toolkit for encoding service interaction patterns

Analysis of a collaborative workflow process with distributed actors

Towards ubiquitous tourist service coordination and process integration: A collaborative travel agent system architecture with semantic web services

Investigating mobile wireless technology adoption: An extension of the technology acceptance model

Premium Partner