A logic-based formalization for component specification

  title={A logic-based formalization for component specification},
  author={Juliana K{\"u}ster Filipe Bowles},
  journal={Journal of Object Technology},
We consider a component-based approach to modelling complex systems using UML. We describe how component concepts at a specification level (interfaces, components, architectures) can be formalized in a uniform way using a distributed logical framework. In the logic Mdtl, each component has associated to it a local logic consisting of a home logic and a communication logic. Component contracts are captured by formulae in Mdtl. In particular, a clear distinction between usage and realization… CONTINUE READING