145 Hits in 3.3 sec

Querying UML Models using OCL and Prolog: A Performance Study

Joanna Chimiak_Opoka, Michael Felderer, Chris Lenz, Christian Lange
2008 2008 IEEE International Conference on Software Testing Verification and Validation Workshop  
Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there is a need for fast querying.  ...  Our comparison is based on equivalent queries in both languages. We applied the queries to 118 models of a size up to 10000 classes to analyze model load and evaluation time.  ...  Acknowledgement We would like to thank Harald Störrle for his contribution to the optimisation of Prolog expressions.  ... 
doi:10.1109/icstw.2008.33 dblp:conf/icst/Chimiak-OpokaFLL08 fatcat:ilz5xamnkfb2pls3kuz3nd5uci

Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning [article]

Pierre Deransart
2010 arXiv   pre-print
This approach is used to define a method for extending a java based CHRor platform called CHROME (Constraint Handling Rule Online Model-driven Engine) with an extensible generic tracer.  ...  is a constraint solving and rule based reasoning engine with explanatory traces.  ...  UML2/ OCL2 (Unified Modeling Language / Object Constraint Language).  ... 
arXiv:1001.2188v1 fatcat:s7u3mfkp45handpokbzlnem7hm

UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure

Claas Wilke, Birgit Demuth
2011 Electronic Communications of the EASST  
Thus, they could not be checked for syntactical and static semantics correctness.  ...  Since the first OMG specification of the Unified Modeling Language (UML), the Object Constraint Language (OCL) has been used for the definition of well-formedness rules in the UML specification.  ...  Especially we like to thank Joanna Chimiak-Opoka, Michael Thiele and Lars Schütze for their helpful feedback during discussing the topics of this paper.  ... 
doi:10.14279/tuj.eceasst.44.669 dblp:journals/eceasst/WilkeD11 fatcat:vmkebtoj5vg4xhx7avlicox36e

Software architecture constraint reuse-by-composition

Chouki Tibermacine, Salah Sadou, Minh Tu Ton That, Christophe Dony
2016 Future generations computer systems  
In this paper, we propose a component model for specifying architecture constraints. This model has been implemented as an extension to an ADL that we have developed, which is called CLACS.  ...  These two facts (being subject to reuse and instantiation/connection) make architecture constraints good candidates for component-based design within a unified environment.  ...  Each primitive is a tangible modeling element with its own semantic that can be composed to form a pattern.  ... 
doi:10.1016/j.future.2016.02.006 fatcat:rlmuftte4zb2fhk7ycgxaeppsm

Verifying Interaction Protocol Compliance of Service Orchestrations [chapter]

Andreas Schroeder, Philip Mayer
2008 Lecture Notes in Computer Science  
Our method is part of a larger suite of methods and tools for model driven development of service oriented architectures covering code generation for the Web service stack and other service platforms:  ...  In this paper, we present an analysis method and tool for verifying compliance of service orchestrations with service interaction protocols given as UML models.  ...  For a comparison of these approaches to our UML4SOA profile, see [9] . Several other approaches to activity diagram semantics exist, of which a comprehensive overview can be found in [12] .  ... 
doi:10.1007/978-3-540-89652-4_44 fatcat:xf3huxbwhbei3ahr4bafijqybe

Refactoring UML models

Twan van Enckevort
2009 Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09  
The prototype contains selected model quality metrics, syntactic and semantic model check rules.  ...  Both metrics and rules have been formulated in the Object Constraint Language (OCL) [21] , which operates on UML models.  ...  I thank all individuals who were and / or are involved in providing the open source libraries that I used in this project. I thank Peter Vermeulen from Capgemini for sponsoring this project.  ... 
doi:10.1145/1639950.1639959 dblp:conf/oopsla/Enckevort09 fatcat:zxqgb3nrxfdrdf4gpbqhcxwskq

Towards a Conceptual Framework Supporting Model Compilability

Dan Ioan Chiorean, Vladiela Petrascu
2010 Electronic Communications of the EASST  
This would stand as a basis for ensuring model compilability, a mandatory requirement in a model-driven context.  ...  To solve it, there is the need of a rigorous conceptual framework supporting the specification of modeling languages' static semantics.  ...  As a proof, we cite two recent references arguing the behavior of a few UML2 tools and of ArgoUML when required to perform model validation.  ... 
doi:10.14279/tuj.eceasst.36.441 dblp:journals/eceasst/ChioreanP10 fatcat:mivfvnlpjbctxhpv27fexynghq

Formalism-Independent Specification of Ontology Mappings – A Metamodeling Approach [chapter]

