Zusammenfassung
In diesem Artikel diskutiere ich Interoperabilität von berechenbaren Systemen mithilfe des mathematischen Konzepts der Komposition. Die zentrale Vorstellung ist, dass Systeme durch Interaktion komponieren und diese Komposition mathematisch als Operator, also als Funktion auf Systemen beschreibbar ist. Daraus ergibt sich der Begriff des Interface eines Systems, als Zusammenfassung aller seiner auf die Komposition bezogenen Angaben, auf natürliche Art und Weise ebenso wie der Begriff der Komponente als eines Systems, das für eine bestimmte Komposition konstruiert wurde.
Ich unterscheide zwei grundsätzlich verschiedene Kompositionen von Systemen. Zunächst die hierarchische Komposition, die Systeme als Ganzes erfasst und zur Bildung von Supersystemen führt. Sie basiert auf den Kompositionsregeln berechenbarer Funktionen und führt zu den Interfaces der Operationen (+Events) sowie zu Komponentenhierarchien. Demgegenüber steht eine zweite Form der Komposition, die Systeme nur partiell im Sinne einer Projektion erfasst und zu vergleichsweise loser Kopplung durch Protokolle führt, mit dem Interface der Protokoll-Rolle. Damit sind Interfaces, die Operationen repräsentieren, per Definitionem nur für hierarchische Kompositionen geeignet und keine wesentliche Hilfe in der Darstellung netzwerkartiger „horizontaler“ Interaktionen.
Um die Anwendbarkeit des Kompositionskonzepts zu demonstrieren, werden verschiedene System‑, Interface- und Komponentenmodelle aus der Literatur diskutiert, u. a. das Komponentenmodell verteilter Objekte, sowie die Interfacekonzepte von SOA und REST.
Change history
08 September 2021
Zu diesem Beitrag wurde ein Erratum veröffentlicht: https://doi.org/10.1007/s00287-021-01389-1
Notes
Partiell bedeutet, dass diese Funktion nicht für alle möglichen Systeme erklärt ist, d. h. nicht jedes System ist für jede Komposition geeignet.
Literatur
NATO Interoperability Standards and Profiles (2020) ATO standard allied data publication ADatP-34, edition M, version 1
Alur R (2015) Principles of cyber-physical systems. MIT Press, Cambridge
Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge
Basu A, Bensalem S, Bozga M, Bourgos P, Sifakis J (2011) Rigorous system design: the bip approach. In: International doctoral workshop on mathematical and engineering methods in computer science. Springer, Berlin, Heidelberg, New York, S 1–19
Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, De Simone R (2003) The synchronous languages 12 years later. Proc IEEE 91(1):64–83
Bitkom (2020) Vorschlag zur systematischen Klassifikation von Interaktionen in Industrie 4.0 Systemen – Hinführung zu einem Referenzmodell für semantische Interoperabilität (White paper)
Bundesministerium für Wirtschaft und Energie (BMWI) (2019) Leitbild 2030 für Industrie 4.0, Digitale Ökosysteme global gestalten
Bundesministerium für Wirtschaft und Energie (BMWI) (2020) Details of the asset administration shell. Part 2 – Interoperability at runtime – exchanging information via application programming interfaces (version 1.0RC01)
Brock JD, Ackerman WB (1981) Scenarios: a model of non-determinate computation. In: International colloquium on the formalization of programming concepts. Springer, Berlin, Heidelberg, New York, S 252–259
Broy M (2010) A logical basis for component-oriented software and systems engineering. Comput J 53(10):1758–1782
Chin RS, Chanson ST (1991) Distributed, object-based programming systems. ACM Comput Surv (CSUR) 23(1):91–124
Cox R (2019) Surviving software dependencies. Commun ACM 62(9):36–43
Crnkovic I, Sentilles S, Vulgarakis A, Chaudron MRV (2011) A classification framework for software component models. Softw Eng IEE Trans 37(5):593–615
De Alfaro L, Henzinger TA (2001) Interface theories for component-based design. In: International workshop on embedded software. Springer, Berlin, Heidelberg, New York, S 148–165
DIN (2016) SPEC 91345:2016-04 Referenzarchitekturmodell Industrie 4.0 (RAMI4.0)
DIN e.V., DKE (2020) Deutsche Normungsroadmap Industrie 4.0, Version 4
Fielding R (2000) Architectural styles and the design of network-based software architectures. PhD thesis, University of California, Irvine
Harel D, Pnueli A (1985) On the development of reactive systems. In: Apt KR (Hrsg) Logics and models of concurrent systems. Springer, Berlin, Heidelberg, New York, S 477–498
Holzmann GJ (1991) Design and validation of computer protocols. Prentice-Hall, Upper Saddle River
Kleene S (1936) General recursive functions of natural numbers. Math Ann 112(5):727–742
Lamport L (2010) Computer science and state machines. In: Concurrency, compositionality, and correctness. Springer, Berlin, Heidelberg, New York, S 60–65
OASIS (2006) Reference model for service oriented architecture 1.0. http://docs.oasis-open.org/soa-rm/v1.0/. Zugegriffen: 17. Jan. 2015
Reich J (2009) The relation between protocols and games. In: Fischer S, Maehle E, Reischuk R (Hrsg) 39. Jahrestagung der GI, Lübeck. LNI, Bd. 154, S 3453–3464
Reich J (2020) Composition, cooperation, and coordination of computational systems (preprint arXiv:1602.07065, 2016/2020)
Reich J (2020) A theory of interaction semantics (preprint arXiv:2007.06258)
Reich J, Schröder T (2020) A simple classification of discrete system interactions and some consequences for the solution of the interoperability puzzle. ifac 53(2):8290–8296. https://doi.org/10.1016/j.ifacol.2020.12.1921
Tripakis S (2016) Compositionality in the science of system design. Proceeding IEEE 104:960–972
(2007) Web Services Description Language (WSDL) version 2.0 part 1: core language. http://www.w3.org/TR/wsdl20/. Zugegriffen: 17. Jan. 2015
Danksagung
Mein besonderer Dank geht an Arend Rensik, dessen Vortrag „Compositionality huh?“ im Rahmen des Dagstuhl Workshop „Divide and Conquer: the Quest for Compositional Design and Analysis“ im Dezember 2012 mich letztlich zu diesem Denkansatz inspiriert hat. Ebenso bedanke ich mich herzlich bei meinem Kollegen Martin Härterich für seine Bereitschaft, mit mir frühere Versionen dieser Arbeit zu diskutieren und mir insbesondere zu Kompatibilität und Ersetzbarkeit wertvolle Anregungen zu geben.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Reich, J. Komposition und Interoperabilität von IT-Systemen. Informatik Spektrum 44, 339–346 (2021). https://doi.org/10.1007/s00287-021-01376-6
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00287-021-01376-6