Filters








3,642 Hits in 6.7 sec

Inference of Design Pattern Instances in UML models via Logic Programming

Dae-Kyoo Kim, Lunjin Lu
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)  
Harnessing logic inference capability of logic programming languages, we obtain an automated method that infers all the instances of a design pattern in a UML class diagram.  ...  The conformance of a model to a design pattern is equivalent to the satisfaction of the query by the logic program.  ...  By utilizing inference capability of the logic programming language Prolog, we obtain an auto-mated method that infers all the instances of the pattern in the model.  ... 
doi:10.1109/iceccs.2006.1690354 fatcat:kvj6a5pdnfbkrbg6gkw6duxhfa

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  
For instance, it is unrealistic that Transportation data models traditionally are represented in Unified Modeling Language (UML).  ...  OWL data are easier to share and better for performing logical inference. Unfortunately, no automatic method is available to transform data models from UML to OWL.  ...  In contrast, UML cannot allow software programs to perform such kinds of logical inference, although humans may acquire this knowledge based on their understanding of the structures and meanings of the  ... 
doi:10.3141/2064-11 fatcat:ga7ylwygpfedzd3vcdfkut6cpu

A framework towards web services composition modelling and execution

Muhammad Adeel Talib, Zongkai Yang, Qazi Mudassar Ilyas
2006 International Journal of Web and Grid Services  
These tools aid business users in designing high level process models using graphical notations which can then be mapped to lower level implementation models for execution.  ...  In this paper we propose our framework leading to a tool that aids business user in designing Web service based process (or in other words, Web service compositions) in BPEL4WS.  ...  For this functionality we propose the use of a service broker that provides the service URLs upon queries based on functional and non-functional requirements.  ... 
doi:10.1504/ijwgs.2006.008878 fatcat:niwhroehbveafigt635o6juzlu

Ontology-Based Spatial Pattern Recognition in Diagrams [chapter]

Anitta Thomas, Aurona J. Gerber, Alta van der Merwe
2018 IFIP Advances in Information and Communication Technology  
Specifically, relevant spatial patterns of diagrams are encoded in an ontology, and the automated instance classification feature of the ontology reasoners is utilised to map spatial patterns to diagram-specific  ...  A prototype of this approach to support automated recognition of UML and domain concepts from class diagrams and its performance are also discussed in this paper.  ...  design patterns from an input program.  ... 
doi:10.1007/978-3-319-92007-8_6 fatcat:nyf6jlu54zbpvbknpoitaoysxu

On marrying ontological and metamodeling technical spaces

Fernando Silva Parreiras, Steffen Staab, Andreas Winter
2007 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07  
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice.  ...  Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules.  ...  Consider the example of Subsection 4.3: the modeler, using a UML Profile for ontology, designs only an ontology, but cannot design an object oriented model in the same diagram, i.e., he cannot add the  ... 
doi:10.1145/1287624.1287687 dblp:conf/sigsoft/ParreirasSW07 fatcat:4x7jfna74fadlhyfjcf2wqq2bi

On marrying ontological and metamodeling technical spaces

Fernando Silva Parreiras, Steffen Staab, Andreas Winter
2007 The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07  
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice.  ...  Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules.  ...  Consider the example of Subsection 4.3: the modeler, using a UML Profile for ontology, designs only an ontology, but cannot design an object oriented model in the same diagram, i.e., he cannot add the  ... 
doi:10.1145/1295014.1295017 fatcat:jxvlqaigq5fivo22b23u5qip2q

A Reference Model for the Analysis and Comparison of MDE Approaches for Web-Application Development

João de Sousa Saraiva, Alberto Rodrigues da Silva
2010 Journal of Software Engineering and Applications  
This reference model focuses on relevant aspects such as modeling language scope (domain, business-logic, user-interface), usage of patterns, separation of concerns, model transformations, tool support  ...  This paper presents and discusses a reference model for the comparative study of current MDE approaches in the scope of web-application development.  ...  Modeling features typically found are the usage of pre-defined business-logic patterns, the possibility for designers to define their own business-logic patterns, and the deference of business-logic specification  ... 
doi:10.4236/jsea.2010.35047 fatcat:qzlhce4fx5gqrlai3arowgggmu

Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool [chapter]

Vlad Acretoaie, Harald Störrle, Daniel Strüber
2015 Lecture Notes in Computer Science  
In this paper we show that this question can be answered positively by following the three principles of Transparent Model Transformation (TMT):  ...  We show how our implementation of VMTL turns any model editor into a flexible model transformation tool sharing the model editor's benefits, transparently.  ...  The authors would like to thank Gabriele Taentzer for her insightful comments on the content and presentation of this paper.  ... 
doi:10.1007/978-3-319-21155-8_10 fatcat:ncnicm5tufge5ppmnaffnfopc4

