Chapter

Object-Oriented Behavioral Specifications

Volume 371 of the series The Springer International Series in Engineering and Computer Science pp 221-240

Architectural Specifications: Modeling and Structuring Behavior Through Rules

  • Carlos ParedesAffiliated withDept. Informatics, Faculty of Sciences, University of Lisbon
  • , José Luiz FiadeiroAffiliated withDept. Informatics, Faculty of Sciences, University of Lisbon
  • , José Félix CostaAffiliated withDept. Informatics, Faculty of Sciences, University of Lisbon

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We propose an approach covering both the linguistic and engineering dimensions of the behavioral specification of reactive systems. On the language side, systems, their components and connectors, are described through CV-Nets. CV-Nets are a formal graph-oriented language which includes attributes, actions and behavioral rules based on deontic and temporal logic. It is shown how the model promotes concurrency, modularity, reusability, abstraction, and refinement of specifications. The engineering side is based on category theory as a support for (i) specialization and refinement of abstract specifications and frameworks (following a top-down tailoring approach), as well as for (ii) the modeling and composition of components and connectors (following a bottom-up construction approach).