Abstract
Domain modelling based on UML Class Diagrams is an established industrial practice. In the context of the Railway industry, we show how to utilize such diagrams for verification. This involves the translation of UML Class Diagrams into the algebraic specification language CASL. To this end, we define new Class Diagram institutions and provide suitable institution comorphisms.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Andova, S., van den Brand, M., Engelen, L.: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. In: AMMSE 2011. Electr. Proc. Theo. Comp. Sci., vol. 56, pp. 65–79 (2011)
Arnold, B., van Deursen, A., Res, M.: An Algebraic Specification of a Language for Describing Financial Products. In: Wirsing, M. (ed.) Wsh. Formal Methods Applications in Software Engineering Practice, Seattle, pp. 6–13 (1995)
Bjørner, D.: Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. In: CTS 2003. Elsevier (2003)
Bjørner, D.: Domain Engineering – Technology Management, Research and Engineering. JAIST Press (2009)
Bonachea, D., Fisher, K., Rogers, A., Smith, F.: Hancock: A Language for Processing Very Large-scale Data. SIGPLAN Notices 35(1) (2000)
Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383–402. Springer, Heidelberg (2008)
dos Santos, O.M., Woodcock, J., Paige, R.: Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In: 16th Int. Conf. Engineering of Complex Computer Systems (ICECCS 2011), pp. 117–126. IEEE (2011)
Ebbinghaus, H., Flum, J., Thomas, W.: Mathematical logic. Springer (1994)
Fowler, M.: Domain Specific Languages. Addison-Wesley (2010)
Hughes, G.E., Cresswell, M.J.: A new introduction to modal logic. Routledge (1996)
Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39, 95–146 (1992)
Hussmann, H., Cerioli, M., Baumeister, H.: From uml to casl (static part). Technical Report DISI-TR-00-06, DISI-Universit di Genova (2000)
Invensys Rail. Data Model – Version 1A (2010)
James, P., Knapp, A., Mossakowski, T., Roggenbach, M.: From UML Class Diagrams to Modal CASL. Technical report, Universität Augsburg (to appear, 2013)
James, P., Roggenbach, M.: Designing domain specific languages for verification: First steps. In: Höfner, P., McIver, A., Struth, G. (eds.) 1st Wsh. Automated Theory Engineering (ATE 2011). CEUR Wsh. Proc., vol. 760, pp. 40–45. CEUR-WS.org (2011)
Kerr, D., Rowbotham, T.: Introduction to Railway Signalling. Institution of Railway Signal Engineers (2001)
Lano, K., Clark, D., Androutsopoulos, K.: UML to B: Formal Verification of Object-Oriented Models. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 187–206. Springer, Heidelberg (2004)
Meng, S., Aichernig, B.: Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases. Technical Report 272, UNU/IIST (2003)
Mernik, M., Heering, J., Sloane, A.M.: When and How to Develop Domain-specific Languages. ACM Computing Surveys 37(4) (2005)
Mossakowski, T.: Relating CASL with Other Specification Languages: The Institution Level. Theo. Comp. Sci. 286, 367–475 (2002)
Mossakowski, T.: ModalCASL — Specification with Multi-Modal Logics. Language Summary (2004)
Mossakowski, T.: HeTS — the Heterogeneous Tool Set, home page (June 2011), http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/
Mosses, P.D. (ed.): CASL Reference Manual. Springer (2004)
Object Managment Group. Unified Modeling Language (UML), v2.4.1 (2011), http://www.omg.org/spec/UML/2.4.1
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
James, P., Knapp, A., Mossakowski, T., Roggenbach, M. (2013). Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl . In: Martí-Oliet, N., Palomino, M. (eds) Recent Trends in Algebraic Development Techniques. WADT 2012. Lecture Notes in Computer Science, vol 7841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37635-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-37635-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37634-4
Online ISBN: 978-3-642-37635-1
eBook Packages: Computer ScienceComputer Science (R0)