Abstract
Modelling and Programming are often used together in system development. However, typically there is a large conceptual gap between modelling and programming. This leads to problems in unified handling and the transition between the two. This way, extra work is required when combining modelling and programming. This paper develops a common understanding that can unify modelling and programming in system development.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Comput. Syst. (TOCS) 12(4), 290–321 (2002)
Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20, 36–41 (2003)
Bézivin, J., Gerbé, O.: Towards a precise definition of the OMG/MDA framework. In: Proceedings of ASE 2001, Automated Software Engineering (2001)
Börger, E., Stärk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)
OMG Editor. OMG Meta Object Facility (MOF) Core Specification Version 2.4.2. Technical report, Object Management Group (2014)
Fischer, J., Møller-Pedersen, B., Prinz, A.: Modelling of systems for real. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 427–434 (2016)
Gjøsæter, T., Prinz, A.: Languagelab 1.1 user manual. Technical report, University of Agder (2013)
Gjøsæter, T., Prinz, A., Nytun, J.P.: MOF-VM: instantiation revisited. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 137–144 (2016)
Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Netw. 42(3), 343–358 (2003)
Kleppe, A., Warmer, J.: MDA Explained. Addison-Wesley, Boston (2003)
Lano, K.: The B Language and Method: A Guide to Practical Formal Development, 1st edn. Springer, New York (1996)
Madsen, O.L., Møller-Pedersen, B., Nygaard, K.: Object-Oriented Programming in the BETA Programming Language. ACM Press/Addison-Wesley Publishing Co., New York (1993)
Madsen, O.L., Møller-Pedersen, B.: A unified approach to modeling and programming. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 1–15. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16145-2_1
Mu, L., Gjøsæter, T., Prinz, A., Tveit, M.S.: Specification of modelling languages in a flexible meta-model architecture. In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, Companion Volume, pp. 302–308, 23–26 August 2010
Editor, O.M.G., Language, U.M.: Infrastructure version 2.4.1 (OMG Document formal/2011-08-05). OMG Document. Published by Object Management Group, August 2011. http://www.omg.org
Steffen, B., Margaria, T.: Metaframe in practice: design of intelligent network services. In: Olderog, E.R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Prinz, A., Møller-Pedersen, B., Fischer, J. (2016). Modelling and Testing of Real Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-47169-3_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47168-6
Online ISBN: 978-3-319-47169-3
eBook Packages: Computer ScienceComputer Science (R0)