User: Guest  Login
Original title:
A Service-Oriented Development Process for Distributed Reactive Systems
Translated title:
Ein dienstbasierter Entwicklungsprozess für verteilte, reaktive Systeme
Author:
Meisinger, Michael Johannes
Year:
2016
Document type:
Dissertation
Faculty/School:
Fakultät für Informatik
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.)
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Krüger, Ingolf (Prof. Dr.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
Keywords:
formal methods, distributed systems, reactive systems, embedded systems, software architecture, services, service-orientation, development process, V-Modell XT
Translated keywords:
Formale Methoden, Verteile Systeme, Reaktive System, Eingebettete Systeme, Softwarearchitektur, Dienste, Services, Dienstbasierung, Entwicklungsprozess, V-Modell XT
TUM classification:
DAT 310d
Abstract:
We introduce a service-oriented development process for multifunctional, software-intensive, distributed reactive systems, focusing on the iterative design of system architectures and model-based system design specifications. We define a process artifact model, integrating a formally defined service notion and distributed system theory. We provide a service-oriented V-Modell XT extension, and a tool support architecture. Our approach manages distributed interaction complexity and promises simpli...     »
Translated abstract:
Wir beschreiben einen dienstbasierten Entwicklungsprozess für multifunktionale, softwareintensive, verteilte, reaktive Systeme mit Schwerpunkt auf der iterativen Entwicklung von Systemarchitekturen und modellbasierten Entwurfsspezifikationen. Der Prozess definiert ein Artefaktmodell, und integriert einen formal definierten Dienstbegriff und eine Theorie verteilter Systeme. Wir beschreiben eine dienstbasierte Erweiterung des V-Modell XT und eine Architektur zur Werkzeugunterstützung. Unser Ansatz...     »
WWW:
https://mediatum.ub.tum.de/?id=1274439
Date of submission:
15.09.2015
Oral examination:
31.03.2016
File size:
5877637 bytes
Pages:
294
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20160331-1274439-1-8
Last change:
18.05.2016
 BibTeX