A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Representation of UML class diagrams in OWL 2 on the background of domain ontologies
2018
e-Informatica Software Engineering Journal
Preserved Fulltext
UML class diagrams can be automatically validated if they are compliant with a domain knowledge specified in a selected OWL 2 domain ontology. ...
Conclusion: The proposed transformations can be used for automatic validation of compliance of UML class diagrams with respect to OWL 2 domain ontologies. ...
Introduction In [1] , we presented an idea of a method for semantic validation of Unified Modeling Language (UML) class diagrams [2] with the use of OWL 2 Web Ontology Language (OWL 2) [3] domain ...
doi:10.5277/e-inf190103
dblp:journals/eInformatica/SadowskaH19
fatcat:eutxncammfbbpjdzz6xy6fwimu
Formal Ontologies in Information Systems Development: A Systematic Review
2020
Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Formal ontologies are mainly used in the interoperability of information systems, human resource management, domain knowledge representation, the involvement of semantics in unified modelling language ...
(UML)-based modelling, and the management of programming code and documentation. ...
The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results. ...
doi:10.3390/info11020066
fatcat:4h2xq2uapjf2ngzmwi4332tas4
Consistency of UML class, object and statechart diagrams using ontology reasoners
2015
Journal of Visual Languages and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
the Web Ontology Language OWL 2. ...
We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. ...
The attributes of a UML class in a class diagram are translated in OWL 2 as a DataProperty. In OWL 2, the data property uses datatype in its range. ...
doi:10.1016/j.jvlc.2014.11.006
fatcat:2jgeqtvmnvabfbbmzshk24tnuy
Bridging software languages and ontology technologies
2010
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This tutorial summary (1) enlightens the potential of ontology and semantic web technology for modeling and metamodeling in software development, positioning it among modeling standards like UML, and MOF ...
An interest to strengthen semantics in modeling and metamodeling that gained scientific and commercial attention is the integration of ontology technology and software development. ...
It supports storing and querying this data using an SQL database, using query expansion to perform complete query answering with respect to the semantics of OWL and the tbox of the ontology. 2. ...
doi:10.1145/1869542.1869626
dblp:conf/oopsla/ParreirasWWT10
fatcat:kwrui2vz35fy7fu7v2w6pjreea
Framework for Requirements-Driven System Design Automation
2007
2007 1st Annual IEEE Systems Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An ontology-based representation language is designed that spans requirements for the application domain, the software design domain (UML metaschema) and the component domain. ...
The RDDA framework uses standards-based semantic web technologies and can be integrated with exiting modeling tools. ...
Jaime Borras, Motorola Corporate Senior Fellow and Senior Vice President of Technology, and his colleagues from the Advanced Technology Group. ...
doi:10.1109/systems.2007.374671
fatcat:7cszp5zmyve4xextvzqy56wxne
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our Work Domain Ontology with tools from Semantic Web is needed to translate UML class and state diagrams for verification of solvability with automatic reasoning. ...
We used the expressive rule language SPARQL Inferencing Notation (SPIN) to develop formal representations of the UML class diagram, the state machine, and their interactions. ...
The content is solely the responsibility of the authors and does not necessarily represent the official views of the funding agency. ...
arXiv:2008.01623v1
fatcat:hxrw5zsgjjav5gjzalh4ysw574
Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners
2017
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This approach first automatically translates the UML artifacts into logical equivalent OWL 2 axioms and then use OWL 2 reasoners to validate the translations. ...
Furthermore, the viability of the approach is demonstrated by validating 303 models and metamodels available in an online repository and the results show that half of the models and metamodels found erroneous ...
All examples in the UML 2 zoo are translated into OWL 2 using the implemented translator and then used the OWL 2 reasoner Pellet to validate the generated ontologies. ...
doi:10.5120/ijca2017915003
fatcat:uasaqtdzandxxjd6raltjh4coy
An Investigation into OWL for Concrete Syntax Specification Using UML Notations
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The work in this paper, therefore, explores OWL for visual language specification by specifying the concrete syntax of selected UML class diagram notations in an ontology. ...
The value of such a specification in supporting a semantic diagram interpretation application is demonstrated using the automated instance classification feature of ontology reasoners. ...
Fig. 5 . 5 (a) A sample UML class diagram (b) UML class diagram in (a) annotated with identifiers used in the concrete syntax ontology ...
doi:10.1007/978-3-319-42333-3_15
fatcat:tzzwfcwvijb2ppliw72ls474dm
On the Formalization of the Common Information Model Metaschema
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
An alternative to the use of ontology languages can be the formalization of the management information languages to cope with the semantics of the information models. ...
The formalization is based on the use of the Object Constraint Language to define in a formal way the set of natural language rules that describe this metaschema, improving its semantics, comparing also ...
Acknowledgements This work has been partially funded by the Spanish Ministry of Education and Science under the project GESEMAN (TIC2002-00934). ...
doi:10.1007/11568285_1
fatcat:6lvms4nnlvg3zlhokqs47prj5u
Mapping UML Sequence Diagram into the Web Ontology Language OWL
2020
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Therefore, the matter of migrating UML to OWL is becoming an energetic research domain. OWL (Web Ontology Language) is a Semantic Web language designed for defining ontologies on the Web. ...
This technique describes how to map UML Models into OWL and allows us to keep semantic of UML sequence diagrams such as messages, the sequence of messages, guard invariant, etc. to make data of UML sequence ...
Therefore, the UML Class C is mapped to OWL 2 as
Declaration ( Class( C) ) In the OWL the UML object o of class C is called an individual and is expressed as a class assertion: ClassAssertion( C o) ...
doi:10.14569/ijacsa.2020.0110542
fatcat:q2yw2svlpfhbvlxhmiu46jdnsi
Transformation of Transportation Data Models from Unified Modeling Language to Web Ontology Language
2008
Transportation Research Record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Many transportation applications also developed data models using UML class diagrams (e.g., 6, 7 ). ...
For example, the Federal Geographic Data Committee (FGDC) defined the transportation geographic information framework data content standard using UML class diagrams. ...
With the use of UML extension notations, UML profiles can help modelers develop vocabularies and richer ontologies in OWL. ...
doi:10.3141/2064-11
fatcat:ga7ylwygpfedzd3vcdfkut6cpu
Dependency Types Validation of Precedence Diagram Method Using Ontology
2018
Engineering Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes PDM Ontology in OWL and rules for inferring the new knowledge from existing PDM and validating PDM using SWRL. ...
Since an ontology describes the relationship between the concepts within a domain. Thus, the ontology could be used to represent knowledge of PDM. ...
OWL and UML Modeling An ontology describes knowledge by representing the objects semantics in an interesting domain. Ontology classes consist of objects and describe them by using properties. ...
doi:10.4186/ej.2018.22.5.155
fatcat:twh25ob36zclxn6euipmsgiqxi
Ontology Modeling Profile , an Extension for the Ontology UML Profile
2010
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This utilization improves the practical implementation of Ontology models using UML profiles.. General Terms Semantic web, Ontology , Ontology Modeling. ...
Our profile is based on the recent W3C effort -The Web Ontology Language (OWL). We have shown the role of individuals and slots in building OWL statements. ...
CASE STUDY The case study below shows how OMP is applied on the museum class diagram. The UML classes we used in the use case are "museum ,painting, painter". ...
doi:10.5120/1124-1473
fatcat:ilm7pelp6veklbemhyesst5pdi
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our workflow model is based on the UML Activity Diagrams and OWL-S service ontology, and the execution semantics are based on Place/Transition Petri Nets. ...
We present a semantic web-based approach where the domain knowledge and the workflow model are modeled separately as ontologies, while the Clinical Pathway and the associated workflows are modeled as the ...
The use of UML Activity Diagrams and OWL-S model predicate PTN based execution semantics [2, 3] which allows us to execute and analyze CP workflows. ...
doi:10.1007/978-3-642-11808-1_8
fatcat:6noawsuhkrcllg6h7bzb7oht24
Model Based Requirements Specification and Validation for Component Architectures
2008
2008 2nd Annual IEEE Systems Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The RDDA framework uses an ontology-based language for semantic description of functional product requirements, UM-L/SysML structure diagrams, component constraints, and Quality of Service. ...
The specification is validated for completeness and consistency with a ruled-based system implemented in Prolog. ...
Jaime Borras, Motorola Corporate Senior Fellow and Senior Vice President of Technology, and his colleagues from the Advanced Technology Group. ...
doi:10.1109/systems.2008.4519001
fatcat:dmduz5rreve2pmflazxuxgfwvi
« Previous
Showing results 1 — 15 out of 1,919 results