![]() |
||
OCL 2009 Workshop -
The Pragmatics of OCL
and other textual specification languages
|
||
OCL 2009 Workshop Web Page - Welcome!OCL 2009 Workshop - The Pragmatics of OCL and other textual specification languagesPart of the MoDELS'09 conferenceIn recent years, MDA and associated MDE methodologies, approaches and languages (like QVT) emphasized the role that OCL has to play in MDE development. Moreover, the modeling community is continuously pushing forward the OCL, far beyond its initial requirements as a precise modeling language complementing UML specifications. Now, OCL is used in quite different applications domains (e.g., domain-specific languages, web semantics) and for various purposes (e.g., model verification and validation, code generation, test-driven development, transformations). This workshop will focus on the challenges of using OCL on these new domains and how the language needs to evolve to be successfully applied on them. In particular, we are interested in discussing
What's New?
June 26 Two best papers will appear in a LNCS Workshop Proc. (planned)
June 20 Submission site is up
May 20 Workshop web page is up
subscribe news |
||
Last updated: Oct 20, 2009 |