On the public citation graph
Some Shortcomings of OCL, the Object Constraint Language of UML
0 signed · 53 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1109/ase.2000.873646openalex-snapshot
Exploring the design of an intentional naming scheme with an automatic constraint analyzer
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.327openalex-snapshot
Exploiting design patterns to automate validation of class invariants
inferred← citeshttps://doi.org/10.1007/11787044_11openalex-snapshot
The Epsilon Object Language (EOL)
inferred← citeshttps://doi.org/10.1007/3-540-45314-8_2openalex-snapshot
Metamodelling and Conformance Checking with PVS
inferred← citeshttps://doi.org/10.1007/978-3-319-97879-6_15openalex-snapshot
A Reasoning System for Satisfiability of Diagrammatic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-69389-5_36openalex-snapshot
OCL as the Query Language for UML Model Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-02408-5_11openalex-snapshot
Automatic Model Generation Strategies for Model Transformation Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-02408-5_16openalex-snapshot
Experiments with a High-Level Navigation Language
inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_16openalex-snapshot
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
inferred← citeshttps://doi.org/10.1007/s10270-006-0038-4openalex-snapshot
Domain analysis of dynamic system reconfiguration
inferred← citeshttps://doi.org/10.1007/s10270-008-0110-3openalex-snapshot
On challenges of model transformation from UML to Alloy
inferred← citeshttps://doi.org/10.1007/s10270-013-0353-5openalex-snapshot
Translating between Alloy specifications and UML class diagrams annotated with OCL
inferred← citeshttps://doi.org/10.1007/s10270-025-01286-1openalex-snapshot
Meet OCL$${^\sharp }$$, a relational object constraint language
inferred← citeshttps://doi.org/10.1007/s11334-009-0098-zopenalex-snapshot
Use of a lightweight formal method to model the static aspects of state machines
inferred← citeshttps://doi.org/10.1007/s11334-011-0165-0openalex-snapshot
A generic framework: from modeling to code
inferred← citeshttps://doi.org/10.1016/j.cl.2015.02.002openalex-snapshot
An analysis of metamodeling practices for MOF and OCL
inferred← citeshttps://doi.org/10.1016/j.datak.2008.05.006openalex-snapshot
Enriching the class diagram concepts to capture natural language semantics for database access
inferred← citeshttps://doi.org/10.1016/j.future.2016.07.006openalex-snapshot
An approach based on runtime models for developing dynamically adaptive systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.004openalex-snapshot
An aspect-oriented methodology for designing secure applications
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.06.010openalex-snapshot
Object constraint language for code generation from activity models
inferred← citeshttps://doi.org/10.1109/apcase.2014.6924482openalex-snapshot
Realistic validation of specification for modeling language using Alloy
inferred← citeshttps://doi.org/10.1109/ares.2011.112openalex-snapshot
Evaluating RBAC Supported Techniques and their Validation and Verification
inferred← citeshttps://doi.org/10.1109/re.2007.18openalex-snapshot
Consistency Checking of Conceptual Models via Model Merging
inferred← citeshttps://doi.org/10.1109/tencon.2005.300999openalex-snapshot
Automated Translation of behavioral models using OCL and XML
inferred← citeshttps://doi.org/10.1109/tla.2010.5538400openalex-snapshot
A Formal Model for the Requirements Diagrams of SysML
inferred← citeshttps://doi.org/10.1109/tse.2010.36openalex-snapshot
Verification and Trade-Off Analysis of Security Properties in UML System Models
inferred← citeshttps://doi.org/10.1109/tse.2010.56openalex-snapshot
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability
inferred← citeshttps://doi.org/10.1145/1774088.1774560openalex-snapshot
Modeling and analyzing architectural change with alloy
inferred← citeshttps://doi.org/10.1145/2814204.2814225openalex-snapshot
Model querying with query models
inferred← citeshttps://doi.org/10.1145/2936314.2814225openalex-snapshot
Model querying with query models
inferred← citeshttps://doi.org/10.1145/3236024.3264588openalex-snapshot
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
inferred← citeshttps://doi.org/10.1145/3344948.3344983openalex-snapshot
Source-code divergence diagnosis using constraints and cryptography
inferred← citeshttps://doi.org/10.1145/3358501.3361240openalex-snapshot
A constraint modeling framework for domain-specific languages
inferred← citeshttps://doi.org/10.1145/355045.355063openalex-snapshot
Automating first-order relational logic
inferred← citeshttps://doi.org/10.1145/581339.581405openalex-snapshot
Distributed component technologies and their software engineering implications
inferred← citeshttps://doi.org/10.12785/ijcds/1001103openalex-snapshot
Towards An Extension Of RBAC Model
inferred← citeshttps://doi.org/10.14264/157991openalex-snapshot
Formal concept analysis applications to requirements engineering and design
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.34.592openalex-snapshot
Teaching OCL Standard Library: First Part of an OCL 2.x Course
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.5.46openalex-snapshot
Semantic Issues of OCL: Past, Present, and Future
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.9.105openalex-snapshot
Extended OCL for Goal Monitoring
inferred← citeshttps://doi.org/10.1504/ijmso.2009.029231openalex-snapshot
Representing metadata constraints in Common Logic
inferred← citeshttps://doi.org/10.15368/theses.2009.44openalex-snapshot
Incremental Validation of Formal Specifications
inferred← citeshttps://doi.org/10.25916/sut.26290714openalex-snapshot
Scenario-driven development and runtime evolution of context-aware adaptive software systems
inferred← citeshttps://doi.org/10.4018/jdm.2000100101openalex-snapshot
Formal Approaches to Systems Analysis Using UML
inferred← citeshttps://doi.org/10.4018/jwp.2013010105openalex-snapshot
Managing Architectural Reconfiguration at Runtime
inferred← citeshttps://doi.org/10.5220/0008942803190327openalex-snapshot
Aocl : A Pure-Java Constraint and Transformation Language for MDE
inferred← citeshttps://doi.org/10.5381/jot.2007.6.7.a6openalex-snapshot
Design-Level Detection of Interactions in Aspect-UML Models Using Alloy.
inferred← citeshttps://doi.org/10.5555/1926458.1926464openalex-snapshot
MDE-based approach for generalizing design space exploration
inferred← citeshttps://doi.org/10.5555/2050655.2050663openalex-snapshot
Measuring UML models using metrics defined in OCL within the SQUAM framework
inferred← citeshttps://doi.org/10.5555/2394101.2394141openalex-snapshot
UML2Alloy: a challenging model transformation
inferred← citeshttps://doi.org/10.5753/sbes.2007.21297openalex-snapshot
Enhancing the Understandability of OCL Specifications
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.