DisCComp – A Formal Model for Distributed Concurrent Components |
| |
Authors: | Andreas Rausch |
| |
Affiliation: | aFachbereich für Informatik – AG Softwarearchitektur, Technische Universität Kaiserslautern, D-67653 Kaiserslautern, Germany |
| |
Abstract: | Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concurrent flow of execution are orthogonal. A sound semantic model that is powerful enough to handle distributed concurrent components but also realistic enough to provide a foundation for component technologies actually in use is still missing. Therefore, the paper introduces such an operational semantics for distributed concurrent component-based systems. Based on this formal model, UML-based modeling techniques are introduced. Tool support for modeling, code generation, and system execution is provided. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|