BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
uml (53)
model (37)
constraint (34)
use (18)
specif (15)

Stem ocl$ (all stems)

139 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.