BibSLEIGH — ocl tag

OCL

OCL

Tag #ocl

158 papers:

ECMFA-2018-BertoaMBBTV #data type #metric #nondeterminism #uml: Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.
ECMFA-2018-Cuadrado #optimisation: Optimising OCL Synthesized Code (JSC), pp. 28–45.
ICSE-2018-LuWY0N #automation #constraints #refactoring: Automated refactoring of OCL constraints with search (HL0, SW0, TY0, SA0, JFN), p. 1243.
ICTSS-2018-DesaiG #behaviour #constraints #generative #testing: Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (ND0, MG), pp. 62–68.
MSR-2017-NotenMS #git #set: A data set of OCL expressions on GitHub (JN, JM, AS), pp. 531–534.
MoDELS-2017-BatotKSF #heuristic #metamodelling #recommendation: Heuristic-Based Recommendation for Metamodel — OCL Coevolution (EB, WK, HAS, MF), pp. 210–220.
MoDELS-2017-EgeaD #automation #code generation #named #sql: SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.
MoDELS-2017-UlkeSL #partial evaluation: Partial Evaluation of OCL Expressions (BU, FS, RL), pp. 63–73.
SLE-2017-Boronat #constraints #type system: Structural model subtyping with OCL constraints (AB), pp. 194–205.
TAP-2017-GogollaHDD #behaviour #uml: Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms (MG, FH, KHD, ND0), pp. 119–128.
ECMFA-2016-TisiJSD #integration: Enabling OCL and fUML Integration by Transformation (MT, FJ, ZS, JD), pp. 156–172.
MoDELS-2016-DaniaC #constraints #first-order #logic #named #satisfiability: OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints (CD, MC), pp. 65–75.
MoDELS-2016-PrzigodaWD #performance #smt: Ground setting properties for an efficient translation of OCL in SMT-based model finding (NP, RW, RD), pp. 261–271.
SEFM-2015-ClarisoGC #bound #refinement #towards #uml #verification: Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
ICGT-2015-RadkeABHT #constraints #graph #invariant #set: Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.
ECMFA-2015-KhanAIU #constraints #named: AspectOCL: Extending OCL for Crosscutting Constraints (MUK, NA, MZI, HU), pp. 92–107.
ICMT-2015-HilkenNGW #concept #modelling #uml #validation #verification: From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (FH, PN, MG, RW), pp. 149–165.
ICMT-2015-JouaultBBCS #functional #model transformation #towards: Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #uml: Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
TAP-2015-GogollaHHS #case study #consistency #experience #uml: Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.
TAP-2015-SoekenSD #invariant #specification: Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.
ICGT-2014-ArendtHRT #constraints #graph #invariant: From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.
AMT-2014-GogollaHH #dynamic analysis #modelling #on the #uml: On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
ECMFA-2014-DouBB #named: OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
ICMT-2014-HilkenHG #modelling #uml: Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
MoDELS-2014-Bergmann #graph: Translating OCL to Graph Patterns (GB), pp. 670–686.
ECOOP-2014-FelgentreffBHLOFK #constraints #implementation #named: Babelsberg/JS — A Browser-Based Implementation of an Object Constraint Language (TF, AB, RH, JL, YO, BF, RK), pp. 411–436.
SLE-J-2012-KansoT #specification: Specification of temporal properties with OCL (BK, ST), pp. 527–551.
SLE-2014-BillGKS #model checking #specification: Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
ICTSS-2014-AliY #algorithm #constraints #normalisation: Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
TAP-2014-HilkenNGW #behaviour #comparison #modelling #uml #verification: Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.
ICEIS-v2-2013-RibeiroSFO #concept #constraints #validation: Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model (AAdAR, SMS, JLF, ILO), pp. 286–293.
SEKE-2013-ElshaarawyHT #diagrams #framework #towards: Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (ME, HSH, IAHT), pp. 479–482.
ECMFA-2013-Gogolla #constraints #modelling: Employing the Object Constraint Language in Model-Based Engineering (MG), pp. 1–2.
DATE-2013-SeiterWSD #specification #uml #verification: Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.
TAP-2013-GogollaBC #analysis #benchmark #metric #tool support #uml: Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
SFM-2012-CabotG #constraints: Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.
ICEIS-v1-2012-BoulilBP #approach #quality #uml: A UML & Spatial OCL based Approach for Handling Quality Issues in SOLAP Systems (KB, SB, FP), pp. 99–104.
ICEIS-v2-2012-HanadaOKM #java #ml #uml: Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
ECMFA-2012-ButtnerC #lightweight #reasoning #string: Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
ECMFA-2012-HamannHG #monitoring #protocol #runtime #state machine: OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
ECMFA-2012-KuhlmannG #modelling #representation #satisfiability #uml #validation: Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.
MoDELS-2012-HamannHG #behaviour #modelling #on the: On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
MoDELS-2012-KuhlmannG #logic #relational #uml: From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
FSE-2012-ShaikhW #diagrams #performance #slicing #uml #verification: UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
SAC-2012-ChanvilaiHNTO #approach #constraints #diagrams: Goal-oriented approach to creating class diagrams with OCL constraints (SC, KH, HN, YT, AO), pp. 1051–1056.
SAC-2012-CunhaFS #relational #uml: From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.
SLE-2012-KansoT #constraints: Temporal Constraint Support for OCL (BK, ST), pp. 83–103.
DATE-2012-SoekenWD #invariant #modelling #uml: Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.
DATE-2012-WilleSD #consistency #debugging #modelling #uml: Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.
TAP-2012-BruningGHK #debugging #modelling #uml: Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.
CSMR-2011-HassamSGF #adaptation #constraints #evolution #metamodelling: Assistance System for OCL Constraints Adaptation during Metamodel Evolution (KH, SS, VLG, RF), pp. 151–160.
SEFM-2011-GarisCR #alloy #diagrams #specification #uml: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
ECMFA-2011-BajwaL #constraints: Transformation Rules for Translating Business Rules to OCL Constraints (ISB, MGL), pp. 132–143.
MoDELS-2011-Chimiak-Opoka #framework #metric #modelling #uml #using: Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.
TOOLS-EUROPE-2011-KuhlmannHG #modelling #satisfiability #validation: Extensive Validation of OCL Models by Integrating SAT Solving into USE (MK, LH, MG), pp. 290–306.
SLE-2011-TairasC #domain-specific language: Cloning in DSLs: Experiments with OCL (RT, JC), pp. 60–76.
ICTSS-2011-CastillosDJT #modelling #testing #uml: Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.
TAP-2011-SoekenWD #data type #encoding #modelling #satisfiability #uml #verification: Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.
EDOC-2010-BajwaBL #constraints #generative #natural language #specification: OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
SEKE-2010-AvilaSCY #comparison #constraints #runtime: Runtime Constraint Checking Approaches for OCL, A Critical Comparison (CA, AS, YC, CY), pp. 393–398.
SEKE-2010-ParkHLK #evaluation: OCL Evaluation on AUTOSAR Model (SP, TH, HL, GK), pp. 645–648.
ICMT-2010-CabotCGL #graph transformation #synthesis: Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
MoDELS-v1-2010-WilkeTW #variability: Extending Variability for OCL Interpretation (CW, MT, CW), pp. 361–375.
ASE-2010-ShaikhCWM #modelling #slicing #uml: Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.
ICSE-2010-Marinho #consistency #modelling #product line #using: A proposal for consistency checking in dynamic software product line models using OCL (FGM), pp. 333–334.
DATE-2010-SoekenWKGD #modelling #satisfiability #uml #using #verification: Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.
TAP-2010-GogollaHK #automation #independence #invariant #proving #testing #visualisation: Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
IFM-2009-CabotCR #contract #uml #verification: Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
ECMDA-FA-2009-SodenE #revisited: Temporal Extensions of OCL Revisited (MS, HE), pp. 190–205.
MoDELS-2009-Chimiak-Opoka #constraints: OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-MoiseevHS #approach #generative #implementation: Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MoDELS-2009-Chimiak-Opoka #constraints: OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-MoiseevHS #approach #generative #implementation: Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
TOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #semantics #specification: Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.
TAP-2009-GogollaKH #consistency #independence #modelling #uml: Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.
GT-VMT-2006-WinkelmannTEK08 #constraints #generative #graph grammar #metamodelling #strict: Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (JW, GT, KE, JMK), pp. 159–170.
ICGT-2008-Dang #behaviour #graph grammar #validation: Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.
ICMT-2008-CabotCGL #graph transformation: Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
MoDELS-2008-GogollaKB #benchmark #metric #performance: A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
MoDELS-2008-GogollaKB #benchmark #metric #performance: A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
SAC-2008-ReynosoCGP #diagrams #metric #statechart #uml #using: Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
FASE-2008-BruckerW #higher-order #named #proving #uml: HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.
ICST-2008-WeisslederS #automation #quality #testing: Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.
AGTIVE-2007-BauerDTW #analysis #constraints #synthesis #verification: Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.
AGTIVE-2007-GogollaBD #graph transformation #using: From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.
MoDELS-2007-CorreaWB #empirical #refactoring #smell #specification: An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications (ALC, CW, MdOB), pp. 76–90.
MoDELS-2007-CorreaWB #empirical #refactoring #smell #specification: An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications (ALC, CW, MdOB), pp. 76–90.
SAC-MT-J-2006-CabotT07 #constraints: Transformation techniques for OCL constraints (JC, ET), pp. 179–195.
ASE-2007-CabotCR #constraints #modelling #named #programming #uml #using #verification: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
ESEC-FSE-2007-YuBP #analysis #automation: Automated size analysis for OCL (FY, TB, EP), pp. 331–340.
CAiSE-2006-AckermannT #behaviour #component #library #specification: A Library of OCL Specification Patterns for Behavioral Specification of Software Components (JA, KT), pp. 255–269.
CAiSE-2006-CabotT #constraints #evaluation #incremental: Incremental Evaluation of OCL Constraints (JC, ET), pp. 81–95.
SEKE-2006-PilskalnsA #design #security #testing #uml #using: Using UML Designs to Generate OCL for Security Testing (OP, AAA), pp. 505–510.
ECMDA-FA-2006-BoronatOGRC #algebra #eclipse #framework #modelling #query #specification: An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework (AB, JO, AG, IR, JÁC), pp. 316–330.
MoDELS-2006-Kosiuczenko #specification #variability: Specification of Invariability in OCL (PK), pp. 676–691.
MoDELS-2006-MarkovicB #qvt #semantics: An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
MoDELS-2006-PonsG #specification #verification: An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
MoDELS-2006-Kosiuczenko #specification #variability: Specification of Invariability in OCL (PK), pp. 676–691.
MoDELS-2006-MarkovicB #qvt #semantics: An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
MoDELS-2006-PonsG #specification #verification: An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
SAC-2006-CabotT #approach #constraints: Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.
SAC-2006-ReynosoGPM #comprehension #question: Does object coupling really affect the understanding and modifying of OCL expressions? (LR, MG, MP, MEM), pp. 1721–1727.
ATEM-2006-Garcia #formal method #uml: Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.
GPCE-2006-CzarneckiP #constraints #verification: Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.
CAiSE-2005-CabotT #constraints: Computing the Relevant Instances That May Violate an OCL Constraint (JC, ET), pp. 48–62.
MoDELS-2005-GieseL #constraints: Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
MoDELS-2005-MarkovicB #diagrams #refactoring #uml: Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
MoDELS-2005-GieseL #constraints: Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
MoDELS-2005-MarkovicB #diagrams #refactoring #uml: Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
ICSM-2004-BriandLYP #constraints #development #empirical #uml: A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development (LCB, YL, HDY, MDP), pp. 380–389.
SEFM-2004-FlakeM #bound: Past- and Future-Oriented Time-Bounded Temporal Properties with OCL (SF, WM), pp. 154–163.
SEKE-2004-Flake #concept #constraints: Enhancing the Message Concept of the Object Constraint Language (SF), pp. 161–166.
UML-2004-BauerdickGG #case study #detection #experience #uml: Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (HB, MG, FG), pp. 188–196.
UML-2004-CaronCMV #uml: An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.
UML-2004-CorreaW #modelling #refactoring #uml: Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.
UML-2004-Fernandez-MedinaP #database #development: Extending OCL for Secure Database Development (EFM, MP), pp. 380–394.
UML-2004-FlakeM #semantics: An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.
UML-2004-GaafarS #framework #towards #uml #xml #xquery: Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.
UML-2004-GoniE #concurrent #precise #uml #using: Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
SAC-2004-Hamie #constraints #java #modelling: Translating the Object Constraint Language into the Java Modelling Language (AH), pp. 1531–1535.
IWPC-2003-AntoniolPM #abstract syntax tree #using: YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs (GA, MDP, EM), pp. 13–22.
EDOC-2003-HearndenRS #named #query: MQL: a Powerful Extension to OCL for MOF Queries (DH, KR, JS), pp. 264–277.
SEKE-2003-FlakeM #constraints #semantics: Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.
UML-2003-Balsters #database #modelling #uml: Modelling Database Views with Derived Classes in the UML/OCL-Framework (HB), pp. 295–309.
UML-2003-GogollaBR #automation #generative #modelling #uml #validation: Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.
UML-2003-Nunes #contract: An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.
FME-2002-CengarleK #towards: Towards OCL/RT (MVC, AK), pp. 390–409.
UML-2002-BruckerW #case study #design #experience #higher-order #named: HOL-OCL: Experiences, Consequences and Design Choices (ADB, BW), pp. 196–211.
UML-2002-FelfernigFJZ #information management #representation #uml #using: Configuration Knowledge Representation Using UML/OCL (AF, GF, DJ, MZ), pp. 49–62.
UML-2002-FlakeM #constraints #realtime #uml: A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.
FASE-2002-BradfieldFS #calculus #using #μ-calculus: Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.
UML-2001-AkehurstB #modelling #on the #query #uml: On Querying UML Data Models with OCL (DHA, BB), pp. 91–103.
UML-2001-BottoniKPT #using #visualisation: A Visualization of OCL Using Collaborations (PB, MK, FPP, GT), pp. 257–271.
UML-2001-CengarleK #semantics: A Formal Semantics for OCL 1.4 (MVC, AK), pp. 118–133.
UML-2001-DemuthHL #database #specification: OCL as a Specification Language for Business Rules in Database Applications (BD, HH, SL), pp. 104–117.
UML-2001-SendallS #behaviour #concurrent #constraints #specification #uml #using: Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (SS, AS), pp. 391–405.
SAC-2001-HobatrM #c++ #debugging #design: The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.
FASE-2001-ReusWH #calculus #design #hoare #java #modelling #verification: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.
UML-2000-BottoniKPT #consistency #constraints #visualisation: Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.
UML-2000-CasanovaWD #quality #uml: Ensuring Quality of Geographic Data with UML and OCL (MC, TW, MD), pp. 225–239.
UML-2000-HussmannDF #architecture #composition #tool support: Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.
UML-2000-KleppeW: Extending OCL to include Actions (AK, JW), pp. 440–450.
UML-2000-RichtersG #constraints #modelling #uml #validation: Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.
TOOLS-EUROPE-2000-KleppeW00a #constraints: An Introduction to the Object Constraint Language (OCL) (AK, JW), p. 456.
TOOLS-USA-2000-VaziriJ #constraints #uml: Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.
FM-v1-1999-MandelC #on the #power of: On the Expressive Power of OCL (LM, MVC), pp. 854–874.
UML-1999-CookKMWW: Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.
UML-1999-DemuthH #constraints #database #design #relational #uml #using: Using UML/OCL Constraints for Relational Database Design (BD, HH), pp. 598–613.
UML-1999-RichtersG #metamodelling: A Metamodel for OCL (MR, MG), pp. 156–171.
UML-1999-TortBHW #constraints #interface: Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
TOOLS-EUROPE-1999-WarmerK: Introduction to OCL (JW, AK), p. 405.
TOOLS-USA-1999-ColletR #constraints #performance #towards: Towards Efficient Support for Executing the Object Constraint Language (PC, RR), p. 399–?.
UML-1998-HamieCHKM #constraints: Reflections on the Object Constraint Language (AH, FC, JH, SK, RM), pp. 162–172.
UML-1998-KleppeWC #constraints #metamodelling #uml: Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel (AK, JW, SC), pp. 148–161.
TOOLS-USA-1998-Mitchell #analysis #constraints #contract #uml: Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.