Abstract
Specification of complex systems is a set of large documents written in natural language. Due to their complexity, they are often hard to understand and even harder to maintain. We designed the domain specific language ScOLa (Scenario Oriented Language) to model the architecture and behavior of systems using a set of formalized concepts in order to support the dialog between experts. In this article, we present a reverse engineering methodology to formalize complex system specifications using scenarios. It starts from an informal description of the system and results in a hierarchical view of the system description. This article aims both at introducing ScOLa and at presenting its application on the railway systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (2005)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: the Systems Modeling Language. Elsevier (2011)
Issad, M., Kloul, L., Rauzy, A., Berkani, K.: ScOLa, a scenario oriented modeling language for railway systems. INSIGHT 18(4), 34–37 (2015)
White, S.A.: Introduction to bpmn. IBM Cooperation 2, (2004)
Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)
Naumann, J.D., Jenkins, A.M.: Prototyping: the new paradigm for systems development. Mis Q. 29–44 (1982)
Lykins, H., Friedenthal, S., Meilich, A.: Adapting uml for an object oriented systems engineering method (oosem). In: Proceedings of the 10th Annual INCOSE Symposium, International Council on Systems Engineering (July 2000). http://www.omg.org/docs/syseng/02-06-11.pdf (2000)
Wiley, et al.: INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities. John Wiley & Sons (2015)
Cantor, Murray: Rup se: The rational unified process for systems engineering. Ration. Edge Ration, Softw (2001)
Voirin, J.-L., Bonnet, S.: Arcadia: model-based collaboration for system, software and hardware engineering. In: Complex Systems Design & Management, poster workshop (CSD&M 2013) (2013)
OMG CORBA and IIOP Specification: Object management group. Joint revised submission OMG document orbos/99-02 (1999)
Muller, P.-A., Gaertner, N.: Modélisation objet avec UML, vol. 514. Eyrolles Paris (2000)
Piques, J.D., Andrianarison, E.: Sysml for embedded automotive systems: lessons learned. Interfaces 3, 3b (2011)
Góngora, H.G., Ferrogalini, M., Moreau, C.: How to boost product line engineering with mbse-a case study of a rolling stock product line. In: Complex Systems Design & Management, pp. 239–256. Springer (2015)
Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing safe, reliable systems using scade. In: Leveraging Applications of Formal Methods, pp. 115–129. Springer (2006)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (aadl): an introduction. Technical report, DTIC Document (2006)
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Soft. Tools Technol. Transfer (STTT) 1(1), 134–152 (1997)
De Saqui-Sannes, P., Apvrille, L., et al.: Avatar/ttool: un environnement en mode libre pour sysml temps réel. Génie Logiciel 58(98), 22–26 (2011)
Snook, C., Butler, M.: Uml-b: Formal modeling and design aided by uml. ACM Trans. Soft. Eng. Methodol. (TOSEM) 15(1), 92–122 (2006)
Cressent, R., David, P., Idasiak, V., Kratz, F.: Apports de sysml à la modélisation des systèmes complexes à fortes contraintes de sûreté de fonctionnement. In: ITT’09 (Technological Innovation and Transport Systems 2009), p. p39 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Textual Representation of S
A Textual Representation of S
The textual representation of S using the textual operators of ScOLa is depicted in Fig. 4
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Issad, M., Kloul, L., Rauzy, A. (2017). Incremental Modeling Methodology of Railway System Specifications. In: Fanmuy, G., Goubault, E., Krob, D., Stephan, F. (eds) Complex Systems Design & Management. CSDM 2016. Springer, Cham. https://doi.org/10.1007/978-3-319-49103-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-49103-5_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49102-8
Online ISBN: 978-3-319-49103-5
eBook Packages: EngineeringEngineering (R0)