Designing a domain-specific contract language: A metamodelling approach

Z E Chan; R F Paige

Designing a domain-specific contract language: A metamodelling approach

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS
Editors	A Hartman, D Kreische
Place of Publication	BERLIN
Publisher	Springer
Pages	175-189
Number of pages	15
ISBN (Print)	3-540-30026-0
Publication status	Published - 2005
Event	1st European Conference on Model Driven Architecture - Foundations and Applications - Nuremberg Duration: 7 Nov 2005 → 10 Nov 2005

Conference

Conference	1st European Conference on Model Driven Architecture - Foundations and Applications
City	Nuremberg
Period	7/11/05 → 10/11/05

Keywords

OCL EXTENSION

Cite this

@inproceedings{836416023a254816843dc9d8788d4683,

title = "Designing a domain-specific contract language: A metamodelling approach",

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.",

keywords = "OCL EXTENSION",

author = "Chan, {Z E} and Paige, {R F}",

year = "2005",

language = "English",

isbn = "3-540-30026-0",

pages = "175--189",

editor = "A Hartman and D Kreische",

booktitle = "MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS",

publisher = "Springer",

address = "Germany",

note = "1st European Conference on Model Driven Architecture - Foundations and Applications ; Conference date: 07-11-2005 Through 10-11-2005",

}

TY - GEN

T1 - Designing a domain-specific contract language: A metamodelling approach

AU - Chan, Z E

AU - Paige, R F

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

KW - OCL EXTENSION

M3 - Conference contribution

SN - 3-540-30026-0

SP - 175

EP - 189

BT - MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS

A2 - Hartman, A

A2 - Kreische, D

PB - Springer

CY - BERLIN

T2 - 1st European Conference on Model Driven Architecture - Foundations and Applications

Y2 - 7 November 2005 through 10 November 2005

ER -