Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009

Jordi Cabot (1) , Joanna Chimiak-Opoka , Martin Gogolla (2, 3) , Frédéric Jouault (1) , Alexander Knapp

1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
2 TZi - Technologie-Zentrum Informatik und Informationstechnik
3 Computer science departement [Bremen]

In recent years, model-driven methodologies, approaches and languages (like QVT) emphasized the role that OCL has to play in all kinds of model-based software development. Now, OCL is being used for quite different purposes (eg, model verification and validation, code generation, test–driven development, transformations) and application domains (domain–specific languages, web semantics). Successfully adapting OCL to all these different scenarios requires strong research on alternative notations/representations for OCL that simplify its ...

Domaines: Génie logiciel [cs.SE]

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp. Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. 2009, pp.2. ⟨hal-01180012⟩