Home // ICSEA 2016, The Eleventh International Conference on Software Engineering Advances // View article

Modeling and Formal Specification Of Multi-scale Software Architectures

Authors:
Ilhem Khlif
Mohamed Hadj Kacem
Khalil Drira
Ahmed Hadj Kacem

Keywords: Software; Architecture; multi-scale; iterative; modeling; UML; formal; specification; structural; behavioral; refinement; Event-B.

Abstract:
Modeling correct complex systems architecture is a challenging research direction that can be mastered by providing modeling abstractions. For this purpose, we provide an iterative modeling solution for a multi-scale description of software architectures. We define a step-wise iterative process starting from a coarse-grained description, and leading to a fine-grained description. The refinement process involves both system-independent structural features ensuring the model correctness, and specific features related to the expected behavior of the modeled domain. We provide a visual notation extending the graphical UML (Uniform Modeling Language) notations to represent structural as well as behavioral features of software architectures. The proposed approach mainly consists of two steps. In the first step, the architecture is modeled graphically according to the UML notations. In the second step, the obtained graphical models are formally specified using the Event-B method. We implement the resulting models describing structural and behavioral properties using the Rodin platform and prove their correctness. We apply our approach for a methodological design of a smart home scenario for the homecare monitoring of disabled and elderly persons.

Pages: 55 to 61

Copyright: Copyright (c) IARIA, 2016

Publication date: August 21, 2016

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-498-5

Location: Rome, Italy

Dates: from August 21, 2016 to August 25, 2016