Stem ocl$ (all stems)

139 papers:

SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification

Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.

ICGT-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.

ECMFA-2015-KhanAIU #constraints #named #ocl

AspectOCL: Extending OCL for Crosscutting Constraints (MUK, NA, MZI, HU), pp. 92–107.

MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml

Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.

TAP-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.

TAP-2015-SoekenSD #invariant #ocl #specification

Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.

ICGT-2014-ArendtHRT #constraints #graph #invariant #ocl

From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.

AMT-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.

ECMFA-2014-DouBB #named #ocl

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.

ICMT-2014-HilkenHG #modelling #ocl #uml

Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.

MoDELS-2014-Bergmann #graph #ocl

Translating OCL to Graph Patterns (GB), pp. 670–686.

MoDELS-2014-Bergmann #graph #ocl

Translating OCL to Graph Patterns (GB), pp. 670–686.

SLE-J-2012-KansoT #ocl #specification

Specification of temporal properties with OCL (BK, ST), pp. 527–551.

SLE-2014-BillGKS #model checking #ocl #specification

Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.

ICTSS-2014-AliY #algorithm #constraints #normalisation #ocl

Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.

TAP-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.

DATE-2013-SeiterWSD #ocl #specification #uml #verification

Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.

ICEIS-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.

SEKE-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.

TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml

Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.

DATE-2012-SoekenWD #invariant #modelling #ocl #uml

Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.

DATE-2012-WilleSD #consistency #debugging #modelling #ocl #uml

Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.

SFM-2012-CabotG #constraints #ocl

Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.

ICEIS-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.

ICEIS-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.

ECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string

Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.

ECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine

OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.

ECMFA-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.

MoDELS-2012-HamannHG #behaviour #modelling #ocl #on the

On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

MoDELS-2012-HamannHG #behaviour #modelling #ocl #on the

On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

SAC-2012-ChanvilaiHNTO #approach #constraints #diagrams #ocl

Goal-oriented approach to creating class diagrams with OCL constraints (SC, KH, HN, YT, AO), pp. 1051–1056.

SAC-2012-CunhaFS #ocl #relational #uml

From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.

FSE-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.

SLE-2012-KansoT #constraints #ocl

Temporal Constraint Support for OCL (BK, ST), pp. 83–103.

TAP-2012-BruningGHK #debugging #modelling #ocl #uml

Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.

CSMR-2011-HassamSGF #adaptation #constraints #evolution #metamodelling #ocl

Assistance System for OCL Constraints Adaptation during Metamodel Evolution (KH, SS, VLG, RF), pp. 151–160.

SEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.

ECMFA-2011-BajwaL #constraints #ocl

Transformation Rules for Translating Business Rules to OCL Constraints (ISB, MGL), pp. 132–143.

MoDELS-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.

MoDELS-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.

TOOLS-EUROPE-2011-KuhlmannHG #modelling #ocl #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 #ocl

Cloning in DSLs: Experiments with OCL (RT, JC), pp. 60–76.

ICTSS-2011-CastillosDJT #modelling #ocl #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 #ocl #satisfiability #uml #verification

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.

ASE-2010-ShaikhCWM #modelling #ocl #slicing #uml

Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.

DATE-2010-SoekenWKGD #modelling #ocl #satisfiability #uml #using #verification

Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.

EDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification

OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.

SEKE-2010-AvilaSCY #comparison #constraints #ocl #runtime

Runtime Constraint Checking Approaches for OCL, A Critical Comparison (CA, AS, YC, CY), pp. 393–398.

SEKE-2010-ParkHLK #evaluation #ocl

OCL Evaluation on AUTOSAR Model (SP, TH, HL, GK), pp. 645–648.

ICMT-2010-CabotCGL #graph transformation #ocl #synthesis

Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.

MoDELS-v1-2010-WilkeTW #ocl #variability

Extending Variability for OCL Interpretation (CW, MT, CW), pp. 361–375.

ICSE-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.

TAP-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.

IFM-2009-CabotCR #contract #ocl #uml #verification

Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.

ECMDA-FA-2009-SodenE #ocl #revisited

Temporal Extensions of OCL Revisited (MS, HE), pp. 190–205.

MoDELS-2009-Chimiak-Opoka #constraints #ocl

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.

MoDELS-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.

MoDELS-2009-Chimiak-Opoka #constraints #ocl

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.

MoDELS-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.

TOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #ocl #semantics #specification

Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.

TAP-2009-GogollaKH #consistency #independence #modelling #ocl #uml

Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.

FASE-2008-BruckerW #higher-order #named #ocl #proving #uml

HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.

GT-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.

ICGT-2008-Dang #behaviour #graph grammar #ocl #validation

Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.

ICMT-2008-CabotCGL #graph transformation #ocl

Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.

MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.

MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.

SAC-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.

ICST-2008-WeisslederS #automation #ocl #quality #testing

Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.

ASE-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.

AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification

Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.

AGTIVE-2007-GogollaBD #graph transformation #ocl #using

From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.

MoDELS-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.

MoDELS-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.

SAC-MT-J-2006-CabotT07 #constraints #ocl

Transformation techniques for OCL constraints (JC, ET), pp. 179–195.

ESEC-FSE-2007-YuBP #analysis #automation #ocl

Automated size analysis for OCL (FY, TB, EP), pp. 331–340.

CAiSE-2006-AckermannT #behaviour #component #library #ocl #specification

A Library of OCL Specification Patterns for Behavioral Specification of Software Components (JA, KT), pp. 255–269.

