Monografie
Modeling and verifying dynamic evolving service-oriented architectures
- Sprache
-
Englisch
- Umfang
-
97 S.
- ISBN
-
978-3-86956-246-9
- Identifier
-
1038399033
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 75
- Thema
-
Serviceorientierte Architektur ; Verifikation
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:42 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Giese, Holger
- Becker, Basil
Ähnliche Objekte (12)
Modeling and verifying dynamic evolving service-oriented architectures
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Migrating Legacy Systems to Service-Oriented Architectures
Model-based evaluation of service-oriented architectures
An Agent-Based Approach to Service-Oriented Architectures
A flow analysis approach for service-oriented architectures
MDD4SOA : model-driven development for service-oriented architectures
Security Mechanisms for Workflows in Service-Oriented Architectures
Integration of event processing with service-oriented architectures and business processes
Semantic Mediation between Loosely Coupled Information Models in Service-Oriented Architectures
Requirements-Aware, Template-Based Protocol Graphs for Service-Oriented Network Architectures
Integration of Event Processing with Service-oriented Architectures and Business Processes
Modeling and verifying dynamic evolving service-oriented architectures
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Migrating Legacy Systems to Service-Oriented Architectures
Model-based evaluation of service-oriented architectures
An Agent-Based Approach to Service-Oriented Architectures
A flow analysis approach for service-oriented architectures
MDD4SOA : model-driven development for service-oriented architectures
Security Mechanisms for Workflows in Service-Oriented Architectures
Integration of event processing with service-oriented architectures and business processes
Semantic Mediation between Loosely Coupled Information Models in Service-Oriented Architectures
Requirements-Aware, Template-Based Protocol Graphs for Service-Oriented Network Architectures
Integration of Event Processing with Service-oriented Architectures and Business Processes
Modeling and verifying dynamic evolving service-oriented architectures
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Migrating Legacy Systems to Service-Oriented Architectures
Model-based evaluation of service-oriented architectures
An Agent-Based Approach to Service-Oriented Architectures
A flow analysis approach for service-oriented architectures
MDD4SOA : model-driven development for service-oriented architectures
Security Mechanisms for Workflows in Service-Oriented Architectures
Integration of event processing with service-oriented architectures and business processes
Semantic Mediation between Loosely Coupled Information Models in Service-Oriented Architectures
Requirements-Aware, Template-Based Protocol Graphs for Service-Oriented Network Architectures