Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink, editors, Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. Volume 1092 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]

Conference: MODELS2013

Abstract is missing.

Quality Assurance of Textual Models within Eclipse using OCL and Model TransformationsThorsten Arendt, Gabriele Taentzer, Alexander Weber. 1-12 [doi]

OCL meets CTL: Towards CTL-Extended OCL Model CheckingRobert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. 13-22 [doi]

On the Semantics of Object-Oriented Data Structures and Path ExpressionsAchim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff. 23-32 [doi]

OCL Pattern MatchingTony Clark. 33-42 [doi]

Extracting UML/OCL Integrity Constraints and Derived Types from Relational DatabasesValerio Cosentino, Salvador Martínez Perez. 43-52 [doi]

OCL2FOL+: Coping with UndefinednessCarolina Dania, Manuel Clavel. 53-62 [doi]

Experiences Developing a Requirements Language Based on the Psychological Framework Activity TheoryGeri Georg, Lucy Troup. 63-72 [doi]

Tool-Supported Step-By-Step Debugging for the Object Constraint LanguageLars Schütze, Claas Wilke, Birgit Demuth. 73-82 [doi]

Improving the Usability of OCL as an Ad-hoc Model Querying LanguageHarald Störrle. 83-92 [doi]

OCL as a Constraint Generation LanguageBastian Ulke, Friedrich Steimann. 93-102 [doi]

Report on the Aachen OCL MeetingAchim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff. 103-111 [doi]

runs on WebDSL