Adding a methodological assistant to a protocol modeling environment
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
TTool for DIPLODOCUS: an environment for design space exploration
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Unifying Architectural and Behavioural Specifications of Distributed Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Hi-index | 0.00 |
UML 2 has introduced new diagrams for expressing hierarchical structures and their assembly, and has brought some new features to the behaviour-oriented diagrams (activities and state machines), that help modelling component systems. However, UML leaves many semantic decisions opened, and various emerging component frameworks also have features that cannot be directly expressed using UML 2 concepts. In this paper we present an approach for modelling two different component frameworks using UML 2 diagrams. First we define a mapping between the Fractal component model and UML 2 diagrams, and we describe CTTool, that allows to edit and model-check diagrams for Fractal components. Then we propose an extension of this work for the Grid Component Model, that is an extension of Fractal providing asynchronous, collective, and autonomic features for distributed component systems. This work is supported by the french ACI securité FIACRE, by the EC FP6 Streps project GridCOMP, and by the SticAmsud collaborative project Reseco.