Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes

Marcel da Silva Melo, Michel S. Soares

2014

Abstract

One particular characteristic of software-intensive systems is that software is a fundamental component together with other components. For the software design counterpart, both for structural and dynamic views, UML is one of the most used modeling language. However, UML is weak in modeling elements of a software-intensive system that are not software. This is the main reason why the Systems Modeling Language (SysML), a UML profile, was introduced by OMG. One objective of this article is to combine the SysML Block diagram and the UML Class diagram to design the structural view of a software-intensive system architecture. A meta-model describing the relationship between the two diagrams and an automatic model-driven transformation using the ATL language are proposed. The evaluation was performed by applying the meta-model in practice to develop software-intensive systems in the field of road traffic management, as shown in the case study.

References

  1. Almejalli, K., Dahal, K., and Hossain, M. (2008). Real Time Identification of Road Traffic Control Measures. In Fink, A. and Rothlauf, F., editors, Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management, volume 144 of Studies in Computational Intelligence, pages 63-80. Springer Berlin / Heidelberg.
  2. André, C., Mallet, F., and de Simone, R. (2007). Modeling Time(s). In ACM-IEEE, editor, 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 7807), pages 559-573, Nashville, TN, USA. Springer Verlag.
  3. Balmelli, L., Brown, D., Cantor, M., and Mott, M. (2006). Model-driven Systems Development. IBM Systems Journal,, 45(3):569-586.
  4. Bell, A. E. (2004). Death by UML Fever. Queue, 2:72-80.
  5. Bézivin, J. (2006). Model Driven Engineering: An Emerging Technical Space, volume 4143 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany.
  6. Brunelière, H., Cabot, J., Jouault, F., Tisi, M., and Bézivin, J. (2010). Industrialization of Research Tools: the ATL Case. In Third International Workshop on Academic Software Development Tools and Techniques - WASDeTT-3 (co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering - ASE'2010).
  7. Colombo, P., Khendek, F., and Lavazza, L. (2012). Bridging the Gap between Requirements and Design: An Approach based on Problem Frames and SysML. Journal of Systems and Software, 85(3):717-745.
  8. Edwards, S. A. and Lee, E. A. (2003). The Semantics and Execution of a Synchronous Block-Diagram Language. Science of Computer Programming, 48(1):21- 42.
  9. France, R. B., Ghosh, S., Dinh-Trong, T., and Solberg, A. (2006). Model-Driven Development Using UML 2.0: Promises and Pitfalls. Computer, 39:59-66.
  10. Goknil, A., Kurtev, I., and Berg, K. V. D. (2014). Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics. Journal of Systems and Software, 88(0):112-137.
  11. Hastbacka, D., Vepsalainen, T., and Kuikka, S. (2011). Model-Driven Development of Industrial Process Control Applications. Journal of Systems and Software, 84(7):1100-1113.
  12. Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J. P., and Margaria, T. (2008). Software Engineering and Formal Methods. Communications of the ACM,, 51(9):54-59.
  13. ISO-IEC (2007). Systems and Software engineering - Recommended Practice for Architectural Description of Software-Intensive Systems. Technical report.
  14. Jiang, L., Eberlein, A., Far, B. H., and Mousavi, M. (2008). A Methodology for the Selection of Requirements Engineering Techniques. Software and System Modeling, 7(3):303-328.
  15. Jouault, F., Allilaire, F., Bézivin, J., and Kurtev, I. (2008). ATL: A model transformation tool. Science of Computer Programming, 72(1-2):31-39.
  16. Jouault, F. and Kurtev, I. (2005). Transforming Models with ATL. In MoDELS Satellite Events, pages 128-138.
  17. Karban, R., Zamparelli, M., Bauvir, B., Koehler, B., Noethe, L., and Balestra, A. (2008). Exploring Model Based Engineering for Large Telescopes: Getting Started with Descriptive Models. In Angeli, G. Z. and Cullum, M. J., editors, Modeling, Systems Engineering, and Project Management for Astronomy III, volume 7017, pages 1-13.
  18. Kim, S.-K., Myers, T., Wendland, M.-F., and Lindsay, P. A. (2012). Execution of Natural Language Requirements using State Machines Synthesised from Behavior Trees. Journal of Systems and Software, 85(11):2652-2664.
  19. Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., and Tatibouet, B. (2010). A First Attempt to Combine SysML Requirements Diagrams and B . Innovations in Systems and Software Engineering, 6(1):47- 54.
  20. Ludewig, J. (2003). Models in Software Engineering. Software and System Modeling,, 2(1):5-14.
  21. OMG (2006). Meta-Object Facility (MOF) Core Specification - Version 2.0.
  22. OMG-SysML (2010). Systems Modeling Language (SysML) - Version 1.2.
  23. OMG-UML (2010). Unified Modeling Language (UML): Superstructure - version 2.3.
  24. Selim, G. M. K., Wang, S., Cordy, J. R., and Dingel, J. (2012). Model Transformations for Migrating Legacy Models: an Industrial Case Study. In Proceedings of the 8th European conference on Modelling Foundations and Applications, ECMFA'12, pages 90-101.
  25. Soares, M. S. and Vrancken, J. (2009). Evaluation of UML in Practice - Experiences in a Traffic Management Systems Company. In Cordeiro, J. and Filipe, J., editors, Proceedings of the 11th International Conference on Enterprise Information Systems (ICEIS 2009), pages 313-319.
  26. Soares, M. S., Vrancken, J., and Verbraeck, A. (2011). User Requirements Modeling and Analysis of SoftwareIntensive Systems. Journal of Systems and Software, 84(2):328-339.
  27. Tiako, P. F. (2008). Designing Software-Intensive Systems: Methods and Principles. IGI Global, Hershey, New York, USA, 1 edition.
  28. Viehl, A., Schönwald, T., Bringmann, O., and Rosenstiel, W. (2006). Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design. In DATE 7806: Proceedings of the conference on Design, automation and test in Europe, pages 242-247, 3001 Leuven, Belgium, Belgium. European Design and Automation Association.
Download


Paper Citation


in Harvard Style

da Silva Melo M. and S. Soares M. (2014). Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 193-200. DOI: 10.5220/0004871301930200


in Bibtex Style

@conference{iceis14,
author={Marcel da Silva Melo and Michel S. Soares},
title={Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={193-200},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004871301930200},
isbn={978-989-758-028-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes
SN - 978-989-758-028-4
AU - da Silva Melo M.
AU - S. Soares M.
PY - 2014
SP - 193
EP - 200
DO - 10.5220/0004871301930200