Sciweavers

Share
APSEC
2001
IEEE

Formal Specification of Mixed Components with Korrigan

10 years 6 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furthermore, in order to be able to design complex architectures and communication patterns, we need a structured approach which allows us to decompose a system into subparts and to recompose it from them. Finally, a notion of formal reusable component which is suitable to describe both functional and dynamic aspects is also required. This paper presents the Korrigan model. It allows one to specify in a uniform and structured way both datatypes and behaviours using Symbolic Transition Systems and algebraic specifications. We demonstrate its ability to describe reusable components in a formal way with well defined interfaces. We also demonstrate that Korrigan is relevant to describe the architecture and communication schemes of systems that may present a complex structure.
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APSEC
Authors Christine Choppy, Pascal Poizat, Jean-Claude Royer
Comments (0)
books