On the public citation graph

Reasoning on UML Class Diagrams with OCL Constraints

https://doi.org/10.1007/11901181_37

0 signed · 74 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11431855_1openalex-snapshot

Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research

inferredcites →https://doi.org/10.1007/11901181_37openalex-snapshot

Reasoning on UML Class Diagrams with OCL Constraints

inferredcites →https://doi.org/10.1007/3-540-45581-7_19openalex-snapshot

Coping with Inconsistent Constraint Specifications

inferredcites →https://doi.org/10.1007/978-1-4615-5643-5_8openalex-snapshot

Description Logics for Conceptual Data Modeling

inferredcites →https://doi.org/10.1007/978-3-540-30075-5_8openalex-snapshot

A New Approach for Checking Schema Validation Properties

inferredcites →https://doi.org/10.1007/978-3-540-45221-8_23openalex-snapshot

Validation of UML and OCL Models by Automatic Snapshot Generation

inferredcites →https://doi.org/10.1007/978-3-540-45275-1_25openalex-snapshot

Detection of Redundant Arcs in Entity Relationship Conceptual Models

inferredcites →https://doi.org/10.1007/978-3-540-49524-6_12openalex-snapshot

On the Consistency of Int-cardinality Constraints

inferredcites →https://doi.org/10.1016/0306-4379(90)90048-topenalex-snapshot

On the satisfiability of dependency constraints in entity-relationship schemata

inferredcites →https://doi.org/10.1016/j.artint.2005.05.003openalex-snapshot

Reasoning on UML class diagrams

inferredcites →https://doi.org/10.1016/j.datak.2004.08.002openalex-snapshot

Checking query containment with the CQC method

inferredcites →https://doi.org/10.1017/cbo9780511711787openalex-snapshot

The Description Logic Handbook

inferredcites →https://doi.org/10.1108/k.2003.06732iae.006openalex-snapshot

The Description Logic Handbook – Theory, Implementation and Applications

inferredcites →https://doi.org/10.1109/69.469829openalex-snapshot

Description logics in data management

inferredcites →https://doi.org/10.5555/885746openalex-snapshot

The Description Logic Handbook: Theory, Implementation, and Applications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781118617151.ch06openalex-snapshot

Ontology‐Driven Formal Conceptual Data Modeling for Biological Data Analysis

inferred← citeshttps://doi.org/10.1007/978-3-030-65621-8_2openalex-snapshot

Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models

inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7openalex-snapshot

Fundamental Approaches to Software Engineering

inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7_17openalex-snapshot

QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants

inferred← citeshttps://doi.org/10.1007/978-3-319-21155-8_12openalex-snapshot

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification

inferred← citeshttps://doi.org/10.1007/978-3-319-61467-0_7openalex-snapshot

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms

inferred← citeshttps://doi.org/10.1007/978-3-540-39390-0_9openalex-snapshot

Integrity Constraints

inferred← citeshttps://doi.org/10.1007/978-3-540-69534-9_23openalex-snapshot

Decidable Reasoning in UML Schemas with Constraints

inferred← citeshttps://doi.org/10.1007/978-3-540-85654-2_56openalex-snapshot

Providing Explanations for Database Schema Validation

inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_4openalex-snapshot

Verifying UML/OCL Operation Contracts

inferred← citeshttps://doi.org/10.1007/978-3-642-01648-6_6openalex-snapshot

MDE Adoption in Industry: Challenges and Success Criteria

inferred← citeshttps://doi.org/10.1007/978-3-642-02144-2_9openalex-snapshot

Reasoning on UML Conceptual Schemas with Operations

inferred← citeshttps://doi.org/10.1007/978-3-642-12544-7_15openalex-snapshot

Testing Conceptual Schema Satisfiability

inferred← citeshttps://doi.org/10.1007/978-3-642-13688-7_4openalex-snapshot

Synthesis of OCL Pre-conditions for Graph Transformation Rules

inferred← citeshttps://doi.org/10.1007/978-3-642-16373-9_32openalex-snapshot

AuRUS: Automated Reasoning on UML/OCL Schemas

inferred← citeshttps://doi.org/10.1007/978-3-642-16385-2_35openalex-snapshot

Model-Driven Data Migration

inferred← citeshttps://doi.org/10.1007/978-3-642-21952-8_21openalex-snapshot

Extensive Validation of OCL Models by Integrating SAT Solving into USE

inferred← citeshttps://doi.org/10.1007/978-3-642-24485-8_27openalex-snapshot

Reducing Multiplicities in Class Diagrams

inferred← citeshttps://doi.org/10.1007/978-3-642-28729-9_1openalex-snapshot

Querying UML Class Diagrams

inferred← citeshttps://doi.org/10.1007/978-3-642-33666-9_27openalex-snapshot

From UML and OCL to Relational Logic and Back

inferred← citeshttps://doi.org/10.1007/978-3-642-37186-8_23openalex-snapshot

Misbehavior Discovery through Unified Software-Knowledge Models

inferred← citeshttps://doi.org/10.1007/978-3-642-41924-9_22openalex-snapshot

Semantic-Based Mappings

