Enhancing Model Validation and Transformation for Software Engineering Projects

slide1 n.w
1 / 12
Embed
Share

Discover the SU-MoVal framework for model validation and transformation in software engineering projects, featuring tools for OCL-based validation and QVT-based transformations. Unveil the integration of UML and SDL, along with the implementation of Z.109 and Spoofax language workbench. Experience a demo showcasing the future of model validation and transformation. Join us on this journey towards improved software engineering practices.

  • Model Validation
  • Software Engineering
  • OCL Validation
  • QVT Transformation
  • UML Integration
rayaanacharya
hant907 Follow

Uploaded on | 3 Views

Download Presentation

Please find below an Image/Link to download the presentation.

The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.

You are allowed to download the files provided on this website for personal or commercial use, subject to the condition that they are used lawfully. All files are the property of their respective owners.

Download Presentation

The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author.

E N D

Presentation Transcript

  1. Agenda Introduction 1. 2. Overview of SU-MoVal 3. OCL-based Model Validation 4. QVT-based Transformations 5. Demo of SU-MoVal 6. Conclusion and Future Work 30. September 2014 SAM-2014, Alexander Kraas 2

  2. 1. Introduction Current situation: A small number of tools supporting the combined use of SDL and UML. UML diagrams are translated to the concrete syntax of SDL. No support for a dedicated action language. Latest edition of Z.109: Stereotypes for structural and behavioral modeling. Particular action language resting on a set of metaclasses. Concrete syntax for textual specification. Objective of SU-MoVal: Prototypical implementation of the latest edition of Z.109. 30. September 2014 SAM-2014, Alexander Kraas 3

  3. 2. Overview of SU-MoVal Components of the Framework Model Repository 30. September 2014 SAM-2014, Alexander Kraas 4

  4. 2. Overview of SU-MoVal The Graphical Editors UML Tree Editor Graphical UML Editor Modeling of structural SDL-UML diagrams. Further integrations of other features are planed. Central component for: Modeling Application of stereotypes Invoking the textual editor Verification of defined constraints 30. September 2014 SAM-2014, Alexander Kraas 5

  5. 2. Overview of SU-MoVal The Textual Editor Editor is generated with the Spoofax language workbench. Support for a subset of the concrete syntax of SDL-2010. Currently supported features: Textual Notation Editor Spoofax Syntax highlighting Syntax validation Disambiguation Features on the roadmap: Syntax completion Additional syntax validation rules 30. September 2014 SAM-2014, Alexander Kraas 6

  6. 3. OCL-based Model Validation Challenges: Z.109 defines 339 constraints in natural language High complexity of some constraints Solution: Implementation in terms of OCL constraints Reduction of complexity with OCL helper operations Example Constraint: If the owner of an Operation is a DataTypeDefinition , the method associated with the Operation shall be an Activity . (self.isDataTypeMethod() or self.isDataTypeOperator()) implies base_Operation.method ->forAll(isStereotypedBy( SDLUML::Activity )) 30. September 2014 SAM-2014, Alexander Kraas 7

  7. 4. QVT-based Transformations General Aspects The QVT Operational component (QVTo) of Eclipse is used for: Transformation models for data types Expansion of short-hand notations Name resolution Mapping of concrete syntax to SDL-UML elements Realization: Two transformation chains Transformations implemented as in-place and model-to-model transformations Patched version of QVTo for running pre-compiled transformations 30. September 2014 SAM-2014, Alexander Kraas 8

  8. 4. QVT-based Transformations Data Type Transformations Generic and implicit data type operations 2. Multi-valued properties 3. Definition of inherited operations 1. T2 T1 T1 T2 T2 T3 T3 30. September 2014 SAM-2014, Alexander Kraas 9

  9. 4. QVT-based Transformations Textual Notation -> SDL-UML Name resolution Infix operators to operator applications Extended primary expressions Extended variables Method applications SU CS1 CS1 CS2 CS3 T6 T7 T8 T4 T5 SU CS5 SU CS4 CS1 T4 Name resolution SU CS5 SU T9 Mapping to SDL-UML SU 30. September 2014 SAM-2014, Alexander Kraas 10

  10. 5. Demo of SU-MoVal Video 30. September 2014 SAM-2014, Alexander Kraas 11

  11. 6. Conclusion and Future Work The SU-MoVal framework proves the general applicability of the latest edition of Z.109. A few features are not supported by SU-MoVal, e.g. mapping to the abstract syntax of SDL. The binaries and the source code of SU-M#oVal can be obtained from: http://www.su-moval.org Drawbacks of Z.109: Constraints are only specified in natural language. Some stereotypes (e.g. Pseudostate ) represents different SDL constructs. Future work: Mapping of SDL-UML elements to the abstract syntax of SDL. Missing features of the textual editor shall be implemented. A better integration of Papyrus. 30. September 2014 SAM-2014, Alexander Kraas 12

Related


No related presentations.

More Related Content