Using Description Logic to Maintain Consistency Between UML Models

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-45221-8_28
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Logic-Driven Framework for Consistency of Neural Models

2019English

Link Prediction Using a Probabilistic Description Logic

Journal of the Brazilian Computer Society
Computer Science
2013English

Using Logic Models to Facilitate Comparisons of Evaluation Theory

Evaluation and Program Planning
DevelopmentManagementBusinessPublic HealthInternational ManagementStrategyEnvironmentalPlanningSocial PsychologyOccupational HealthGeography
2013English

XMI-based Transformation From UML Models to LQN Performance Models

English

Z-Based Formalization of Kits of Changes to Maintain Ontology Consistency

2009English

Towards Knowledge Interoperability Between the UML, DMN, BPMN and CMMN Models

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2019English

From UML to Performance Models by XML Transformations

English

Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy