loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Irina Rychkova and Alain Wegmann

Affiliation: School of Communication and Computer Science, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland

Keyword(s): Visual specification, model transformation, stepwise refinement, refinement calculus, refinement propagation.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Formalisms, Languages and Notations ; Software Engineering ; Systems Engineering

Abstract: Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design process tedious for large specifications. We are interested in techniques that will reduce the modeler’s obligation to control specification correctness. Every single transformation of the visual specification can be captured by the notion of refinement used in formal methods. In this work we present the technique that supports a stepwise refinement of visual specifications based on calculations. We use refinement calculus as a logic for reasoning about refinement correctness. When a design decision is made by the modeler, the necessary adjustments are calculated based on rules of refinement propagation. Refinement propagation can automate the specification adjustment and enforce its correctness.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.200.77.59

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rychkova, I. and Wegmann, A. (2007). REFINEMENT PROPAGATION - Towards Automated Construction of Visual Specifications. In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-972-8865-90-0; ISSN 2184-4992, SciTePress, pages 196-204. DOI: 10.5220/0002394401960204

@conference{iceis07,
author={Irina Rychkova. and Alain Wegmann.},
title={REFINEMENT PROPAGATION - Towards Automated Construction of Visual Specifications},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2007},
pages={196-204},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002394401960204},
isbn={978-972-8865-90-0},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - REFINEMENT PROPAGATION - Towards Automated Construction of Visual Specifications
SN - 978-972-8865-90-0
IS - 2184-4992
AU - Rychkova, I.
AU - Wegmann, A.
PY - 2007
SP - 196
EP - 204
DO - 10.5220/0002394401960204
PB - SciTePress