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

Citations

Publications citing this paper.
Showing 1-7 of 7 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 16 references

UML Components

J. Cheesman, J. Daniels
Component Software Series. Addison-Wesley • 2001
View 10 Excerpts
Highly Influenced

Gogolla . OCL : Syntax , semantics and tools

M.
2001

OCL: Syntax

M. Richters, M. Gogolla
semantics and tools. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, LNCS, pages 38–63. Springer • 2001
View 1 Excerpt

Similar Papers

Loading similar papers…