A Model-based Software Technology Proposal

Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu

Abstract

In this paper we propose a technology for model-based software development. The technology separates domain engineering and application engineering and automates the actual executable code generation. This approach has been used extensively for simulations and we believe it is also applicable for more general software development.

References

  1. Vitkin, L., Dong, S., Searcy, R. and Manjunath, B., 2006. Effort Estimation in Model-Based Software Development. 2006 SAE World Congress Detroit, Michigan.
  2. Dabney, J. B., Harman, T. L., 1997. Mastering SIMULINK. Prentice Hall PTR.
  3. Cooke, D. E., Barry, M., Lowry, M., Green, C., 2006. NASA's Exploration Agenda and Capability Engineering.
  4. Engels, G., Soltenborn, C., Wehrheim, H., 2007. Analysis of UML Activities Using Dynamic Meta Modeling. In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, pp. 76-90.
  5. Selic, B., 2007. A Systematic Approach to DomainSpecific Language Design Using UML. In Proceedings of the 10th IEEE international Symposium on Object and Component-Oriented Real-Time Distributed Computing (May 07 - 09, 2007). ISORC. IEEE Computer Society, Washington, DC, 2-9. 2007.
  6. van Deursen, A., Klint, P., 2001. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology. Vol. 10.
  7. Mernik, M., Heering, J., Sloane, A., 2005. When and how to develop domain-specific languages. ACM Computing Surveys (CSUR) Volume 37, Issue 4.
  8. Whittle, J., 2002. Transformations and software modeling languages: Automating transformations in UML. LNCS, vol. 2460. Springer-Verlag
  9. de Niz, D., 2007. Diagram and Language for ModelBased Software Engineering of Embedded Systems: UML and AADL. Software Engineering Institute white paper, Carnegie Mellon University.
  10. Rath, I., 2006. Declarative Specification of Domain Specific Visual Languages. Master's thesis. Budapest.
  11. Sprinkle, J., Karsai, G., 2004. A domain-specific visual language for domain model evolution. Journal of Visual Languages and Computing, Vol 15 (3-4), Elsevier.
  12. MetaCase, 2012. http://www.metacase.com.
  13. Tolvanen, J.-P., Kelly, S., 2009. Metaedit+: defining and using integrated domain-specific modeling languages. OOPSLA 2009 Companion, pages 819-820. ACM.
  14. Gronback, R., 2009. Eclipse Modeling Project: A DomainSpecific Language (DSL) Toolkit. Addison-Wesley Professional.
  15. Grigorenko, P., Saabas, A., Tyugu, E., 2005. Visual tool for generative programming. ACM SIGSOFT Software Engineering Notes, 30, 5, 249-252.
  16. Grigorenko, P., Saabas, A., Tyugu, E., 2005. COCOVILA - Compiler-Compiler for Visual Languages. In: J. Boyland, G. Hedin. Fifth Workshop on Language Descriptions Tools and Applications LDTA2005. ETAPS, p. 101 - 105.
  17. Grigorenko, P., Tyugu, E., 2006. Deep Semantics of Visual Languages. In: E. Tyugu, T. Yamaguchi (eds.) Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications, vol. 140. IOS Press, p. 83 - 95.
  18. Kivimaa, J., Ojamaa, A., Tyugu, E., 2009. Graded Security Expert System. Proc. CRITIS08, LNCS 5508 Springer, 279-286.
  19. Kivimaa, J., Ojamaa, A., Tyugu, E., 2009. Managing Evolving Security Situations. MILCOM 2009: Unclassified Proceedings, October 18-21, 2009, Boston, MA. Piscataway, NJ: IEEE, 1-7.
  20. Kivimaa, J., Ojamaa, A., Tyugu, E., 2008. Pareto-Optimal Situation Analysis for Selection of Security Measures. Proc. MilCom 2008, 7 p.
  21. Grossschmidt, G., Harf, M., 2008. Modelling and simulation of fluid power systems in an intelligent programming environment. Proc ISC'2008 : June 9-11, 2008, Lyon, France, Proceedings: Ostend: EUROSIS, 2008, (A publication of EUROSIS-ETI), 224 - 230.
  22. Grossschmidt, G.; Harf, M., 2009. COCO-SIM - Objectoriented Multi-pole Modelling and Simulation Environment for Fluid Power Systems. Part 1: Fundamentals. International Journal of Fluid Power, Vol. 10, No. 2, 2009, pp. 91 - 100. Part 2: Modelling and simulation of hydraulic-mechanical load-sensing system. International Journal of Fluid Power, Vol. 10, No. 3, 2009, pp. 71 - 85.
  23. Harf, M.; Grossschmidt, G., 2012. Modeling and simulation of an electro-hydraulic servovalve in an intelligent programming environment. In: ASME 2012 11th Biennal Conference on Engineering Systems Design and Analysis (ESDA 2012), July 2-4, 2012, Nantes, France, [Proceedings]; New York, ASME, 2012, 1-9.
  24. Ojamaa, A., Tyugu, E., 2008. Rich Components of Extendable Simulation Platform. Proc. WORLDKOMP'07: MSV2007, CSREA Press, 2007, p. 121 - 127. M. Virvou, T. Nakamura (eds.) Knowledge-Based Software Engineering. Proc. 8th JCKBSE. IOS Press, p. 49 - 58.
  25. Maigre, R., Grigorenko, P., Küngas, P., Tyugu, E., 2008. Stratified Composition of Web Services. In: M. Virvou, T. Nakamura (eds.) Knowledge-Based Software Engineering. Proc. 8th JCKBSE. IOS Press, p. 49 - 58.
  26. Maigre, R., Küngas, P., Matskin, M., Tyugu, E., 2008. Handling Large Web Services Models in a Federated Governmental Information System. Proc. 3-rd International Conference on Internet and Web Applications and Services. IEEE Computer Society & CPS, p. 626 - 631.
  27. Matskin, M, Tyugu, E., 2001. Strategies of Structural Synthesis of Programs and Its Extensions. Computing and Informatics. v.20, p.1 -25.
  28. Grigorenko, P., Tyugu, E., 2010. Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics.
  29. Tyugu, E., Valt, R., 1997. Visual programming in NUT. Journal of visual languages and programming, v. 8, pp. 523 - 544.
  30. Czarnecki, K., Eisenecker, U. W., 2000. Generative Programming: Methods, tools, applications, Boston.
Download


Paper Citation


in Harvard Style

Kotkas V., Penjam J., Kalja A. and Tyugu E. (2013). A Model-based Software Technology Proposal . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 312-315. DOI: 10.5220/0004348203120315


in Bibtex Style

@conference{modelsward13,
author={Vahur Kotkas and Jaan Penjam and Ahto Kalja and Enn Tyugu},
title={A Model-based Software Technology Proposal},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={312-315},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004348203120315},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Model-based Software Technology Proposal
SN - 978-989-8565-42-6
AU - Kotkas V.
AU - Penjam J.
AU - Kalja A.
AU - Tyugu E.
PY - 2013
SP - 312
EP - 315
DO - 10.5220/0004348203120315