[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/2095654acmotherconferencesBook PagePublication PagesmodevvaConference Proceedingsconference-collections
MoDeVVa: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
ACM2011 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
MoDeVVa '11: Model-Driven Engineering, Verification, and Validation Wellington New Zealand 17 October 2011
ISBN:
978-1-4503-0914-1
Published:
17 October 2011

Reflects downloads up to 12 Jan 2025Bibliometrics
Skip Abstract Section
Abstract

Models are purposeful abstractions of any artifact at an arbitrary abstraction level. They can serve several purposes and bear several advantages. For instance, they allow humans to understand complex systems, to validate requirements expressed as a formal model, or to generate big parts of system implementations or tests. Obviously, this can results in reduced system engineering effort. As a consequence, the usage of models, model transformations, and code generation is becoming more and more important for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations - it is one of the most important representatives for the application of models. Currently there is growing tool support for models, (domain-specific) graphical or textual modeling languages, model transformations, and code generation. The constant pace at which scientific and industrial development of MDE-related techniques moves forward shows that MDE is still quickly changing and that new approaches and corresponding issues arise frequently. Most important, there is crucial need for validation and verification (V&V) techniques in the context of MDE. The other way round, MDE is used to support many V&V activities like, e.g., model-based testing.

Skip Table Of Content Section
SESSION: Verification
research-article
Partial models: a position paper
Article No.: 1, Pages 1–4https://doi.org/10.1145/2095654.2095656

Model-based software development inevitably involves dealing with incomplete information. Yet, MDE methodologies rarely, if ever, address uncertainty in a systematic way. Drawing inspiration from the field of behavioural modeling [6, 4], we propose to ...

research-article
Towards automatic determination of problem bounds for object instantiation in static model verification
Article No.: 2, Pages 1–4https://doi.org/10.1145/2095654.2095657

The application of formal methods in the detection of inconsistencies and design flaws within models has been intensely studied in recent years. Since consistency checking is in principle undecidable due to the infinite number of possible system states, ...

research-article
On the interaction of inter-relationship constraints
Article No.: 3, Pages 1–8https://doi.org/10.1145/2095654.2095658

MDE and software evolution call for model-level design support, that includes reasoning capabilities such as query answering, verification and validation, static analysis and model transformation. Automation of all activities requires well-defined ...

research-article
Improving formal verification practicability through user oriented models and context-awareness
Article No.: 4, Pages 1–4https://doi.org/10.1145/2095654.2095659

Formal methods are effective techniques for automating software verifications to satisfy quality and reliability. However, the application of these techniques within industrial settings remains limited due to the (i) complexity of the models that have ...

SESSION: Validation
research-article
Specifying a testing oracle for train stations
Article No.: 5, Pages 1–6https://doi.org/10.1145/2095654.2095661

This paper presents an approach for automatically generating a testing oracle for train stations. Based on a model of a train station and a formal definition of the behavior of the station, Alloy is used to generate all positive traces from a given ...

research-article
Analyzing realizability of choreographies using initiating and responding flows
Article No.: 6, Pages 1–8https://doi.org/10.1145/2095654.2095662

Choreographies are used to define and analyze the global collaborative behavior of reactive systems while orchestration are used to define local behavior of components for realization. A number of realizability problems need to be addressed when going ...

research-article
Runtime model validation with parallel object constraint language
Article No.: 7, Pages 1–8https://doi.org/10.1145/2095654.2095663

In software engineering, model-based development is gaining ground as reliability must be provided while the development time needs to be decreased. As systems modeled become larger, validation methods need to perform better to offer reasonable response ...

SESSION: Transformation
research-article
Natural language generation from class diagrams
Article No.: 8, Pages 1–8https://doi.org/10.1145/2095654.2095665

A Platform-Independent Model (PIM) is supposed to capture the requirements specified in the Computational Independent Model (CIM). It can be hard to validate that this is the case since the stakeholders might lack the necessary training to access the ...

research-article
On validation of ATL transformation rules by transformation models
Article No.: 9, Pages 1–8https://doi.org/10.1145/2095654.2095666

Model-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature ...

Contributors
  • Fraunhofer Institute for Open Communication Systems FOKUS
  • Fortiss GmbH
  • Technical University of Darmstadt
  • University of Haute-Alsace
  1. Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
    Please enable JavaScript to view thecomments powered by Disqus.

    Recommendations