A Case Study of Combining Compositional and Object-oriented Software Development

Enn Tyugu, Mait Harf, Pavel Grigorenko

Abstract

We analyze an approach to software development where object-oriented and compositional software specifications are written in separate languages and are only loosely connected. It supports compositional design of software in a domain-specific language and automatic model-driven construction of code from classes written in Java. We justify our approach by giving examples of development of large simulation programs and services on large models. We present also an example of using our method in general purpose software development – this is bootstrapping the essential part of a software tool CoCoViLa, i.e. synthesizing CoCoViLa in CoCoViLa itself.

References

  1. Brambilla, M., Cabot, J., and Wimmer, M. (2012). Modeldriven software engineering in practice. Synthesis Lectures on Software Engineering, 1(1):1-182.
  2. Constable, R. L. (1971). Constructive mathematics and automatic program writers. In Proceedings of the IFIP Congress, pages 229-233. North-Holland.
  3. Green, C. (1980). The application of theorem proving to question-answering systems. Outstanding dissertations in the computer sciences. Garland Pub.
  4. Grigorenko, P., Saabas, A., and Tyugu, E. (2005). Visual tool for generative programming. In ACM SIGSOFT Software Engineering Notes, volume 30, pages 249- 252. ACM.
  5. Grigorenko, P. and Tyugu, E. (2012). Higher-order attribute semantics of flat declarative languages. Computing and Informatics, 29(2):251-280.
  6. Grossschmidt, G. and Harf, M. (2009). Coco-sim-objectoriented multi-pole modelling and simulation environment for fluid power systems. part 2: Modelling and simulation of hydraulic-mechanical load-sensing system. International Journal of Fluid Power, 10(3):71- 85.
  7. Kelly, S. and Tolvanen, J.-P. (2008). Domain-specific modeling: enabling full code generation. Wiley. com.
  8. Kent, S. (2002). Model driven engineering. In Integrated formal methods, pages 286-298. Springer.
  9. Maigre, R., Küngas, P., Matskin, M., and Tyugu, E. (2009). Dynamic service synthesis on a large service models of a federated governmental information system. International Journal On Advances in Intelligent Systems, 2(1):181-191.
  10. Maigre, R. and Tyugu, E. (2011). Composition of services on hierarchical service models. Information Modelling and Knowledge Bases XXIII, Frontiers in Artificial Intelligence, 237:110-129.
  11. Manna, Z. and Waldinger, R. (1993). The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming. Addison-Wesley Longman Publishing Co., Inc.
  12. Matskin, M., Maigre, R., and Tyugu, E. (2007). Compositional logical semantics for business process languages. In Internet and Web Applications and Services, 2007. ICIW'07. Second International Conference on, pages 38-38. IEEE.
  13. Matskin, M. and Tyugu, E. (2001). Strategies of structural synthesis of programs and its extensions. Computers and Artificial Intelligence, 20(1).
  14. Mints, G. and Tyugu, E. (1990). Propositional logic programming and the priz system. The Journal of Logic Programming, 9(23):179 - 193.
  15. Santos, A. L., Koskimies, K., and Lopes, A. (2010). Automating the construction of domain-specific modeling languages for object-oriented frameworks. Journal of Systems and Software, 83(7):1078-1093.
  16. Software, I. (2003). Special issue on model-driven development, volume 20.
  17. Tolvanen, J.-P. and Kelly, S. (2009). Metaedit+: defining and using integrated domain-specific modeling languages. In Arora, S. and Leavens, G. T., editors, OOPSLA Companion, pages 819-820. ACM.
Download


Paper Citation


in Harvard Style

Tyugu E., Harf M. and Grigorenko P. (2014). A Case Study of Combining Compositional and Object-oriented Software Development . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 201-208. DOI: 10.5220/0004698502010208


in Bibtex Style

@conference{modelsward14,
author={Enn Tyugu and Mait Harf and Pavel Grigorenko},
title={A Case Study of Combining Compositional and Object-oriented Software Development},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={201-208},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004698502010208},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Case Study of Combining Compositional and Object-oriented Software Development
SN - 978-989-758-007-9
AU - Tyugu E.
AU - Harf M.
AU - Grigorenko P.
PY - 2014
SP - 201
EP - 208
DO - 10.5220/0004698502010208