Skene, J;
Emmerich, W;
(2004)
Generating a contract checker for an SLA language.
In:
Proceedings of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California.
IEEE Computer Society Press
![]() Preview |
PDF
9.9.1coala.pdf Download (159kB) |
Abstract
SLAng is a language for expressing Service LevelAgreements (SLAs) under development as part of the Europeanproject TAPAS. It is defined using a meta-model, an instance ofthe Meta-Object Facility (MOF) model, in which the relationshipbetween the syntax of the language and its domain of applicationis explicitly represented, and the violation semantics ofthe language defined using Object Constraint Language (OCL)constraints. The concrete syntax of the language is the XMLMeta-data Interchange (XMI) mapping of the syntactic part ofthe meta-model. In this paper we describe how the Java MetadataInterface (JMI) mapping can be applied to the meta-modelof the language to generate interfaces and classes to create andquery SLAs and relevant service monitoring data in memory;and how an OCL interpreter can be applied to check violationconstraints over this data, resulting in the implementation of acontract checker that is highly likely to respect the semantics ofthe language.
Type: | Book chapter |
---|---|
Title: | Generating a contract checker for an SLA language |
Open access status: | An open access version is available from UCL Discovery |
Additional information: | Imported via OAI, 7:29:01 5th Jul 2005 |
UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/712 |
Archive Staff Only
![]() |
View Item |