SOA-CoM: Building a Correct by Design Service Oriented Architectural Style Supporting Structural and Non-functional Properties

摘要

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.