251 Hits in 7.2 sec

Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives

Nisha Desai, Martin Gogolla, Frank Hilken
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Nisha Desai, Martin Gogolla
2020 Journal of Object Technology  
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

Nisha Desai, Martin Gogolla
2019 Journal of Object Technology  
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]

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2014 Lecture Notes in Computer Science  
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]

Carolina Dania, Manuel Clavel
2015 Lecture Notes in Computer Science  
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

Frank Hilken, Lars Hamann
2020 Journal of Object Technology  
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]

Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
2016 Lecture Notes in Computer Science  
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

Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013  
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

Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
2017 Journal of Software and Systems Modeling  
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

Lars Hamann, Frank Hilken, Martin Gogolla
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
2016 IET Cyber-Physical Systems  
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]

Stuart Kent, Stephen Gaito, Niall Ross
1999 Behavioral Specifications of Businesses and Systems  
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

Owen Reynolds, Antonio García-Domínguez, Nelly Bencomo
2020 Proceedings of the 12th System Analysis and Modelling Conference on ZZZ  
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]

David Hestenes
1995 Thinking Physics for Teaching  
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

Kristin Potter, Andrew Wilson, Peer-Timo Bremer, Dean Williams, Charles Doutriaux, Valerio Pas, Chris R. Johnson
2009 2009 IEEE International Conference on Data Mining Workshops  
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