The Provision of Contracts to Enforce System Semantics Throughout Software Development

C. Constantinides (Canada) and T. Skotiniotis (USA)


Crosscutting concerns, aspect-oriented softwaredevelopment, design by contract.


In this paper we discuss the provision of contracts throughout object-oriented software development in order to enforce system semantics and provide the means to achieve verification of requirements in aspect-oriented software development. The motivation behind this work is to provide mechanisms whereby developers can (a) attach formal or semi-formal contractual obligations in the form of assertions (including invariant clauses) to analysis and design artifacts in order to enforce semantics and (b) trace the implementation model to the design model in accordance with the semantics provided by contract definitions in order to provide verification of requirements.

Important Links:

Go Back