inferred← citeshttps://doi.org/10.1007/s10270-009-0123-6openalex-snapshot

Efficient analysis of pattern-based constraint specifications

inferred← citeshttps://doi.org/10.1007/s10270-009-0129-0openalex-snapshot

A UML/OCL framework for the analysis of graph transformation rules

inferred← citeshttps://doi.org/10.1007/s10270-012-0294-4openalex-snapshot

Numeric semantics of class diagrams with multiplicity and uniqueness constraints

inferred← citeshttps://doi.org/10.1007/s10270-020-00849-8openalex-snapshot

A formal approach to finding inconsistencies in a metamodel

inferred← citeshttps://doi.org/10.1007/s10515-017-0210-9openalex-snapshot

An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency

inferred← citeshttps://doi.org/10.1016/j.cl.2017.10.001openalex-snapshot

Achieving model quality through model validation, verification and exploration

inferred← citeshttps://doi.org/10.1016/j.datak.2011.09.004openalex-snapshot

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

inferred← citeshttps://doi.org/10.1016/j.datak.2015.07.003openalex-snapshot

Ontology-based mappings

inferred← citeshttps://doi.org/10.1016/j.infsof.2014.03.003openalex-snapshot

Formal verification of static software models in MDE: A systematic review

inferred← citeshttps://doi.org/10.1016/j.jksuci.2022.03.010openalex-snapshot

NLQ into SQL translation using computational linguistics

inferred← citeshttps://doi.org/10.1016/j.jss.2009.08.012openalex-snapshot

Verification and validation of declarative model-to-model transformations through invariants

inferred← citeshttps://doi.org/10.1109/access.2017.2786781openalex-snapshot

Ontology-Based Finite Satisfiability of UML Class Model

inferred← citeshttps://doi.org/10.1109/access.2018.2797695openalex-snapshot

Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

inferred← citeshttps://doi.org/10.1109/access.2021.3121222openalex-snapshot

More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review

inferred← citeshttps://doi.org/10.1109/date.2010.5457017openalex-snapshot

Verifying UML/OCL models using Boolean satisfiability

inferred← citeshttps://doi.org/10.1109/icsess.2010.5552361openalex-snapshot

OCL constraints automatic generation for UML class diagram

inferred← citeshttps://doi.org/10.1109/icstw.2008.54openalex-snapshot

Verification of UML/OCL Class Diagrams using Constraint Programming

inferred← citeshttps://doi.org/10.1109/imtic.2018.8467240openalex-snapshot

A Technique for Detection of Violating Property among UML/OCL Class Diagram

inferred← citeshttps://doi.org/10.1142/s0218194010004876openalex-snapshot

DEFINING SOFTWARE PROCESS MODEL CONSTRAINTS WITH RULES USING OWL AND SWRL

inferred← citeshttps://doi.org/10.1145/1858996.1859038openalex-snapshot

Verification-driven slicing of UML/OCL models

inferred← citeshttps://doi.org/10.1145/1985793.1986005openalex-snapshot

Inconsistency management framework for model-based development

inferred← citeshttps://doi.org/10.1145/2089116.2089123openalex-snapshot

Verification and Validation of UML Conceptual Schemas with OCL Constraints

inferred← citeshttps://doi.org/10.1145/2393596.2393639openalex-snapshot

UMLtoCSP (UOST)

inferred← citeshttps://doi.org/10.1145/2491509.2491518openalex-snapshot

Finite satisfiability of UML class diagrams with constrained class hierarchy

inferred← citeshttps://doi.org/10.1145/3417990.3419224openalex-snapshot

A language agnostic approach to modeling requirements

inferred← citeshttps://doi.org/10.1155/2011/370198openalex-snapshot

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

inferred← citeshttps://doi.org/10.1177/0037549709340530openalex-snapshot

Towards Domain-specific Model Editors with Automatic Model Completion

inferred← citeshttps://doi.org/10.14569/ijacsa.2016.070571openalex-snapshot

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

inferred← citeshttps://doi.org/10.3390/electronics11020201openalex-snapshot

Design and Implementation of a Metadata Repository about UML Class Diagrams. A Software Tool Supporting the Automatic Feeding of the Repository

inferred← citeshttps://doi.org/10.3929/ethz-a-005593496openalex-snapshot

Using patterns to develop consistent design constraints

inferred← citeshttps://doi.org/10.5381/jot.2022.21.3.a7openalex-snapshot

A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.

inferred← citeshttps://doi.org/10.5555/1870926.1871248openalex-snapshot

Verifying UML/OCL models using Boolean satisfiability

inferred← citeshttps://doi.org/10.5555/2485288.2485575openalex-snapshot

Towards a generic verification methodology for system models

inferred← citeshttps://doi.org/10.5821/dissertation-2117-93976openalex-snapshot

Validation of UML conceptual schemas with OCL constraints and operations

inferred← citeshttps://doi.org/10.5821/dissertation-2117-94862openalex-snapshot

Lightweight and static verification of UML executable models

inferred← citeshttps://doi.org/10.70675/19bde7dez3355z402azb80dzbf078f85da36openalex-snapshot

Pragmatic model verification

showing the first 58 of 59 · page through all 59

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.