Authors:
Markku Turunen
1
;
Kari Leppänen
1
and
Sari Leppänen
2
Affiliations:
1
Nokia Research Center, Finland
;
2
Nokia Corporation, Finland
Keyword(s):
Automated systems architecting, Model-based design, Executable specifications, UML 2.0.
Related
Ontology
Subjects/Areas/Topics:
Cross-Feeding between Data and Software Engineering
;
Formal Methods
;
Model-Driven Engineering
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
Abstract:
Managing the ever-growing complexity of even mass-market products, such as mobile phones, is becoming increasingly hard without the adoption of improved system development methods, such as model-based development. To allow industrial use of such methods, tools that are able automate development tasks as far as possible are needed. In this paper, we present a partly automated system design flow based on the Lyra method with UML 2.0 language and Telelogic Tau G2 modeling tool. We discuss how the tool was extended to support automation of some central tasks in Lyra and show a running example of the design flow. In the example, a telephony functionality of a mobile device is modeled producing an executable specification for the system. The efficiency gains from the automation are promising.