The Computer Journal
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Using JULE to generate a compliance test suite for the UML standard
Proceedings of the 30th international conference on Software engineering
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Towards detailed software artifact specification with SPEMArti
Proceedings of the 2011 International Conference on Software and Systems Process
Hi-index | 0.00 |
In a model-driven development, software engineers will have to manage multiple artifacts expressed in several languages. Current meta-modelling and concrete syntax standards fail to adequately preserve a link between artifacts and the languages in which they are expressed, potentially leading to inconsistencies and misunderstandings both in the production and reuse of artifacts. Standards such as XMI and JMI permit the meta-model of an artifact to be accessed. However, such meta-models primarily define the syntax of a language. A full semantic definition requires a supporting document, the language specification, which is typically not explicitly referenced. In this paper we argue that the role of meta-models and specifications should be combined to eliminate this ambiguity. We describe the possible impact on OMG standards and standardisation processes that this would have. We present an open-source project that implements this philosophy, and a case-study in which a domain-specific language is used to express service-level agreements, the legalistic nature of which imposes strong requirements for semantic accessibility.