• DocumentCode
    443015
  • 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
  • Volume
    1
  • fYear
    2005
  • fDate
    11-15 July 2005
  • Firstpage
    319
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Services Computing, 2005 IEEE International Conference on
  • Print_ISBN
    0-7695-2408-7
  • Type

    conf

  • DOI
    10.1109/SCC.2005.116
  • Filename
    1531270