Interface-Theorien beschreiben die Kompatibilit\u00e4t, die Komposition und die Verfeinerung von Interfaces in der komponentenorientierten Softwareentwicklung. Wir stellen eine Erweiterung von Interface-Theorien zu sogenannten Assembly-Theorien vor, die Netzwerke von zusammenwirkenden Interfaces in den Mittelpunkt stellen. Von besonderem Interesse ist dabei die Kommunikationssicherheit in Assemblies, da\u00df die Kommunikationsannahmen eines einzelnen Interface in einer Assembly von seiner Umgebung erf\u00fcllt sind. Wir geben eine Konstruktion an, die systematisch aus Interface-Theorien eine kanonische Assembly-Theorie ableitet. Wir exemplifizieren den Rahmen von Interface- und Assembly-Theorien anhand von konkreten Theorien, die auf modalen Ein-\/Ausgabe-Transitionssystemen aufbauen.<\/p>\n","protected":false},"excerpt":{"rendered":"
Interface-Theorien beschreiben die Kompatibilit\u00e4t, die Komposition und die Verfeinerung von Interfaces in der komponentenorientierten Softwareentwicklung. Wir stellen eine Erweiterung von Interface-Theorien zu sogenannten Assembly-Theorien vor, die Netzwerke von zusammenwirkenden Interfaces in den Mittelpunkt stellen. Von besonderem Interesse ist dabei die … Continue reading