loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Imen Tounsi 1 ; Zied Hrichi 1 ; Mohamed Hadj Kacem 1 ; Ahmed Hadj Kacem 2 and Khalil Drira 3

Affiliations: 1 ReDCAD, Tunisia ; 2 University of Sfax, Tunisia ; 3 CNRS, LAAS and Univ. de Toulouse, France

ISBN: 978-989-8565-60-0

Keyword(s): SOA Design patterns: SoaML modeling: Formal methods: Event-B method: Tool support

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling of Distributed Systems ; Software Engineering

Abstract: Although design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endow design methods. In this paper, we present an approach that aims, first, to model message-oriented SOA design patterns with the SoaML language, and second to transform them to Event-B specifications. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. Our approach is enhanced with a tool supporting it. Specification results are imported under the Rodin platform which we use to prove model consistency.

PDF ImageFull Text

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

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:
Tounsi I., Hrichi Z., Hadj Kacem M., Hadj Kacem A. and Drira K. (2013). Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 294-301. DOI: 10.5220/0004453302940301

@conference{iceis13,
author={Imen Tounsi and Zied Hrichi and Mohamed Hadj Kacem and Ahmed Hadj Kacem and Khalil Drira},
title={Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={294-301},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004453302940301},
isbn={978-989-8565-60-0},
}

TY - CONF

JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
SN - 978-989-8565-60-0
AU - Tounsi I.
AU - Hrichi Z.
AU - Hadj Kacem M.
AU - Hadj Kacem A.
AU - Drira K.
PY - 2013
SP - 294
EP - 301
DO - 10.5220/0004453302940301

Login or register to post comments.

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