Specifying and Validating Reactive Systems with CommonKADS Methodology | SpringerLink
Skip to main content
Springer Nature Link
Log in

Specifying and Validating Reactive Systems with CommonKADS Methodology

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2773))

  • 956 Accesses

Abstract

We present an extension of the CommonKADS methodology that is relevant to the specification and validation of reactive system behavior. CommonKADS is considered as one of the best-known methodology for specifying and designing knowledge systems. It provides a language for describing the system behavior, which is suitable for transformational systems. We introduce the elements useful for event-driven behavior specification in this language. The later translation of these elements into statecharts formalism allows us to validate the reactive behavior of the system by simulation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Frydman, C., Torres L.: Vérification et Validation de Modèles CommonKADS, Revue d’Intelligence Artificielle (2000)

    Google Scholar 

  2. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. Schreiber, G., Akkerman, H., Anjerwierden, A., De Hoog, R., Shadbolt, N., Van De Velde, W., Wielinga, B.: Knowlegde Engineering and Management The Commonkads Methodology. MIT press, London (1999)

    Google Scholar 

  4. Torres, L., Frydman, C., Garrido de Ceita, A.: Adding Event-driven Control in CommonKADS Knowledge Model. In: KES-2001 5th International conference on knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, Osaka et Nara, Japan (September 2001)

    Google Scholar 

  5. Harel, D., Naamad, A.: The Statemate Semantics of Statecharts. The Weizmann institute of science rehobot, Israel (October 1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire des Sciences de l’Information et des Systèmes (LSIS), Campus Universitaire de St-Jérôme, Avenue Escadrille Normandie-Niemen, 13397, Marseille cedex 20, France

    Maamar El-Amine Hamri, Claudia Frydman & Lucile Torres

Authors
  1. Maamar El-Amine Hamri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudia Frydman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lucile Torres
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computing Laboratory, Oxford University, Parks Road, OXI 3QD, United Kingdom

    Vasile Palade

  2. Intelligent Systems and Signal Processing Labs, Moulsecoomb, University of Brighton, BN2 4GJ, Brighton, United Kingdom

    Robert J. Howlett

  3. Knowledge-Based Intelligent Engineering Systems Centre, Mawson Lakes, University of South Australia, 5095, Adelaide, SA, Australia

    Lakhmi Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hamri, M.EA., Frydman, C., Torres, L. (2003). Specifying and Validating Reactive Systems with CommonKADS Methodology. In: Palade, V., Howlett, R.J., Jain, L. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2003. Lecture Notes in Computer Science(), vol 2773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45224-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45224-9_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40803-1

  • Online ISBN: 978-3-540-45224-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics