A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Querying UML Models using OCL and Prolog: A Performance Study
2008
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Preserved Fulltext
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]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2011
Electronic Communications of the EASST
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.
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
2016
Future generations computer systems
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 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2008
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 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
2009
Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09
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.
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
2010
Electronic Communications of the EASST
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.
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]
2006
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 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Business Information Processing
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 2009; you can also visit the original URL.
The file type is application/pdf.
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
2012
Automated Software Engineering : An International 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Future generations computer systems
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.
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
2010
Journal of Software and Systems Modeling
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 2012; you can also visit the original URL.
The file type is application/pdf.
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]
2012
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.
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
2007
Information and Software Technology
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 2013; you can also visit the original URL.
The file type is application/pdf.
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
2015
Information and Software Technology
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.
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