CAiSE-2006-CabotT #constraints #evaluation #incremental #ocl

Incremental Evaluation of OCL Constraints (JC, ET), pp. 81–95.

SEKE-2006-PilskalnsA #design #ocl #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 #ocl #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 #ocl #specification #variability

Specification of Invariability in OCL (PK), pp. 676–691.

MoDELS-2006-MarkovicB #ocl #qvt #semantics

An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.

MoDELS-2006-PonsG #ocl #specification #verification

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.

MoDELS-2006-Kosiuczenko #ocl #specification #variability

Specification of Invariability in OCL (PK), pp. 676–691.

MoDELS-2006-MarkovicB #ocl #qvt #semantics

An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.

MoDELS-2006-PonsG #ocl #specification #verification

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.

GPCE-2006-CzarneckiP #constraints #ocl #verification

Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.

SAC-2006-CabotT #approach #constraints #ocl

Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.

SAC-2006-ReynosoGPM #comprehension #ocl #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 #ocl #uml

Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.

CAiSE-2005-CabotT #constraints #ocl

Computing the Relevant Instances That May Violate an OCL Constraint (JC, ET), pp. 48–62.

MoDELS-2005-GieseL #constraints #ocl

Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.

MoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml

Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.

MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl

Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.

MoDELS-2005-GieseL #constraints #ocl

Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.

MoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml

Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.

MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl

Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.

SEFM-2004-FlakeM #bound #ocl

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL (SF, WM), pp. 154–163.

UML-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.

UML-2004-CaronCMV #ocl #uml

An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.

UML-2004-CorreaW #modelling #ocl #refactoring #uml

Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.

UML-2004-Fernandez-MedinaP #database #development #ocl

Extending OCL for Secure Database Development (EFM, MP), pp. 380–394.

UML-2004-FlakeM #ocl #semantics

An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.

UML-2004-GaafarS #framework #ocl #towards #uml #xml #xquery

Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.

UML-2004-GoniE #concurrent #ocl #precise #uml #using

Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.

IWPC-2003-AntoniolPM #abstract syntax tree #ocl #using

YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs (GA, MDP, EM), pp. 13–22.

EDOC-2003-HearndenRS #named #ocl #query

MQL: a Powerful Extension to OCL for MOF Queries (DH, KR, JS), pp. 264–277.

UML-2003-Balsters #database #modelling #ocl #uml

Modelling Database Views with Derived Classes in the UML/OCL-Framework (HB), pp. 295–309.

UML-2003-GogollaBR #automation #generative #modelling #ocl #uml #validation

Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.

UML-2003-Nunes #contract #ocl

An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.

FASE-2002-BradfieldFS #calculus #ocl #using #μ-calculus

Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.

FME-2002-CengarleK #ocl #towards

Towards OCL/RT (MVC, AK), pp. 390–409.

UML-2002-BruckerW #case study #design #experience #higher-order #named #ocl

HOL-OCL: Experiences, Consequences and Design Choices (ADB, BW), pp. 196–211.

UML-2002-FelfernigFJZ #information management #ocl #representation #uml #using

Configuration Knowledge Representation Using UML/OCL (AF, GF, DJ, MZ), pp. 49–62.

UML-2002-FlakeM #constraints #ocl #realtime #uml

A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.

FASE-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.

UML-2001-AkehurstB #modelling #ocl #on the #query #uml

On Querying UML Data Models with OCL (DHA, BB), pp. 91–103.

UML-2001-BottoniKPT #ocl #using #visualisation

A Visualization of OCL Using Collaborations (PB, MK, FPP, GT), pp. 257–271.

UML-2001-CengarleK #ocl #semantics

A Formal Semantics for OCL 1.4 (MVC, AK), pp. 118–133.

UML-2001-DemuthHL #database #ocl #specification

OCL as a Specification Language for Business Rules in Database Applications (BD, HH, SL), pp. 104–117.

UML-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.

SAC-2001-HobatrM #c++ #debugging #design #ocl

The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.

ICSE-2001-HobatrM #c++ #debugging #using

Using OCL-Queries for Debugging C++ (CH, BAM), pp. 839–840.

UML-2000-BottoniKPT #consistency #constraints #ocl #visualisation

Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.

UML-2000-CasanovaWD #ocl #quality #uml

Ensuring Quality of Geographic Data with UML and OCL (MC, TW, MD), pp. 225–239.

UML-2000-HussmannDF #architecture #composition #ocl #tool support

Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.

UML-2000-KleppeW #ocl

Extending OCL to include Actions (AK, JW), pp. 440–450.

UML-2000-RichtersG #constraints #modelling #ocl #uml #validation

Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.

TOOLS-EUROPE-2000-KleppeW00a #constraints #ocl

An Introduction to the Object Constraint Language (OCL) (AK, JW), p. 456.

TOOLS-USA-2000-VaziriJ #constraints #ocl #uml

Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.

FM-v1-1999-MandelC #ocl #on the #power of

On the Expressive Power of OCL (LM, MVC), pp. 854–874.

UML-1999-CookKMWW #ocl

Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.

UML-1999-DemuthH #constraints #database #design #ocl #relational #uml #using

Using UML/OCL Constraints for Relational Database Design (BD, HH), pp. 598–613.

UML-1999-RichtersG #metamodelling #ocl

A Metamodel for OCL (MR, MG), pp. 156–171.

UML-1999-TortBHW #constraints #interface #ocl

Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.

TOOLS-EUROPE-1999-WarmerK #ocl

Introduction to OCL (JW, AK), p. 405.

TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml

Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.