A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives
2017
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
This paper discusses an approach to execute models with filmstrip templates in order to enhance the validation and execution process so that model execution time is decreased. ...
A filmstrip template identifies recurring model parts. When such recurring model parts are constructed only once, model validation time is reduced. ...
The model validator in the tool USE is designed for structural analysis of UML class diagrams. In order to validate dynamic aspects of the model, our filmstrip approach is used. ...
dblp:conf/models/DesaiGH17
fatcat:vxey7gmgwra6njltoskbcpzd7i
Assembling Scenario Patterns for Checking Model Behavior
2020
Journal of Object 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 2020; you can also visit the original URL.
The file type is application/pdf.
We explain the catalogue applicability through a collection of exemplary models and validate our proposal through a study conducted with UML and OCL experts. ...
In order to give advice and to develop guidelines for constructing dynamic scenarios, we assemble a catalogue of different scenario patterns that can be applied in all models. ...
They provided critical, very fruitful contributions that helped a lot to improve the work. Naturally, the remaining deficiencies are due to the authors. ...
doi:10.5381/jot.2020.19.2.a19
fatcat:zkojxqektzcrhhmjpowzvqetwu
Developing Comprehensive Postconditions Through a Model Transformation Chain
2019
Journal of Object 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 2020; you can also visit the original URL.
The file type is application/pdf.
The method is realized by a transformation chain from an initial user-developed model into a semi-automatically derived test case model for checking the model quality. ...
One important approach for describing behavior in UML and OCL models is the use of OCL pre-and postconditions. ...
Acknowledgments We would like to thank the anonymous reviewers and Edward Willink for their careful reading of our paper and their many insightful comments and suggestions. ...
doi:10.5381/jot.2019.18.3.a5
fatcat:sswbinqlybaobap2ahmgxeps24
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
[chapter]
2014
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 enables the verication of a system description prior to implementation. For this purpose, rst approaches have recently been put forward. ...
Here, complementary approaches of how to formulate and transform respective UML and OCL verication tasks into corresponding solver tasks have been proposed. ...
The model validator extracts the bindings and creates an object diagram from it. ...
doi:10.1007/978-3-319-09099-3_8
fatcat:6r2hfkfu7vbkdhwlcmqfhriez4
Model-Based Formal Reasoning about Data-Management Applications
[chapter]
2015
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.
Moreover, we report on our experience applying this methodology on a non-trivial case study: namely, an application for managing medical records, for which over eighty data invariants need to be proved ...
Data-management applications are focused around so-called CRUD actions that create, read, update, and delete data from persistent storage. ...
With ActionGUI, complete, ready-to-deploy, security-aware web applications can be automatically generated from the applications' data, security, and GUI models. ...
doi:10.1007/978-3-662-46675-9_15
fatcat:3malcsmyhja2nkhmvgh4ll7yze
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany
2020
Journal of Object 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 2020; you can also visit the original URL.
The file type is application/pdf.
The UML-based Specification Environment (USE) originated as a modeling tool for validating UML and OCL models but has grown much larger over the years. The first version of USE was released in 1998. ...
Furthermore, noteworthy applications of USE in teaching, research and industry are presented. ...
Also highlighted must be his tireless examining of all new functions added to USE and feedback given for them leading to many fruitful discussions. Both of us had a great time in the group. ...
doi:10.5381/jot.2020.19.3.a20
fatcat:tqd64k6bynavlc5d42td5fq53m
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models
[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 2019; you can also visit the original URL.
The file type is application/pdf.
Verifying not only static but also dynamic aspects of the model will reduce the cost of software development. In this paper, we introduce an approach for automatic behavioral property verication. ...
The nal step is to verify a property, which can be added to the lmstrip model in form of an OCL invariant. ...
In order to also validate dynamic aspects, the approach in [8] introduces a transformation from UML and OCL models into so-called lmstrip models that represent sequences of system snapshots in a single ...
doi:10.1007/978-3-319-50230-4_15
fatcat:n5ihfv6thrfutgkl2qs3huboq4
Towards a Generic Verification Methodology for System Models
2013
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013
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.
Then, a range of automatic reasoning engines shall uniformly be applied to perform the actual verification. A feasibility study demonstrates the applicability of the envisioned approach. ...
The use of modeling languages such as UML or SysML enables to formally specify and verify the behavior of digital systems already in the absence of a specific implementation. ...
Then, a range of automatic reasoning engines shall uniformly be applied to perform the actual verification. A feasibility study demonstrates the applicability of the envisioned approach.
I. ...
doi:10.7873/date.2013.248
dblp:conf/date/WilleGSKD13
fatcat:4rhmxydwdvh2hb4jmj2bgwh4kq
Advanced and efficient execution trace management for executable domain-specific modeling languages
2017
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 2019; you can also visit the original URL.
The file type is application/pdf.
Executable Domain-Specific Modeling Languages (xDSMLs) enable the application of early dynamic verification and validation (V&V) techniques for behavioral models. ...
We evaluated our approach by generating a trace metamodel for fUML and using it for semantic differencing, which is an important V&V technique in the realm of model evolution. ...
[27] generate filmstrip models from UML metaclass diagrams to represent the evolution of a system's state. ...
doi:10.1007/s10270-017-0598-5
fatcat:x3znf4sawbaormlvbkk6olhoda
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool
2014
ACM/IEEE International Conference on Model Driven Engineering Languages and 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 2022; you can also visit the original URL.
The file type is application/pdf.
During 14 years of developing an open source model driven engineering tool at a university we collected some dos and don'ts for such projects, which we are going to describe in this paper. ...
To get an idea about the amount of work that has been put into our tool, we review and visualize its history. ...
Acknowledgments We would like to thank all the people who have contributed to USE over the years. ...
dblp:conf/models/HamannHG14
fatcat:gw2qc45jzjbhnoy3wjech532b4
Verifying the structure and behavior in UML/OCL models using satisfiability solvers
2016
IET Cyber-Physical 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 2019; you can also visit the original URL.
The file type is application/pdf.
To this end, different approaches for verification and validation have been proposed. ...
Due to the recent success of formal verification techniques, UML/OCL models also allow to verify and/or check certain properties of a given model in early stages of the design phase. ...
For this purpose, the source model (called application model in their work) is transformed into a filmstrip model. By doing so, all dynamic models aspects are transformed into static ones. ...
doi:10.1049/iet-cps.2016.0022
fatcat:mr4s7nhfabatfmz3ypzmwxq4xa
A Meta-Model Semantics for Structural Constraints In UML
[chapter]
1999
Behavioral Specifications of Businesses and 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.
The fragment includes parts of class diagrams and invariants in the style of OCL. An indication is given as to how the approach could be extended to models characterising dynamic behaviour. ...
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. ...
With no further constraints, it is possible for an object to change the classes of which it is an instance; thus this meta-model supports dynamic types. ...
doi:10.1007/978-1-4615-5229-1_9
fatcat:h4waliihwvckzkkwa3i36o3isy
Towards automated provenance collection for runtime models to record system history
2020
Proceedings of the 12th System Analysis and Modelling Conference on ZZZ
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 2021; you can also visit the original URL.
The file type is application/pdf.
We argue that logging changes to a runtime model in a provenance graph can mitigate some of these problems. ...
In highly dynamic environments, systems are expected to make decisions on the fly based on their observations that are bound to be partial. ...
D-TRACE automatically creates provenance graphs for the interactions between an application and the operating system, tracing system calls [17] . ...
doi:10.1145/3419804.3420262
dblp:conf/sam/ReynoldsGB20
fatcat:dudtdh447balznrc4me7yt7wn4
Modeling Software for Learning and Doing Physics
[chapter]
1995
Thinking Physics for Teaching
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 2007; you can also visit the original URL.
The file type is application/pdf.
It aims to develop a detailed theory of software design which supports and coordinates all aspects of conceptual and computational modeling. ...
The program is grounded in a theory of instruction which is centrally concerned with the construction, validation and use of scientific models for objects and processes in the real world. ...
Acknowledgements: Thanks to Ibrahim Halloun for help in preparing the manuscript. This work was partially supported by the National Science Foundation grant # RED-9200442. ...
doi:10.1007/978-1-4615-1921-8_4
fatcat:h3aq3odf3jdk3gtq23pt4ncpti
Ensemble-Vis: A Framework for the Statistical Visualization of Ensemble Data
2009
2009 IEEE International Conference on Data Mining Workshops
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.
We demonstrate our framework using driving problems from climate modeling and meteorology and discuss generalizations to other fields. ...
Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. ...
An example of the complexity of an ensemble data set. Here, surface temperature data is shown at a single weather station across all valid forecast hours. ...
doi:10.1109/icdmw.2009.55
dblp:conf/icdm/PotterWBWDPJ09
fatcat:hfyqrruhnnerro6urjez7kjhrq
« Previous
Showing results 1 — 15 out of 251 results