Authors:
Imen Graja
;
Imen Loulou
and
Ahmed Hadj Kacem
Affiliation:
University of Sfax, Tunisia
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 schema
s using the formal language ASL (ArchWare Style Language). All specifications are
implemented and checked using the ASL Toolkit.
(More)