Saartje Brockmans, Peter Haase, Heiner Stuckenschmidt
2006 Lecture Notes in Computer Science  
This has lead to a number of activities concerned with the development of graphical modeling approaches for the Web Ontology Language based on the Meta Object Facility (MOF) and the Unified Modeling Language  ...  Recently, the advantages of metamodeling as a foundation for the graphical specification of ontologies have been recognized by the semantic web community.  ...  In summary, the work presented here is the first step towards a comprehensive, model based approach for modeling and implementing ontology mappings.  ... 
doi:10.1007/11914853_56 fatcat:hswbxlwhlrgrjcpc37flhdg5le

Engineering Associations: From Models to Code and Back through Semantics [chapter]

Zinovy Diskin, Steve Easterbrook, Juergen Dingel
2008 Lecture Notes in Business Information Processing  
In this paper, we present a novel mathematical framework and build a precise semantics for several association constructs, whose implementation has been considered problematic.  ...  We also identify a number of patterns for using associations in practical applications, which cannot be modeled (reverse engineered) in UML.  ...  Thanks go to Bran Selic for many stimulating discussions of associations in general and their specification in UML2 in particular.  ... 
doi:10.1007/978-3-540-69824-1_19 fatcat:yn4muetpzjdzhicckrqyume5xm

A tool environment for quality assurance based on the Eclipse Modeling Framework

Thorsten Arendt, Gabriele Taentzer
2012 Automated Software Engineering : An International Journal  
In particular, the presented tools support metrics reporting, smell detection, and refactoring for models being based on the Eclipse Modeling Framework, a widely used open source technology in model-based  ...  In our approach, we propose a model quality assurance process that can be adapted to project-specific and domain-specific needs.  ...  Freise, Florian Mantz, Pawel Stepien, and Alexander Weber for their work on our tools.  ... 
doi:10.1007/s10515-012-0114-7 fatcat:57tf3ezuczhjbcptakyfat4cve

Web-centred end-user component modelling

David Lizcano, Fernando Alonso, Javier Soriano, Genoveva López
2016 Future generations computer systems  
We have proposed a web model based on a detailed study of existing tools, their pros and cons, limitations and key success factors that have enabled other web end-user development (WEUD) solutions to help  ...  It is the product of a series of previously published papers. The formal definition in description logic verifies that the model is consistent and subsumes currently existing models.  ...  Acknowledgements The authors would like to thank the 240 EUPs of the experiment for their interest, participation and time.  ... 
doi:10.1016/j.future.2015.07.002 fatcat:g2khhlz3tzdeffmyovpgoambma

MOOGLE: a metamodel-based model search engine

Daniel Lucrédio, Renata P. de M. Fortes, Jon Whittle
2010 Journal of Software and Systems Modeling  
As a consequence, the number of models being used is increasing, and so is the need for efficient mechanisms to search them.  ...  This paper presents Moogle, a model search engine that uses metamodeling information to create richer search indexes and to allow more complex queries to be performed.  ...  Acknowledgments The authors would like to thank the institutions that support this project and the reviewers of this manuscript, who provided valuable comments and suggestions.  ... 
doi:10.1007/s10270-010-0167-7 fatcat:ykxuvklmivboxdosmqminkz27q

Formally Defining and Iterating Infinite Models [chapter]

Benoit Combemale, Xavier Thirioux, Benoit Baudry
2012 Lecture Notes in Computer Science  
This paper proposes a formal definition of an infinite model, as well as a formal framework to reason on queries over infinite models.  ...  This formal query definition aims at supporting the design and verification of operations that manipulate infinite models.  ...  Second, there exist some ad-hoc implementations to deal with these issues, but there is no formal definition of infinite models and no reference formal semantics for a query over an infinite model.  ... 
doi:10.1007/978-3-642-33666-9_9 fatcat:iguuu2eddrdvpbqdjsoygch2pi

Semantic model-driven architecting of service-based software systems

Claus Pahl
2007 Information and Software Technology  
We present ontology-based transformation and reasoning techniques for layered semantic service architecture modelling.  ...  Model-driven development is a software development framework that emphasises modelbased abstraction and automated code generation.  ...  While a process has started towards the development of an ontology metamodel that can support semantic, ontology-based modelling for platform-independent model layers [20] , we take a more comprehensive  ... 
doi:10.1016/j.infsof.2006.09.007 fatcat:7krq6cio7vg3rdrt42pb7azmqm

Automated end user-centred adaptation of web components through automated description logic-based reasoning

David Lizcano, Fernando Alonso, Javier Soriano, Genoveva López
2015 Information and Software Technology  
UML2 component model.  ...  Based on a generic UML2 data model, this description logic is able to check whether an enduser component can be transformed to this modelling language through subsumption or as an instance of the UML2  ...  XSLT mappings on heterogeneous components for adaptation to the UML2 model The UML2-SROIQ mapping is a semantic specification of our UML2 component modelling conceptualizations for running automated reasoning  ... 
doi:10.1016/j.infsof.2014.05.021 fatcat:jw6bi4xpajc6do5q6xadyqxzoy
« Previous Showing results 1 — 15 out of 145 results