Abstract
System engineering development processes rely on modelling activities that lead to different design models corresponding to different analyses of the system under consideration.
The authors thank time that progresses so as we can celebrate birthdays.
This work was partially supported by grants ANR-13-INSE-0001 (The IMPEX Project http://impex.loria.fr), ANR-14-CE28-000 (The FORMOSE Project http://formose.lacl.fr/), ANR-17-CE25-0005 (The DISCONT Project http://discont.loria.fr) and ANR-19-CE25-0010-01 (The EBRP Project https://www.irit.fr/EBRP/) from the French national research agency (Agence Nationale de la Recherche ANR).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abrial, J.R.: Modeling in Event-B-System and Software Engineering. Cambridge University Press (2010)
Aït Ameur, Y., Baron, M., Bellatreche, L., Jean, S., Sardet, E.: Ontologies in engineering: the OntoDB/OntoQL platform. Soft Comput. 21(2), 369–389 (2017). https://doi.org/10.1007/s00500-015-1633-5
Aït Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016)
Ait-Ameur, Y., Nakajima, S., Méry, D. (eds.): Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer, Singapore (2021). https://doi.org/10.1007/978-981-15-5054-6
Bjørner, D.: Software Engineering 3 - Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-33653-2
Bjørner, D.: Manifest domains: analysis and description. Formal Asp. Comput. 29(2), 175–225 (2017)
Bjørner, D.: Domain analysis and description principles, techniques, and modelling languages. ACM Trans. Softw. Eng. Methodol. 28(2), 8:1–8:67 (2019)
Börger, E., Stärk, R.F.: Abstract State Machines, A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7
Chebieb, A., Aït Ameur, Y.: A formal model for plastic human computer interfaces. Front. Comput. Sci. 12(2), 351–375 (2018). https://doi.org/10.1007/s11704-016-5460-3
Critical Systems Labs Inc: Nose Gear (NG) Velocity Example Version 1.1, September 2011. http://www.cl.cam.ac.uk/~mjcg/FMStandardsWorkshop/example.pdf
George, C.: The RAISE specification language a tutorial. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 238–319. Springer, Heidelberg (1991). https://doi.org/10.1007/BFb0019998
Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publisher’s, Boston (1993)
Hacid, K., Aït Ameur, Y.: Handling domain knowledge in design and analysis of engineering models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74, 1–21 (2017)
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
Jackson, M., Zave, P.: Domain descriptions. In: Proceedings of IEEE International Symposium on Requirements Engineering, RE 1993, San Diego, California, USA, 4–6 January 1993, pp. 56–64. IEEE (1993)
Jackson, M.A.: Software Requirements and Specifications - A Lexicon of Practice, Principles and Prejudices. Addison-Wesley, New York (1995)
Mossakowski, T.: The distributed ontology, model and specification language – DOL. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 5–10. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-72044-9_2
Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science. Prentice Hall, Upper Saddle River (1986)
Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)
van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, New York (2009)
Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185–203 (2008). https://doi.org/10.1007/s10009-007-0063-9
Méry, D., Sawant, R., Tarasyuk, A.: Integrating domain-based features into Event-B: A nose gear velocity case study. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 89–102. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23781-7_8
Mossakowski, T., Codescu, M., Neuhaus, F., Kutz, O.: The distributed ontology, modeling and specification language – DOL. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic. SUL, pp. 489–520. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-15368-1_21
Singh, N.K., Aït Ameur, Y., Méry, D.: Formal ontology driven model refactoring. In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, pp. 136–145. IEEE Computer Society (2018)
Spivey, J.M.: Z Notation - a Reference Manual. Prentice Hall International Series in Computer Science, 2nd edn. Prentice Hall, Englewood Cliffs (1992)
Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering (RE 1997), 5–8 January 1997. Annapolis, MD, USA, pp. 226–235. IEEE Computer Society (1997)
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1–30 (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aït-Ameur, Y., Laleau, R., Méry, D., Singh, N.K. (2021). Towards Leveraging Domain Knowledge in State-Based Formal Methods. In: Raschke, A., Riccobene, E., Schewe, KD. (eds) Logic, Computation and Rigorous Methods. Lecture Notes in Computer Science(), vol 12750. Springer, Cham. https://doi.org/10.1007/978-3-030-76020-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-76020-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-76019-9
Online ISBN: 978-3-030-76020-5
eBook Packages: Computer ScienceComputer Science (R0)