ContractCML - A Contract Aware Component Modeling Language

Abstract

Providing software components with a four level contract specification - syntax, semantics, synchronization, quality of service - is important to their correct (re)use. The mandatory syntactic level is included by all current component models. Academic models also employ one of the others, but use different formalisms to represent it. Through this paper, we… (More)
DOI: 10.1109/SYNASC.2008.35

Topics

4 Figures and Tables

Cite this paper

@article{Petrascu2008ContractCMLA, title={ContractCML - A Contract Aware Component Modeling Language}, author={Vladiela Petrascu and Dan Ioan Chiorean and Dragos Petrascu}, journal={2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing}, year={2008}, pages={273-276} }