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
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Acta Informatica
Erschienen in: Acta Informatica 3/2019

29.10.2018 | Original Article

Associative composition of components with double-sided interfaces

verfasst von: Wolfgang Reisig

Erschienen in: Acta Informatica | Ausgabe 3/2019

Einloggen

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

search-config
loading …

Abstract

Distributed systems are often organized in chains of components (e.g. business process chains), where each component naturally has a double-sided (left and right) interface. We suggest a corresponding, highly abstract and general framework (in mathematical terms: a monoid) of components and their composition, with minimal assumptions on the underlying global infrastructure (in fact, just a global set of symbols). As a fundamental property, decisive for the composition of more than two components, composition of such properties turns out to be associative. We discuss a number of instantiations of this framework (mainly classes of Petri nets), some of which preserve important properties (such as soundness of workflows) under composition. We glance at a number of generalizations and specializations.
Vorheriger Artikel Nested antichains for WS1S
Nächster Artikel On the hardness of analyzing probabilistic programs

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 "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

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
Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)MathSciNetCrossRefMATH
2.
Best, E., Devillers, R.R., Koutny, M.: Petri net algebra. In: Monographs in Theoretical Computer Science. An EATCS Series. Springer (2001)
3.
Broy, M.: On architecture specification. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018: Theory and Practice of Computer Science—44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29–February 2, 2018, Proceedings, vol. 10706 of Lecture Notes in Computer Science. Springer, pp. 19–39 (2018)
4.
Broy, M., Krüger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1), 5 (2007)CrossRef
5.
Broy, M., Stølen, K.: Specification and Development of Interactive Systems-Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science. Springer, Berlin (2001)CrossRefMATH
6.
Dastani, M., Arbab, F., de Boer, F.S.: Coordination and composition in multi-agent systems. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25–29, 2005, Utrecht, The Netherlands. ACM, pp. 439–446 (2005)
7.
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Tjoa, A.M., Gruhn, V. (eds.) Proceedings of the 8th European Software Engineering Conference Held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001., ACM, pp. 109–120 (2001)
8.
Dong, W., Yu, H., Zhang, Y.: Testing bpel-based web service composition using high-level petri nets. In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16–20 October 2006, Hong Kong, China. IEEE Computer Society, pp. 441–444 (2006)
9.
Esparza, J., Hoffmann, P.: Reduction rules for colored workflow nets. In: Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (2016), Stevens, P., Wasowski, A. Eds., vol. 9633 of Lecture Notes in Computer Science, Springer, pp. 342–358
10.
Gößler, G., Graf, S., Majster-Cederbaum, M.E., Martens, M., Sifakis, J.: An approach to modelling and verification of component based systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plasil, F. (eds.) SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20–26, 2007, Proceedings, vol. 4362 of Lecture Notes in Computer Science. Springer, pp. 295–308 (2007)
11.
Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Schewe, K., Zhou, X. (eds.) Database Technologies 2003, Proceedings of the 14th Australasian Database Conference, ADC 2003, Adelaide, South Australia, February 2003, vol. 17 of CRPIT. Australian Computer Society, pp. 191–200 (2003)
12.
Hesami Rostami, N., Kheirkhah, E., Jalali, M.: Web services composition methods and techniques: a review. Int J Comp Sci Eng Inf Technol. 3 (2013)
13.
Knapp, A., Marczynski, G., Wirsing, M., Zawlocki, A.: A heterogeneous approach to service-oriented systems specification. In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C. (eds.) Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22–26, 2010. ACM, pp. 2477–2484 (2010)
14.
Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Schneider, F.B. (ed.) Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10–12, 1987. ACM, pp. 137–151 (1987)
15.
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70–93 (2000)CrossRef
16.
17.
Nadareishvili, I., Mitra, R., McLarty, M., Amundsen, M.: Microservice Architecture: Aligning Principles, Practices, and Culture, 1st edn. O’Reilly Media, Inc., Newton (2016)
18.
Nierstrasz, O., Achermann, F.: A calculus for modeling software components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.P. (eds.) Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5–8, 2002, Revised Lectures, vol. 2852 of Lecture Notes in Computer Science. Springer, pp. 339–360 (2002)
19.
Pautasso, C., Wilde, E.: Why is the web loosely coupled?: a multi-faceted metric for service design. In: Quemada, J., León, G., Maarek, Y.S., Nejdl, W. (eds.) Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20–24, 2009. ACM, pp. 911–920 (2009)
20.
Polyvyanyy, A., Weidlich, M., Weske, M.: Connectivity of workflow nets: the foundations of stepwise verification. Acta Inf. 48(4), 213–242 (2011)MathSciNetCrossRefMATH
21.
Reisig, W.: Understanding Petri Nets—Modeling Techniques, Analysis Methods, Case Studies. Springer, Berlin (2013)MATH
22.
Reisig, W.: Towards a conceptual foundation of service composition. Comput. Sci. R&D 33(3–4), 281–289 (2018)
23.
Roscoe, A.W.: Understanding Concurrent Systems. Texts in Computer Science. Springer, Berlin (2010)CrossRef
24.
Sassone, V.: On the category of petri net computations. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) TAPSOFT’95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22–26, 1995, Proceedings, vol. 915 of Lecture Notes in Computer Science. Springer, pp. 334–348 (1995)
25.
Sobocinski, P.: Nets, relations and linking diagrams. In: Heckel, R., Milius, S. (eds.) Algebra and Coalgebra in Computer Science—5th International Conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings, vol. 8089 of Lecture Notes in Computer Science. Springer, pp. 282–298 (2013)
26.
Stahl, C., Wolf, K.: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9), 819–833 (2009)CrossRef
27.
Tan, W., Fan, Y., Zhou, M.: A petri net-based method for compatibility analysis and composition of web services in business process execution language. IEEE Trans. Autom. Sci. Eng. 6(1), 94–106 (2009)CrossRef
28.
van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333–363 (2011)MathSciNetCrossRefMATH
29.
van Glabbeek, R.J., Goltz, U., Schicke-Uffmann, J.: On distributability of petri nets—(extended abstract). In: Birkedal, L. (ed.) Foundations of Software Science and Computational Structures—15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24–April 1, 2012. Proceedings, vol. 7213 of Lecture Notes in Computer Science. Springer, pp. 331–345 (2012)
30.
Vieira, H.T., Caires, L., Seco, J.C.: The conversation calculus: a model of service-oriented computation. In: Drossopoulou, S. (ed.) Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings, vol. 4960 of Lecture Notes in Computer Science. Springer, pp. 269–283 (2008)
31.
Watzlawick, P., Bavelas, J., Jackson, D., O’Hanlon, B.: Pragmatics of Human Communication: A Study of Interactional Patterns, Pathologies and Paradoxes. W. W. Norton, New York (2011)
32.
Wolf, K.: Does my service have partners? Trans. Petri Nets Other Models Concurr. 2, 152–171 (2009)CrossRefMATH
33.
Xiong, P., Fan, Y., Zhou, M.: A petri net approach to analysis and composition of web services. IEEE Trans. Syst. Man Cybern. Part A 40(2), 376–387 (2010)CrossRef
34.
Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: Hahn, A., Abels, S., Haak, L. (eds.) Proceedings of the First International ACM Workshop on Interoperability of Heterogeneous Information Systems (IHIS’05), CIKM Conference, Bremen, Germany, November 4, 2005. ACM, pp. 47–54 (2005)
Metadaten
Titel
Associative composition of components with double-sided interfaces
verfasst von
Wolfgang Reisig
Publikationsdatum
29.10.2018
Verlag
Springer Berlin Heidelberg
Erschienen in
Acta Informatica / Ausgabe 3/2019
Print ISSN: 0001-5903
Elektronische ISSN: 1432-0525
DOI
https://doi.org/10.1007/s00236-018-0328-7

Premium Partner

    Bildnachweise