Communicating sequential processes
Communicating sequential processes
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A formal model for componentware
Foundations of component-based systems
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Theory of Objects
Exploring approaches to dynamic adaptation
Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction
Hi-index | 0.00 |
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.