Designing a domain-specific contract language: a metamodelling approach

Authors:
Zhan En Chan;Richard F. Paige
Affiliations:
Department of Computer Science, University of Warwick, UK;Department of Computer Science, University of York, UK
Venue:
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Year:
2005

Citing 16
Cited 1

A Practical Approach to Programming With Assertions

IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
An axiomatic basis for computer programming

Communications of the ACM
Design by contract, by example

Design by contract, by example
Requirements Engineering: Processes and Techniques

Requirements Engineering: Processes and Techniques
Investigating the use of analysis contracts to support fault isolation in object oriented code

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Assertions to better specify the amazon bug

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Making Components Contract Aware

Computer
Aspect Composition Applying the Design by Contract Principle

GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
The Ponder Policy Specification Language

POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
An OCL Extension for Real-Time Constraints

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
End-user software engineering with assertions in the spreadsheet paradigm

Proceedings of the 25th International Conference on Software Engineering
Assertions in programming languages

ACM SIGPLAN Notices
Software Engineering (7th Edition)

Software Engineering (7th Edition)
Precise Service Level Agreements

Proceedings of the 26th International Conference on Software Engineering
A metamodel for OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Rigorous identification and encoding of trace-links in model-driven engineering

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Domain-specific languages are of increasing importance in software engineering. Little attention has been paid to the systematic production of domain-specific contract languages (DSCLs). In this paper, we present a metamodel-based approach for designing DSCLs. An extensible metamodel for software contracts is presented, and a process for building DSCLs is sketched. Finally, an example of building a DSCL is demonstrated, using the metamodel and process.