A Patterns Based Reverse Engineering Approach for Java Source Code

Rui Couto, Antonio Nestor Ribeiro, Jose Creissac Campos
2012 2012 35th Annual IEEE Software Engineering Workshop  
The approach presented herein consists in transforming source code into models, and infer design patterns from these models.  ...  Identifying design patterns in the models of a MDA approach helps their understanding, but also the identification of good practices during analysis.  ...  The first functionality was the code based (UML) diagram generation. The second was the inference of design pattern in the generated models.  ... 
doi:10.1109/sew.2012.21 dblp:conf/sew/CoutoRC12 fatcat:h7raxkxzbfbqtja6pxpbgp6psy

Axioms & templates

Alan Rector
2013 Proceedings of the seventh international conference on Knowledge capture - K-CAP '13  
The relationships between "ontologies", knowledge bases, and information models -and correspondingly between OWL/Description Logics, frames and UML -remains confusing to many developers.  ...  the "background knowledge base", and the "information model", with clear distinctions, mutual derivations and interfaces amongst them and clear understanding of the semantics and limitations of each.  ...  Our thanks to the Description Logic and Clinical Systems Groups at University of Manchester and to the IHTSDO-WHO Joint Advisory Group on integration of SNOMED CT and ICD11.  ... 
doi:10.1145/2479832.2479840 dblp:conf/kcap/Rector13 fatcat:mvaczom3tja53d52k36qmiwcqi

A method for the implementation of a description logic reasoner

Nenad Krdzavac, Dragan Gasevic
2005 Publikacija Elektrotehnickog fakulteta - serija matematika  
Unified Modeling Language -UML) notation.  ...  did not describe models of the reasoners in a standard (i.e.  ...  Peter is instance of the class Professor, similar as individuals in description logics) and abstract (e.g. UML classes -Student, Persons etc).  ... 
doi:10.2298/petf0516119k fatcat:mt4tjojqkrhjtdgwnzfrkqy3v4

Specifying Services with UML and UML-RT

Ingolf H. Krüger
2002 Electronical Notes in Theoretical Computer Science  
We give a formal definition for the notion of service, and discuss to what extent the modeling languages provided by UML and UML-RT support a service-oriented development approach.  ...  A service, in our view, is defined by the interplay among components required to establish a certain result.  ...  To mitigate the discontinuity from captured interaction patterns for services and their "implementation" via ports and protocols we have developed techniques for inferring state-based component behavior  ... 
doi:10.1016/s1571-0661(04)80483-3 fatcat:pbed6xfmljb53jw3cqk4sn4w6u

Integrating an ontology into a software system

Leila Zemmouchi-Ghomari, Abdessamed Réda Ghomari, Lamia Adjir, Lynda Belaala
2017 Journal of Systems Integration  
The aim of this paper is twofold.  ...  However, several questions remain unanswered in relation to ontology usage in real world software systems, such as how to achieve their concrete integration in software systems and to what extent are they  ...  new facts via defining axioms and their population with instances.  ... 
doi:10.20470/jsi.v8i2.306 doaj:904e979f50de4c85824f1c1820cda529 fatcat:rt6edcvi6bcgdapc5knqv6ry7e

Enabling Customer Reward with a Hybrid Intelligent System (Case Study: JandJ Shopping Mall)

Okon E., Enyindah P., Enefiok A.
2017 International Journal of Computer Applications  
Object Oriented and Design (OOAD) Methodology was used in the design of the system and JAVA was used to implement it. Matlab's Simulink was also used in the simulation of the results.  ...  Normally, this kind of program leads to giving a loyal customer gifts in forms of customer free merchandise, coupons, rewards and advance released products.  ...  The architectural design of this model is as shown in Fig. 1 below.  ... 
doi:10.5120/ijca2017914481 fatcat:trjqw3e5wneb3jyi5jhnjjhtam

An MDA Framework Supporting OCL

Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2007 Electronic Communications of the EASST  
This comprises modeling using UML/OCL, processing models by model transformations, code generation (including runtime-test environments) and formal analysis using the theorem proving environment HOL-OCL  ...  Moreover, our frameworks supports the verification of proof obligations that are generated during model transformations.  ...  The instance of Model-Driven Engineering based on the uml and defined by the Object Management Group (omg) is called model-driven architecture (mda).  ... 
doi:10.14279/tuj.eceasst.5.45 dblp:journals/eceasst/BruckerDW06 fatcat:jjx4tf7vcjfr7hqaormbyktrym
« Previous Showing results 1 — 15 out of 3,642 results