Architectural Specifications: Modeling and Structuring Behavior Through Rules

  • Carlos Paredes
  • José Luiz Fiadeiro
  • José Félix Costa

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).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Carlos Paredes
    • 1
  • José Luiz Fiadeiro
    • 1
  • José Félix Costa
    • 1
  1. 1.Dept. InformaticsFaculty of Sciences, University of LisbonLisboaPortugal

Personalised recommendations