A logic-based formalization for component specification

@article{Bowles2002ALF,
  title={A logic-based formalization for component specification},
  author={Juliana K{\"u}ster Filipe Bowles},
  journal={Journal of Object Technology},
  year={2002},
  volume={1},
  pages={231-248}
}
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