Article

Synthesizing software models: generating train station models automatically

Authors:

Andreas Svendsen,

Øystein Haugen,

Birger Møller-PedersenAuthors Info & Claims

SDL'11: Proceedings of the 15th international conference on Integrating System and Software Modeling

Pages 38 - 53

https://doi.org/10.1007/978-3-642-25264-8_5

Published: 05 July 2011 Publication History

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.

References

[1]

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).

[2]

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.

[3]

Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the "Small Scope Hypothesis". MIT CSAIL MIT-LCS-TR-921 (2003).

[4]

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).

Digital Library

[5]

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).

[6]

EMF, Eclipse Modeling Framework (Emf), http://www.eclipse.org/modeling/emf/

[7]

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).

[8]

Gheyi, R., Massoni, T., Borba, P.: A Theory for Feature Models in Alloy. In: First Alloy Workshop, Portland, United States, pp. 71-80 (2006).

[9]

GMF, Eclipse Graphical Modeling Framework (Gmf), http://www.eclipse.org/modeling/gmf/

[10]

Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006).

Digital Library

[11]

Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons, Inc, Chichester (2008).

Digital Library

[12]

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).

Digital Library

[13]

Oldevik, J.: Mofscript Eclipse Plug-In: Metamodel-Based Code Generation. In: Eclipse Technology Workshop (EtX) at ECOOP 2006, Nantes (2006).

[14]

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).

Digital Library

[15]

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).

Digital Library

[16]

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).

[17]

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).

Digital Library

[18]

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).

Cited By

Idani ALedru YAit Wakrime ABen Ayed RCollart-Dutilleul S(2019)Incremental Development of a Safety Critical System Combining formal Methods and DSMLsFormal Methods for Industrial Critical Systems10.1007/978-3-030-27008-7_6(93-109)Online publication date: 30-Aug-2019
https://dl.acm.org/doi/10.1007/978-3-030-27008-7_6

Index Terms

Synthesizing software models: generating train station models automatically

Index terms have been assigned to the content through auto-classification.

Recommendations

Analyzing variability: capturing semantic Ripple effects
ECMFA'11: Proceedings of the 7th European conference on Modelling foundations and applications

This paper shows how to incrementally analyze how variability described in the Common Variability Language (CVL) affects the semantics of a model in a domain-specific language (DSL). CVL is a generic language for modeling variability. Using Alloy for ...
Everything old is new again: quoted domain-specific languages
PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

We describe a new approach to implementing Domain-Specific Languages(DSLs), called Quoted DSLs (QDSLs), that is inspired by two old ideas:quasi-quotation, from McCarthy's Lisp of 1960, and the subformula principle of normal proofs, from Gentzen's ...
Declaratively defining domain-specific language debuggers
GCPE '11

Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

SDL'11: Proceedings of the 15th international conference on Integrating System and Software Modeling

July 2011

277 pages

ISBN:9783642252631

Editors:
Iulian Ober
Université de Toulouse, IRIT, 118 route de Narbonne, Toulouse, France
,
Ileana Ober
IRIT - Université de Toulouse, 118, route de Narbonne, Toulouse, France

Sponsors

PragmaDev.: PragmaDev.
University of Toulouse: University of Toulouse

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 05 July 2011

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Idani ALedru YAit Wakrime ABen Ayed RCollart-Dutilleul S(2019)Incremental Development of a Safety Critical System Combining formal Methods and DSMLsFormal Methods for Industrial Critical Systems10.1007/978-3-030-27008-7_6(93-109)Online publication date: 30-Aug-2019
https://dl.acm.org/doi/10.1007/978-3-030-27008-7_6

View Options

View options

Figures

Tables

Media

View Table of Conten