loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Hanen Grichi 1 ; Olfa Mosbahi 2 and Mohamed Khalgui 2

Affiliations: 1 Tunisia Polytechnic School and University of Tunis el Manar, Tunisia ; 2 National Institute of Applied Science and Technology and University of Carthage, Tunisia

ISBN: 978-989-758-114-4

Keyword(s): Flexible Real-time System, Reconfiguration, Object Constraint Language, Metamodelling and Validation, Wireless Sensor Network.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Enterprise Software Technologies ; Formal Methods ; Intelligent Problem Solving ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques ; Symbolic Systems

Abstract: The paper deals with the verification of reconfigurable real-time systems to be validated by using the Object Constraint Language (abbrev, OCL). A reconfiguration scenario is assumed to be any adaptation of the execution to the system environment according to user requirements. Nevertheless, since several behaviors can be redundant from an execution to another, the use of OCL is insufficient to specify the constraints to be satisfied by this kind of systems. We propose an extension of OCL, named Reconfigurable OCL, in order to optimize the specification and validation of constraints related to different execution scenarios of a flexible system. A metamodel of the new ROCL is proposed with formal syntax and semantics. This solution gains in term of the validation time and the quick expression of constraints. The paper’s contribution is applied to a case study that we propose to show the originality of this new language.

PDF ImageFull Text

Download
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 100.25.43.188

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:
Grichi, H.; Mosbahi, O. and Khalgui, M. (2015). ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems.In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015) ISBN 978-989-758-114-4, pages 45-52. DOI: 10.5220/0005522700450052

@conference{icsoft-ea15,
author={Hanen Grichi. and Olfa Mosbahi. and Mohamed Khalgui.},
title={ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)},
year={2015},
pages={45-52},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005522700450052},
isbn={978-989-758-114-4},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)
TI - ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems
SN - 978-989-758-114-4
AU - Grichi, H.
AU - Mosbahi, O.
AU - Khalgui, M.
PY - 2015
SP - 45
EP - 52
DO - 10.5220/0005522700450052

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.