Skip to Main content Skip to Navigation
Journal articles

The Korrigan Environment

Abstract : This paper presents an environment to support the use of specification for mixed systems, i.e. systems with both dynamic (behaviour, communication, concurrency) and static (data type) aspects. We provide an open and extensible environment based on the KORRIGAN specification model. This model uses a hierarchy of view concepts to specify data types, behaviours and compositions in a uniform way. The key notion behind a view is the symbolic transition system. A good environment supporting such a model needs to interface with existing languages and tools. At the core of our environment is the CLIS library which is devoted to the representation of our view concepts and existing specification languages. Our environment is implemented using the object-oriented language PYTHON. It provides an integration process for new tools, a specification library, a parser library, LOTOS generation and object-oriented code generation for KORRIGAN specifications.
Document type :
Journal articles
Complete list of metadata
Contributor : Jean-Claude Royer <>
Submitted on : Tuesday, February 2, 2016 - 2:03:30 PM
Last modification on : Saturday, February 15, 2020 - 1:52:13 AM
Long-term archiving on: : Saturday, November 12, 2016 - 3:07:19 AM


Files produced by the author(s)




Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, Springer, 2001, 7 (1), pp.19-36. ⟨10.3217/jucs-007-01-0019⟩. ⟨hal-00444026⟩



Record views


Files downloads