1,919 Hits in 8.7 sec

Representation of UML class diagrams in OWL 2 on the background of domain ontologies

Małgorzata Sadowska, Zbigniew Huzar
2018 e-Informatica Software Engineering Journal  
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

Husáková, Bureš
2020 Information  
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

Ali Hanzala Khan, Ivan Porres
2015 Journal of Visual Languages and Computing  
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

Fernando Silva Parreiras, Tobias Walter, Christian Wende, Edward Thomas
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
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

Ionut Cardei, Mihai Fonoage, Ravi Shankar
2007 2007 1st Annual IEEE Systems Conference  
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]

Mohcine Madkour, Keith Butler, Eric Mercer, Ali Bahrami, Cui Tao
2020 arXiv   pre-print
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

Ali Hanzala, Naeem Abbas
2017 International Journal of Computer Applications  
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]

Anitta Thomas, Aurona J. Gerber, Alta van der Merwe
2016 Lecture Notes in Computer Science  
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]

Jorge E. López de Vergara, Víctor A. Villagrá, Julio Berrocal
2005 Lecture Notes in Computer Science  
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

Mo'men Elsayed, Nermeen Elkashef, Yasser F.Hassan
2020 International Journal of Advanced Computer Science and Applications  
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

Chuanrong Zhang, Zhong-Ren Peng, Tian Zhao, Weidong Li
2008 Transportation Research Record  
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

Wisarat Srisungnoen, Wiwat Vatanawood
2018 Engineering Journal  
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

Wafaa Alakwaa, Akram Salah
2010 International Journal of Computer Applications  
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]

Ali Daniyal, Syed Sibte Raza Abidi
2010 Lecture Notes in Computer Science  
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

Ionut Cardei, Mihai Fonoage, Ravi Shankar
2008 2008 2nd Annual IEEE Systems Conference  
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