Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies

Nebojša Taušan, Jouni Markkula, Pasi Kuvaja, Markku Oivo

2016

Abstract

Software companies that develop embedded systems following the principles of service-oriented architecture can anticipate various benefits from choreography modelling. Current choreography modelling languages, however, have a limited applicability in embedded systems development since they are not expressive enough to capture all the choreography-relevant aspects that are typical in this domain. We tackled this problem by analysing the needs of embedded systems for choreography modelling language. Our analysis was guided by design science and relied on expert interviews, company-specific documents and the relevant literature. The main results of the analysis presented in this paper are a) design requirements addressing the limitations of choreography modelling languages for embedded systems development and b) proposals for modelling language implementation technologies. The feasibility of these results is evaluated by redesigning an existing choreography modelling language and by implementing a prototype editor for the redesigned language.

References

  1. Aagesen, G. and Krogstie, J. (2010). Analysis and design of business processes using BPMN. In Handbook on Business Process Management 1, pages 213-235. Springer.
  2. AMALTHEA (2013). AMALTHEA.
  3. Barros, A., Dumas, M., and Oaks, P. (2005). A critical overview of the web services choreography description language. BPTrends Newsletter, 3:1-24.
  4. Bond, G., Cheung, E., Fikouras, I., and Levenshteyn, R. (2009). Unified telecom and web services composition: problem definition and future directions. In Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications, page 13. ACM.
  5. BPMN (2011). Business Process Model and Notation Version 2.0.
  6. Cambronero, M.-E., Diaz, G., Pardo, J. J., Valero, V., and Pelayo, F. L. (2006). RT-UML for modeling realtime web services. In Services Computing Workshops, 2006. SCW'06. IEEE, pages 131-139. IEEE.
  7. Cannata, A., Gerosa, M., and Taisch, M. (2008). A Technology Roadmap on SOA for smart embedded devices: Towards intelligent systems in manufacturing. Industrial Engineering.
  8. Chinosi, M. and Trombetta, A. (2012). Bpmn: An introduction to the standard. Computer Standards & Interfaces, 34(1):124-134.
  9. Ciancia, V., Ferrari, G., Guanciale, R., Strollo, D., and Tuosto, E. (2011). Model-driven development of long running transactions. In Rigorous software engineering for service-oriented systems, pages 326-348. Springer.
  10. Cortes-Cornax, M., Dupuy-Chessa, S., Rieu, D., and Dumas, M. (2011). Evaluating choreographies in bpmn 2.0 using an extended quality framework. In Business Process Model and Notation, pages 103-117. Springer.
  11. Dar, K., Taherkordi, A., Rouvoy, R., and Eliassen, F. (2011). Adaptable service composition for very-large-scale internet of things systems. In Proceedings of the 8th Middleware Doctoral Symposium on - MDS 7811, pages 1-6, New York, USA. ACM Press.
  12. Dijkman, R. and Dumas, M. (2004). Service-oriented design: A multi-viewpoint approach. International journal of cooperative information systems, 13(04):337- 368.
  13. Eclipse Git repositories (2015). org.eclipse.bpmn2.git - MDT BPMN2 metamodel.
  14. EMF (2014). Eclipse Modeling Framework Project.
  15. Ferrari, G., Guanciale, R., and Strollo, D. (2006). Jscl: A middleware for service coordination. In Formal Techniques for Networked and Distributed SystemsFORTE 2006, pages 46-60. Springer.
  16. Gilart-Iglesias, V., Macia-Perez, F., Marcos-Jorquera, D., and Mora-Gimeno, F. J. (2007). Industrial Machines as a Service: Modelling industrial machinery processes. In 2007 5th IEEE International Conference on Industrial Informatics, volume 2, pages 737-742. IEEE.
  17. Hevner, A. R. (2007). A Three Cycle View of Design Science Research A Three Cycle View of Design Science Research. Scandinavian journal of information systems, 19(2):87-92.
  18. Hevner, A. R., March, S. T., Park, J., and Ram, S. (2004). Design science in information systems research. MIS Quarterly, 28(1):75-105.
  19. Hu, R., Neykova, R., Yoshida, N., Demangeon, R., and Honda, K. (2013). Practical interruptible conversations. In Runtime Verification , pages 130-148. Springer.
  20. Joerg, N. and Vandikas, K. (2010). SCALE - A language for dynamic composition of heterogeneous servicesle.
  21. Kaur, N., McLeod, C. S., Jain, A., Harrison, R., Ahmad, B., Colombo, A. W., and Delsing, J. (2013). Design and simulation of a SOA-based system of systems for automation in the residential sector. In Industrial Technology (ICIT), 2013 IEEE International Conference on, pages 1976-1981. IEEE.
  22. Kelly, S. and Tolvanen, J.-P. (2008). Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons.
  23. Krüger, I. H., Gupta, D., Mathew, R., Moorthy, P., Phillips, W., Rittmann, S., and Ahluwalia, J. (2004). Towards a process and tool-chain for service-oriented automotive software engineering. Architecture, 2:R2.
  24. Liggesmeyer, P. and Trapp, M. (2009). Trends in embedded software engineering. Software, IEEE, 26(3):19-25.
  25. Miles, M. B. and Huberman, A. M. (1994). Qualitative data analysis: An expanded sourcebook. Sage.
  26. Mostarda, L., Marinovic, S., and Dulay, N. (2010). Distributed orchestration of pervasive services. In Advanced Information Networking and Applications (AINA), 2010 24th IEEE International Conference on, pages 166-173. IEEE.
  27. Niemöller, J., Vandikas, K., Levenshteyn, R., Schleicher, D., and Leymann, F. (2011). Towards a service composition language for heterogeneous service environments. In Intelligence in Next Generation Networks (ICIN), 2011 15th International Conference on, pages 121-126. IEEE.
  28. Paech, B. (1997). A framework for interaction description with roles. Technical report, TECHNISCHE UNIVERSITAT MUNCHEN - INSTITUT FUR INFORMATIK, Muncen.
  29. Pedraza, G. and Estublier, J. (2009). Distributed orchestration versus choreography: The focas approach. In Trustworthy Software Development Processes, pages 75-86. Springer.
  30. Peltz, C. (2003). Web Services Orchestration and Choreography. Computer, 36(10):46-52.
  31. QSR-International (2014). NVivo 10 research software for analysis and insight.
  32. Scholz, A., Gaponova, I., Sommer, S., Kemper, A., Knoll, A., Buckl, C., Heuer, J., and Schmitt, A. (2009). ? SOA-Service Oriented Architectures adapted for embedded networks. In 7th IEEE International Conference on Industrial Informatics, 2009. (INDIN), pages 599-605, Cardiff. IEEE.
  33. Sen, R., Roman, G.-C., and Gill, C. (2008). Cian: A workflow engine for manets. In Coordination Models and Languages, pages 280-295. Springer.
  34. Sirius (2014). Sirius - The easiest way to get your own Modeling Tool.
  35. Starke, G., Kunkel, T., and Hahn, D. (2013). Flexible collaboration and control of heterogeneous mechatronic devices and systems by means of an event-driven, SOA-based automation concept. In Industrial Technology (ICIT), 2013 IEEE International Conference on, pages 1982-1987. IEEE.
  36. Taus?an, N., Aaramaa, S., Lehto, J., Kuvaja, P., Markkula, J., and Oivo, M. (2014). Customized Choreography and Requirement Template Models as a Means for Addressing Software Architects' Challenges. In ICSEA 2014, The Ninth International Conference on Software Engineering Advances, pages 55-63, Nice, France. IARIA XPS Press.
  37. Taus?an, N., Lehto, J., Kuvaja, P., Markkula, J., and Oivo, M. (2013). Comparative Influence Evaluation of Middleware Features on Choreography DSL. In ICSEA 2013, The Eighth International Conference on Software Engineering Advances, pages 184-193. IARIA XPS Press.
  38. Zhang, Z., Sun, W., Chen, W., Mao, D., and Xu, Y. (2008). An extended composite service choreography language for decentralized execution in MANETs. In Communication Technology, 2008. ICCT 2008. 11th IEEE International Conference on, pages 592-595. IEEE.
Download


Paper Citation


in Harvard Style

Taušan N., Markkula J., Kuvaja P. and Oivo M. (2016). Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 75-86. DOI: 10.5220/0005686700750086


in Bibtex Style

@conference{modelsward16,
author={Nebojša Taušan and Jouni Markkula and Pasi Kuvaja and Markku Oivo},
title={Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={75-86},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005686700750086},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies
SN - 978-989-758-168-7
AU - Taušan N.
AU - Markkula J.
AU - Kuvaja P.
AU - Oivo M.
PY - 2016
SP - 75
EP - 86
DO - 10.5220/0005686700750086