DisCComp - A Formal Model for Distributed Concurrent Components

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. Categories and Subject Descriptors

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Andreas Rausch
• Keywords: Concurrent Component-based Systems, Concurrent Executed Threads, ENTCS 2007, Sound Semantic Model