We present a tool which integrates the Unified Modeling Language with a processoriented technique for component system specification and design. We have transformed the definition of process inheritance into definitions of inheritance of UML diagrams. The definitions of UML diagrams inheritance have been built into the tool to guarantee component system development with correct inheritance of component behaviour.
|Journal||Electronic Notes in Theoretical Computer Science|
|Publication status||Published - 2003|
|MoE publication type||A1 Journal article-refereed|
|Event||Eighth International Workshop on Formal Methods for Industrial Critical Systems - Roros, Norway|
Duration: 5 Jul 2003 → 7 Jul 2003
- UML component specification profile; process semantics; process inheritance; inheritance of UML specifications; tool support