Title :
Service-oriented design with aspects (SODA)
Author :
Kim, Tae-Hyung ; Chang, Carl K.
Author_Institution :
Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
Abstract :
In this paper, we introduce a service-oriented design method by integrating the concept of aspects, which is called service-oriented design with aspects (SODA) in order to utilize services and aspects as fundamental and abstract elements in the design phase of software lifecycle. The service model is represented in the structural and behavior views using UML with its extension mechanism and Petri net respectively. Aspects are used to capture service-specific concerns required for delivering high-quality and user-friendly services. By weaving services and aspects, we can generate various versions of a service system as well as their Petri net based service semantics that also facilitates the verification of service design results. We exemplify a service design result of SODA by applying it to a supply-chain management application.
Keywords :
Internet; Petri nets; Unified Modeling Language; formal specification; formal verification; object-oriented programming; supply chain management; Petri net based service semantics; SODA; UML; high-quality user-friendly service; service design verification; service-oriented design with aspects; software lifecycle design phase; supply-chain management; Computer science; Context-aware services; Design methodology; Distributed computing; Petri nets; Quality of service; Security; Software design; Unified modeling language; Weaving;
Conference_Titel :
Services Computing, 2005 IEEE International Conference on
Print_ISBN :
0-7695-2408-7
DOI :
10.1109/SCC.2005.116