Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Information Systems Frontiers
Erschienen in: Information Systems Frontiers 4/2010

01.09.2010

Specification and verification of harmonized business-process collaborations

verfasst von: Alex Norta, Rik Eshuis

Erschienen in: Information Systems Frontiers | Ausgabe 4/2010

Einloggen

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

search-config
loading …

Abstract

In the area of business-to-business (B2B) collaboration, original equipment manufacturers (OEMs) are confronted with the problem of spending a considerable time and effort on coordinating suppliers across multiple tiers of their supply chains. By supporting inter-organizational business-process collaborations with service-oriented technology, a scope for more efficient and effective supply-chain coordination is anticipated. This paper defines a formal framework, called eSourcing, for specifying structurally harmonized inter-organizational business-process collaborations. The framework permits verification of harmonized processes before their enactment. Moreover, the framework uses private and public layers to protect competitive knowledge of the individual partners. In the research project CrossWork, the eSourcing framework has been integral for harmonizing on an external level the intra-organizational business processes of a service-consuming and one or many service-providing organizations.
Vorheriger Artikel Increasing the efficiency of business processes using a theory of constraints

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
Literatur
Alonso, G., Fiedler, SU., Hagen, C., Lazcano, A., Schuldt, H. & Weiler, N. (1999). WISE: business to business e-commerce. In Proc. of the 9th international workshop on research issues on data engineering (pp. 132–139). Sydney, Australia.
Basten, T. (1998). In terms of nets: System design with Petri nets and process algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
Basten, T., & van der Aalst, W. M. P. (2001). Inheritance of behavior. Journal of Logic and Algebraic Programming, 47(2), 47–145.CrossRef
Benatallah, B., Casati, F., & Toumani, F. (2006) Representing, analysing and managing web service protocols. Data & Knowledge Engineering, 58(3), 327–357.CrossRef
Berthelot, G. (1987). Transformations and decompositions of nets. In W. Brauer, W. Reisig, & G. Rozenberg (Eds.), Advances in Petri nets 1986 part I: Petri nets, central models and their properties. Lecture notes in computer science (Vol. 254, pp. 360–376). Berlin: Springer.CrossRef
Bonchi, F., Brogi, A., Corfini, S., & Gadducci, F. (2007). A behavioural congruence for web services. In F. Arbab, & M. Sirjani (Eds.), Proc. int. symposium on fundamentals of software engineering (FSEN 2007). Lecture notes in computer science (Vol. 4767, pp. 240–256). Berlin: Springer.
Bravetti, M., & Zavattaro, G. (2007). Contract based multi-party service composition. In F. Arbab, & M. Sirjani (Eds.), Proc. int. symposium on fundamentals of software engineering (FSEN 2007) (Vol 4767, pp. 207–222). Berlin: Springer.
Bussler, C. (Ed.) (2002a). B2B integration: Concepts and architecture. Berlin: Springer.
Bussler, C. (2002b). The application of workflow technology in semantic B2B integration. Distributed and Parallel Databases, 12, 163–191.CrossRef
Carbone, M., Honda, K., & Yoshida, N. (2007). Structured communication-centred programming for web services. In R. De Nicola (Ed.) Proc. 16th European symposium on programming (ESOP 2007). Lecture notes in computer science (Vol. 4421, pp. 2–17). Berlin: Springer.
Chiu, D. K. W., Cheung, S. C., Till, S., Karlapalem, K., Li, Q., & Kafeza, E. (2004). Workflow view driven cross-organizational interoperability in a web service environment. Information Technology Management, 5(3–4), 221–250.CrossRef
Colom, J. M. & Silva, M. (1990). Improving the linearly based characterization of P/T nets. In G. Rozenberg (Ed.), Advances in Petri nets 1990. Lecture notes in computer science (Vol. 483, pp. 113–146). Berlin: Springer.
IBM Research (1999). CrossFlow architecture description, Technical report, ESPRIT CrossFlow EP 28653.
Ellis, C. A., & Nutt, G. J. (1993) Modelling and enactment of workflow systems. In M. A. Marsan (Ed.), Application and theory of Petri nets 1993. Lecture notes in computer science (Vol. 691, pp. 1–16). Berlin: Springer-Verlag.
Eshuis, R., & Grefen, P. (2008). Constructing customized process views. Data and Knowledge Engineering, 64(2), 419–438.CrossRef
Gomez, J. M., Haller, A., & Bussler, C. (2005). A conversation oriented language for B2B integration based on semantic web services. web service semantics. In Towards dynamic business integration workshop. In conjunction with the 14th international world wide web conference (WWW 2005), Chiba, Japan, May 2005.
Grefen, P., Ludwig, H., & Angelov, S. (2003). A three-level framework for process and data management of complex e-services. International Journal of Cooperative Information Systems, 12(4), 487–531.CrossRef
Grefen, P., Mehandjiev, N., Kouvas, G., Weichhart, G., & Eshuis, R. (2009). Dynamic business network process management in instant virtual enterprise. Computers in Industry, 60, 86–103.CrossRef
Hoffner, Y., Ludwig, H., C. Gülcü, & Grefen, P. (2005). Architecture for cross-organizational business processes. In Procs. 2nd int. workshop on advanced issues of e-commerce and web-based Information systems (pp. 2–11). Milpitas, CA, USA.
Kiepuszewski, B. (2002). Expressiveness and suitability of languages for control flow modelling in workflows. PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia.
Kiepuszewski, B., ter Hofstede, A. H. M., & van der Aalst, W. M. P. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39(3), 143–209.CrossRef
Kindler, E., Billington, J., & Christensen, S., et al. (2003a). The Petri net markup language: Concepts, technology, and tools. In W. M. P., van der Aalst, E. Best (Eds.), Proc. of the 24th international conference, ICATPN 2003. Lecture notes in computer science (Vol. 2679, pp. 483–505). Eindhoven: Springer.
Lazcano, A., Schuldt, H., Alonso, G., & Schek, H. (2001). WISE: Process based e-commerce. IEEE Data Engineering Bulletin, 24(1), 46–51.
Leymann, F., & Roller, D. (1999) Production workflow: Concepts and techniques. Upper Saddle River: Prentice-Hall PTR.
Martens, A. (2003a). On compatibility of web services. Petri Net Newsletter, 65, 12–20.
Martens, A. (2003b). On usability of web services. In C. Calero, O. Díaz, & M. Piattini (Eds.) Proc. of 1st web services quality workshop (WQW 2003). Rome, Italy.
Mehandjiev, N., & Grefen, P. (Eds.) (2009). Dynamic business process formation for instant virtual enterprises. Berlin: Springer (in press).
Milner, R. (1989). Communication and concurrency. Englewood Cliffs: Prentice-Hall.
Norta, A. (2005). eSML (electronic Sourcing Markup Language). In R. Eshuis, & I. Stalker (Eds.) CrossWork: Requirements and concepts for agent-based workflowconfiguration, work package 2: Workflow modelling, task 2.2: Agent-based workflow configuration.
Norta, A. (2008). Exploring dynamic inter-organizational business process collaboration: Privacy protecting concepts for choreographing eSourcing in B2B with service-oriented computing. VDM.
Reisig, W., & Rozenberg, G. (Eds.) (1998). Lectures on Petri nets I: Advances in Petri nets. Lecture notes in computer science (Vol. 1491). Berlin: Springer.
Reisig, W., Schmidt, K., & Stahl, C. (2005). Kommunizierende Workflow-Services modellieren und analysieren. In Informatik - Forschung und Entwicklung (pp. 90–101).
van der Aalst, W. M. P. (1997). Verification of workflow nets. In P. Azéma, & G. Balbo (Eds.), Application and theory of Petri nets 1997. Lecture notes in computer science (Vol. 1248, pp. 407–426). Berlin: Springer.
van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21–66.CrossRef
van der Aalst, W. M. P. (2002). Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management, 2(3).
van der Aalst, W. M. P., & Basten, T. (2002). Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science, 270(1–2), 125–203.CrossRef
van der Aalst, W. M. P., & Kumar, A. (2003). XML based schema definition for support of inter-organizational workflow. Information Systems Research, 14(1), 23–47.CrossRef
van der Aalst, W. M. P., & van Hee, K. M. (2002). Workflow management: Models, methods, and systems. Cambridge: MIT.
van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2000). Advanced workflow patterns. In O. Etzion & P. Scheuermann (Eds.) 7th international conference on cooperative information systems (CoopIS 2000). Lecture notes in computer science (Vol. 1901, pp. 18–29). Berlin: Springer.
van der Aalst, W. M. P., Verbeek, H. M. W., & Kumar, A. (2001). XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (best paper award). In K. Altinkemer & K. Chari (Eds.) Proceedings of the 6th informs conference on information systems and technology (CIST-2001) (pp. 30–45). Linthicum: Informs.
van der Aalst, W. M. P., Lohmann, N., Massuthe, P., Stahl, C., & Wolf, K. (2008). From public views to private views – Correctness-by-design for services. In M. Dumas & R. Heckel (Eds.) Proc. WS-FM 2007. Lecture notes in computer science (Vol. 4937, pp. 139–153). Berlin: Springer.
van Glabbeek, R. J., & Weijland, W. P. (1996). Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3), 555–600.CrossRef
Verbeek, H. M. W., & van der Aalst, W. M. P. (2000). Woflan 2.0: A Petri-net-based workflow diagnosis tool. In M. Nielsen & D. Simpson (Eds.) Application and theory of Petri nets 2000. Lecture notes in computer science (Vol. 1825, pp. 475–484). Berlin: Springer.CrossRef
Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001a). Diagnosing workflow processes using Woflan. The Computer Journal, British Computer Society, 44(4), 246–279.
Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001b). Diagnosing workflow processes using Woflan. The Computer Journal, 44(4), 246–279.CrossRef
Verbeek, H. M. W., Hirnschall, A., & van der Aalst, W. M. P. (2002). XRL/Flower: Supporting inter-organizational workflows using XML/Petri-net technology. In C. Bussler, R. Hull, S. McIlraith, M. E. Orlowska, B. Pernici, & J. Yang (Eds.) Web services, e-business, and the semantic web. CAiSE 2002 international workshop, WES 2002, Toronto, Canada (pp. 93–109). LNCS Springer, May 2002.
Weber, M., & Kindler, E. (2003). The Petri net markup language. In H. Ehrig, W. Reisig, G. Rozenberg, & H. Weber (Eds.) Petri net technology for communication-based systems advances in Petri nets, Lecture notes in computer science (Vol. 2472, 455 p.). Berlin: Springer.
Metadaten
Titel
Specification and verification of harmonized business-process collaborations
verfasst von
Alex Norta
Rik Eshuis
Publikationsdatum
01.09.2010
Verlag
Springer US
Erschienen in
Information Systems Frontiers / Ausgabe 4/2010
Print ISSN: 1387-3326
Elektronische ISSN: 1572-9419
DOI
https://doi.org/10.1007/s10796-009-9164-1

Weitere Artikel der Ausgabe 4/2010

Information Systems Frontiers 4/2010 Zur Ausgabe

OriginalPaper

Expanding ethical vistas of IT professionals

OriginalPaper

The ethics of video games: Mayhem, death, and the training of the next generation

OriginalPaper

Ethical implications of internet monitoring: A comparative study

OriginalPaper

Users’ involvement may help respect social and ethical values and improve software quality

OriginalPaper

Analysis of MySpace user profiles

OriginalPaper

Agents of responsibility—freelance web developers in web applications development