Jordi Cabot - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged OCL

Extensive Validation of OCL Models by Integrating SAT Solving into USEMirco Kuhlmann, Lars Hamann, Martin Gogolla. TOOLS 2011: 290-306 [doi]

Tenth International Workshop on OCL and Textual ModellingJordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla. MoDELS 2011: 329-333 [doi]

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla. eceasst, 36, 2010. [doi]

Specifying Aggregation Functions in Multidimensional Models with OCLJordi Cabot, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo. er 2010: 419-432 [doi]

From UML/OCL to SBVR specifications: A challenging transformationJordi Cabot, Raquel Pau, Ruth Raventós. is, 35(4):417-440, 2010. [doi]

Synthesis of OCL Pre-conditions for Graph Transformation RulesJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. ICMT 2010: 45-60 [doi]

A UML/OCL framework for the analysis of graph transformation rulesJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. SoSyM, 9(3):335-357, 2010. [doi]

Extending Variability for OCL InterpretationClaas Wilke, Michael Thiele, Christian Wende. MoDELS 2010: 361-375 [doi]

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification LanguagesJordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp. MoDELS 2010: 256-260 [doi]

Verifying UML/OCL Operation ContractsJordi Cabot, Robert Clarisó, Daniel Riera. IFM 2009: 40-55 [doi]

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

Incremental integrity checking of UML/OCL conceptual schemasJordi Cabot, Ernest Teniente. jss, 82(9):1459-1478, 2009. [doi]

Eighth International Workshop on OCL Concepts and ToolsJordi Cabot, Martin Gogolla, Pieter Van Gorp. In Models in Software Engineering. 2009.

Temporal Extensions of OCL RevisitedMichael Soden, Hajo Eichler. ECMDA-FA 2009: 190-205 [doi]

Modélisation de contraintes d intégrité spatiales avec OCLFrancois Pinet, Magali Duboisset, Michel Schneider. rig, 19(1):93-122, 2009. [doi]

On Better Understanding OCL Collections ::::or:::: An OCL Ordered Set Is Not an OCL SetFabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow. MoDELS 2010: 276-290 [doi]

Paraphrasing OCL Expressions with SBVRRaquel Pau, Jordi Cabot. nldb 2008: 311-316 [doi]

Eighth International Workshop on OCL Concepts and ToolsJordi Cabot, Martin Gogolla, Pieter Van Gorp. MoDELS 2009: 257-262 [doi]

Preface to the Proceedings of the 2008 OCL WorkshopJordi Cabot, Martin Gogolla, Pieter Van Gorp. eceasst, 15, 2008. [doi]

Analysing Graph Transformation Rules through OCLJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. ICMT 2008: 229-244 [doi]

Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics SupportMatthias Bräuer, Birgit Demuth. eceasst, 9, 2008. [doi]

Applying OCL to the development of SWSDiana M. Sánchez Fuquene, César J. Acuña, José María Cavero Barca, Esperanza Marcos Martínez. ijcat, 33(4):337-346, 2008. [doi]

Extended OCL for Goal MonitoringWilliam N. Robinson. eceasst, 9, 2008. [doi]

How My Favorite Tool Supporting OCL Must Look LikeDan Ioan Chiorean, Vladiela Petrascu, Dragos Petrascu. eceasst, 15, 2008. [doi]

Specifying Executable Platform-Independent Models using OCLPierre Kelsen, Elke Pulvermueller, Christian Glodt. eceasst, 9, 2008. [doi]

ECEASST Building an Efficient Component for OCL EvaluationManuel Clavel, Marina Egea, Garcia de Dios Miguel Angel. eceasst, 15, 2008. [doi]

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex PurseEmine G. Aydal, Richard F. Paige, Jim Woodcock. eceasst, 9, 2008. [doi]

A Benchmark for OCL Engine Accuracy, Determinateness, and EfficiencyMartin Gogolla, Mirco Kuhlmann, Fabian Büttner. MoDELS 2008: 446-459 [doi]

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational RelationshipsMirco Kuhlmann, Martin Gogolla. eceasst, 9, 2008. [doi]

From Declarative to Imperative UML/OCL Operation SpecificationsJordi Cabot. er 2007: 198-213 [doi]

Transformation techniques for OCL constraintsJordi Cabot, Ernest Teniente. SCP, 68(3):179-195, 2007. [doi]

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programmingJordi Cabot, Robert Clarisó, Daniel Riera. ASE 2007: 547-548 [doi]

Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics SupportMatthias Bräuer, Birgit Demuth. MoDELS 2007: 182-193 [doi]

Tool-Supported Method for the Extraction of OCL from ORM ModelsSergejus Sosunovas, Olegas Vasilecas. bis 2007: 449-463 [doi]

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex PurseEmine G. Aydal, Richard F. Paige, Jim Woodcock. MoDELS 2007: 194-205 [doi]

Incremental Evaluation of OCL ConstraintsJordi Cabot, Ernest Teniente. caise 2006: 81-95 [doi]

Transforming OCL constraints: a context change approachJordi Cabot, Ernest Teniente. SAC 2006: 1196-1201 [doi]

Specification of Invariability in OCLPiotr Kosiuczenko. MoDELS 2006: 676-691 [doi]

Use of OCL in a Model Assessment Framework: An experience reportJoanna Dobroslawa Chimiak-Opoka, Chris Lenz. eceasst, 5, 2006. [doi]

On a time enriched OCL liveness templateJuliana Küster Filipe, Stuart Anderson. STTT, 8(2):156-166, 2006. [doi]

Computing the Relevant Instances That May Violate an OCL ConstraintJordi Cabot, Ernest Teniente. caise 2005: 48-62 [doi]

Theoretical study for the reaction of CH::3::OCl with Cl atomHong-Qing He, Jing-Yao Liu, Ze-Sheng Li, Chia-Chung Sun. jcc, 26(6):642-650, 2005. [doi]

Past- and Future-Oriented Time-Bounded Temporal Properties with OCLStephan Flake, Wolfgang Müller 0003. SEFM 2004: 154-163 [doi]

OCL 2.0 - Implementing the Standard for Multiple MetamodelsDavid H. Akehurst, Octavian Patrascoiu. ENTCS, 102:21-41, 2004. [doi]

Expressing Property Specification Patterns with OCLStephan Flake, Wolfgang Müller 0003. serp 2003: 595-603

OCL Goes Real-Time (position paper)Franz J. Rammig. isorc 2002: 423-424 [doi]

Towards OCL/RTMaría Victoria Cengarle, Alexander Knapp. FM 2002: 390-409 [doi]

Specifying Component Invariants with OCLRolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing. gi 2001: 600-607

Introduction to OCLJos Warmer, Anneke Kleppe. TOOLS 1999: 405 [doi]

On the Expressive Power of OCLLuis Mandel, María Victoria Cengarle. FM 1999: 854-874 [doi]

runs on WebDSL