ContractCML - A Contract Aware Component Modeling Language

Author

Petrascu, Vladiela ; Chiorean, Dan ; Petrascu, Dragos

Author_Institution

Comput. Sci. Dept., Babes-Bolyai Univ., Cluj-Napoca, Romania

fYear

2008

fDate

26-29 Sept. 2008

Firstpage

273

Lastpage

276

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 propose an integrated approach for handling component contracts. We focus on introducing ContractCML (Contract Component Modeling Language), a domain specific modeling language that ensures the basis of our proposal.

Keywords

formal specification; object-oriented programming; specification languages; ContractCML; academic model; component contracts; contract aware component modeling language; domain specific modeling language; four level contract specification; mandatory syntactic level; software components; Assembly; Computer science; Contracts; Model driven engineering; Packaging; Proposals; Quality of service; Scientific computing; Software algorithms; Software quality; Component Based Software Development; Design by Contract; Domain Specific Modeling Languages; Model Driven Engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on

Conference_Location

Timisoara

Print_ISBN

978-0-7695-3523-4

Type

conf

DOI

10.1109/SYNASC.2008.35

Filename

5204823