loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Imen Graja ; Imen Loulou and Ahmed Hadj Kacem

Affiliation: University of Sfax, Tunisia

ISBN: 978-989-758-030-7

Keyword(s): Correct by Design, Service-oriented Architectural Style, Communication Schemas, Formal Specification.

Related Ontology Subjects/Areas/Topics: Communication and Software Technologies and Architectures ; e-Business ; Enterprise Information Systems ; Formal Methods ; Languages, Tools and Architectures ; Model-Driven Software Development ; Service-Oriented Architectures ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques ; Technology Platforms

Abstract: As a piece of software continues to evolve, it inevitably becomes more complicated and harder to understand, maintain, reuse, evolve and improve. Software architecture has emerged as a solution to these issues particularly for complex systems. Having a correct software architecture is critical to the success of the design and the development of a system. In order to design a correct software architecture the concept of architectural styles is used. In this paper, we propose SOA-CoM, a formal approach for the correct modeling of service oriented architectural styles. We specify a set of communication schemas that define SOA structural and interaction properties. These schemas are modeled as UML graphs. In order to reuse them and to build the style, we define composition rules that can be applied to them. A software architect can then extend the designed style with non-functional properties (NFP) using extension rules. To ensure design correctness, we specify these communication schemas using the formal language ASL (ArchWare Style Language). All specifications are implemented and checked using the ASL Toolkit. (More)

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 3.226.251.81

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:
Graja, I.; Loulou, I. and Hadj Kacem, A. (2014). SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties.In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-030-7, pages 172-179. DOI: 10.5220/0004889001720179

@conference{enase14,
author={Imen Graja. and Imen Loulou. and Ahmed Hadj Kacem.},
title={SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties},
booktitle={Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2014},
pages={172-179},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004889001720179},
isbn={978-989-758-030-7},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties
SN - 978-989-758-030-7
AU - Graja, I.
AU - Loulou, I.
AU - Hadj Kacem, A.
PY - 2014
SP - 172
EP - 179
DO - 10.5220/0004889001720179

Login or register to post comments.

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