WORKFLOW AUTOMATION FOR SYSTEM ARCHITECTING

Markku Turunen, Kari Leppänen, Sari Leppänen

2008

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.

References

  1. Alanen, M., Porres, I., Koskimies, K., and Kuzniarz, L. (2004). The Coral modelling framework. In Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language NWUML'2004.
  2. Eclipse Foundation (2007). Eclipse modeling project. Retrieved October 9, 2007, from www.eclipse.org/modeling/.
  3. Honkola, J., Leppänen, S., Rinne-Rahkola, P., S öderlund, M., Turunen, M., and Varpaaniemi, K. (2007). A case study: Applying Lyra in modeling S60 camera functionality. In 14th Annual IEEE Internat. Conf. and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
  4. Ilic, D., Troubitsyna, E., Laibinis, L., and Leppänen, S. (2006). Formal verification of consistency in model-driven development of distributed communicating systems and communication protocols. In Proceedings of the IEEE 2nd Internat. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006).
  5. Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., and Malik, Q. (2005a). Formal model-driven development of communicating systems. In Lau, K. and Banach, R., editors, Proceedings of ICFEM - The 7th Internat. Conf. on Formal Engineering Methods, volume 3785 of Lecture Notes on Computer Science. Springer.
  6. Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., and Malik, Q. (2005b). Formal service-oriented development of fault tolerant communicating systems. In Proceedings of REFT 2005 - Workshop on Rigorous Engineering of Fault Tolerant Systems. University of Newcastle Upon Tyne, School of Computing Science.
  7. Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., and Malik, Q. (2006). Formal service-oriented development of fault tolerant communicating systems. In Rigorous Development of Complex Fault-Tolerant Systems, volume 4157 of Lecture Notes in Computer Science. Springer.
  8. Leppänen, K., Leppänen, S., and Turunen, M. (2007). A modelling method for rigorous and automated design of large-scale industrial systems. In ACM/IEEE 10th Internat. Conf. on Model Driven Engineering Languages and Systems (MODELS 2007).
  9. Leppänen, S. (2005). The Lyra Design Method. Technical report, Technical University of Tampere. ISBN 952- 15-1464-7, ISSN 1459-417X.
  10. Leppänen, S., Ilic, D., Malik, Q., Systä, T., and Troubitsyna, E. (2005). Specifying UML profile for distributed communicating systems and communication protocols. In Proceedings of the Workshop on Consistency in Model Driven Engineering.
  11. OMG (2005a). Model Driven Architecture. Retrieved May 15, 2007, from www.omg.org/mda/.
  12. OMG (2005b). Unified Modeling Language. Retrieved May 15, 2007, from www.uml.org.
  13. Schulz, S., Honkola, J., and Huima, A. (2007). Towards model-based testing with architecture models. In 14th Annual IEEE Internat. Conf. and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
  14. Selic, B., Gullekson, G., McGee, J., and Engelberg, I. (1992). ROOM: an object-oriented methodology for developing real-time systems. In Fifth International Workshop on Computer-Aided Software Engineering.
  15. Telelogic (2007). Tau generation2. Retrieved May 15, 2007, from http://www.telelogic.com/products/tau/g2/index.cfm.
Download


Paper Citation


in Harvard Style

Turunen M., Leppänen K. and Leppänen S. (2008). WORKFLOW AUTOMATION FOR SYSTEM ARCHITECTING . In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-28-9, pages 39-46. DOI: 10.5220/0001761700390046


in Bibtex Style

@conference{enase08,
author={Markku Turunen and Kari Leppänen and Sari Leppänen},
title={WORKFLOW AUTOMATION FOR SYSTEM ARCHITECTING},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2008},
pages={39-46},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001761700390046},
isbn={978-989-8111-28-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - WORKFLOW AUTOMATION FOR SYSTEM ARCHITECTING
SN - 978-989-8111-28-9
AU - Turunen M.
AU - Leppänen K.
AU - Leppänen S.
PY - 2008
SP - 39
EP - 46
DO - 10.5220/0001761700390046