Abstract
This paper presents an approach for automatic synthesis of software models. Software models are increasingly being used for representing software applications at a high abstraction level, and source code can usually be generated from these models. Creating application models can be a tedious task, and thus the presented approach automates this task. Based on a formal definition of the domain-specific language (DSL) and user-defined properties, we generate intended application models. These models can then be subject to further manual extensions or used as is. The approach is illustrated by a DSL from the train domain, and the automatic synthesis of train station models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from Uml to Alloy. In: Software and Systems Modeling, vol. 9, pp. 69–86. Springer, Berlin (2010)
Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of Model Transformations Via Alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) 4th International Workshop on Model Driven Engineering, Verification and Validation. Springer, Nashville (2007); Conjunction with MODELS 2007
Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the “Small Scope Hypothesis”. MIT CSAIL MIT-LCS-TR-921 (2003)
Baresi, L., Spoletini, P.: On the Use of Alloy to Analyze Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 306–320. Springer, Heidelberg (2006)
Ehrig, K., Küster, J., Taentzer, G.: Generating Instance Models from Meta Models. In: Software and Systems Modeling, vol. 8, pp. 479–500. Springer, Berlin (2009)
EMF, Eclipse Modeling Framework (Emf), http://www.eclipse.org/modeling/emf/
Endresen, J., Carlson, E., Moen, T., Alme, K.-J., Haugen, Ø., Olsen, G.K., Svendsen, A.: Train Control Language - Teaching Computers Interlocking. In: Computers in Railways XI (COMPRAIL 2008), Toledo, Spain (2008)
Gheyi, R., Massoni, T., Borba, P.: A Theory for Feature Models in Alloy. In: First Alloy Workshop, Portland, United States, pp. 71–80 (2006)
GMF, Eclipse Graphical Modeling Framework (Gmf), http://www.eclipse.org/modeling/gmf/
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)
Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons, Inc, Chichester (2008)
Kelsen, P., Ma, Q.: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 690–704. Springer, Heidelberg (2008)
Oldevik, J.: Mofscript Eclipse Plug-In: Metamodel-Based Code Generation. In: Eclipse Technology Workshop (EtX) at ECOOP 2006, Nantes (2006)
Sen, S., Baudry, B., Mottu, J.-M.: Automatic Model Generation Strategies for Model Transformation Testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 148–164. Springer, Heidelberg (2009)
Shah, S.M.A., Anastasakis, K., Bordbar, B.: From Uml to Alloy and Back Again. In: Lúcio, L., Weißleder, S. (eds.) 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM, Denver (2009)
Svendsen, A., Møller-Pedersen, B., Haugen, Ø., Endresen, J., Carlson, E.: Formalizing Train Control Language: Automating Analysis of Train Stations. In: Comprail 2010, Beijing, China (2010)
Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K.-J., Haugen, O.: The Future of Train Signaling. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 128–142. Springer, Heidelberg (2008)
White, J., Schmidt, D.C.: Automated Configuration of Component-Based Distributed Real-Time and Embedded Systems from Feature Models. In: 17th Annual Conference of the International Federation of Automatic Control, Seoul, Korea (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Svendsen, A., Haugen, Ø., Møller-Pedersen, B. (2011). Synthesizing Software Models: Generating Train Station Models Automatically. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)