A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams

Marcel da Silva Melo, Joyce M. S. França, Edson Oliveira Jr., Michel S. Soares

2015

Abstract

The design of current software systems must take care not only of software but also of other elements, such as processes, hardware and flows. For the software design counterpart, both for structural and dynamic views, UML is currently widely applied. As UML lacks proper means to model systems elements, the Systems Modeling Language (SysML), a UML profile, was introduced by OMG. The proposal of this paper is to create a semi-automatic transformation that generates a UML Activity diagram from a SysML Internal Block Diagram. The hypothesis is that, by using parts, the main block and its flows, it is possible to create a semi-automatic transformation that generates a UML Activity diagram from a SysML Internal Block diagram preserving all information. A mapping describing the relationship between the two diagrams and a semi-automatic model-driven transformation using the ATL language are proposed. The approach is applied to a Distiller system for purifying dirty water, a real-world example described by the SysML team.

References

  1. Albert, V., Nketsa, A., and Pascal, J. (2005). Towards a metalmodel based approach for hierarchical petri net transformations to vhdl. In European Simulation and Modelling Conference, Porto.
  2. André, C., Mallet, F., and de Simone, R. (2007). Modeling Time(s). In Proc. of the 10th International Conference on Model Driven Engineering Languages and Systems), pages 559-573.
  3. Batarseh, O. and McGinnis, L. F. (2012). System Modeling in SysML and System Analysis in Arena. In Proc. of the Winter Simulation Conference, WSC 7812, pages 1-12.
  4. Berrani, S., Hammad, A., and Mountassir, H. (2013). Mapping sysml to modelica to validate wireless sensor networks non-functional requirements. In Programming and Systems (ISPS), 2013 11th International Symposium on, pages 177-186.
  5. Bezivin, J. (2006). Model Driven Engineering: An Emerging Technical Space. In Lammel, R., Saraiva, J., and Visser, J., editors, Generative and Transformational Techniques in Software Engineering, volume 4143 of Lecture Notes in Computer Science, pages 36-64. Springer Berlin Heidelberg.
  6. Bouquet, F., Gauthier, J., Hammad, A., and Peureux, F. (2012). Transformation of SysML Structure Diagrams to VHDL-AMS. In 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS, pages 74-81.
  7. Chang, X., Huang, L., Hu, J., Li, C., and Cao, B. (2014). Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets. In IEEE 38th Annual Computer Software and Applications Conference, pages 267-272.
  8. da Silva Melo, M. and Soares, M. S. (2014). Model-Driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes. In ICEIS 2014 - Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 2, pages 193-200.
  9. Foures, D., Albert, V., and C., P. J. (2011). Activitydiagram2petrinet: Transformation-based model in accordance with the omg sysml specifications. In Eurosis, The 2011 European Simulation and Modelling Conference, France.
  10. Foures, D., Albert, V., Pascal, J.-C., and Nketsa, A. (2012). Automation of sysml activity diagram simulation with model-driven engineering approach. In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, TMS/DEVS 7812, pages 11:1-11:6, San Diego, CA, USA. Society for Computer Simulation International.
  11. 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.
  12. Friedenthal, S., Moore, A., and Steiner, R. (2008). A Practical Guide to SysML: Systems Modeling Language. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  13. Friedenthal, S., Moore, A., and Steiner, R. (2009). OMG Systems Modeling Language Tutorial, available at http://www.omgsysml.org/INCOSE-OMGSysMLTutorial-Final-090901.pdf .
  14. 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.
  15. Hammad, A., Mountassir, H., and Chouali, S. (2013). An approach combining sysml and modelica for modelling and validate wireless sensor networks. In Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS 7813, pages 5-12, New York, NY, USA. ACM.
  16. 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.
  17. Jouault, F. and Kurtev, I. (2005). Transforming Models with ATL. In MoDELS Satellite Events, pages 128-138.
  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. Lasalle, J., Bouquet, F., Legeard, B., and Peureux, F. (2011). SysML to UML Model Transformation for Test Generation Purpose. SIGSOFT Softw. Eng. Notes, 36(1):1-8.
  20. McGinnis, L. and Ustun, V. (2009). A simple example of sysml-driven simulation. In Simulation Conference (WSC), Proceedings of the 2009 Winter, pages 1703- 1710.
  21. OMG-SysML (2010). Systems Modeling Language (SysML) - Version 1.2.
  22. OMG-UML (2010). Unified Modeling Language (UML): Superstructure - version 2.3.
  23. Qamar, A., During, C., and Wikander, J. (2009). Designing Mechatronic Systems, a Model-Based Perspective, An Attempt to Achieve SysML-Matlab/Simulink Model Integration. In IEEE/ASME International Conference on Advanced Intelligent Mechatronics, pages 1306- 1311.
  24. Soares, M. S., Julia, S., and Vrancken, J. L. M. (2008). Real-time Scheduling of Batch Systems using Petri Nets and Linear Logic. Journal of Systems and Software, 81(11):1983-1996.
  25. Soares, M. S., Vrancken, J. L. M., and Verbraeck, A. (2011). User requirements modeling and analysis of software-intensive systems. Journal of Systems and Software, 84(2):328-339.
  26. Staines, T. (2008). Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. In 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pages 191- 200.
Download


Paper Citation


in Harvard Style

da Silva Melo M., M. S. França J., Oliveira Jr. E. and S. Soares M. (2015). A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 92-101. DOI: 10.5220/0005372700920101


in Bibtex Style

@conference{iceis15,
author={Marcel da Silva Melo and Joyce M. S. França and Edson Oliveira Jr. and Michel S. Soares},
title={A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={92-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005372700920101},
isbn={978-989-758-097-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams
SN - 978-989-758-097-0
AU - da Silva Melo M.
AU - M. S. França J.
AU - Oliveira Jr. E.
AU - S. Soares M.
PY - 2015
SP - 92
EP - 101
DO - 10.5220/0005372700920101