• DocumentCode
    3268814
  • Title

    Developing context-dependent service-oriented applications

  • Author

    Ibrahim, Niko

  • Author_Institution
    Dept. of Math & Comp Sci, Albany State Univ., Albany, GA, USA
  • fYear
    2012
  • fDate
    18-20 Dec. 2012
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    Developing service-oriented applications is concerned with the two main areas (1) service definition and provision, and (2) service composition. Current approaches for the definition and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. These conditions are necessary to associate the related contextual information, such as the context of the service provider and the context of service requester. Current composition approaches compose only service functionality and ignore nonfunctional requirements. Thus, service contracts, and context information that are part of services are left out of the composition, and verification. The FrSeC architecture aims to remedy this situation. The architecture supports the specification, publication, discovery, selection, and composition of services, where a service with its functional and nonfunctional aspects is bound to a context-driven contract. In this paper, we discuss developing service-oriented applications using FrSeC.
  • Keywords
    contracts; formal specification; formal verification; service-oriented architecture; FrSeC architecture; context-dependent service-oriented application developmennt; context-driven service contract; contextual information; functional aspects; nonfunctional aspects; service composition; service definition; service discovery; service functionality; service provider context; service provision; service publication; service requester context; service selection; service specification; service verification; Authentication; Context; Contracts; Law; Planning; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Systems and Industrial Informatics (ICCSII), 2012 International Conference on
  • Conference_Location
    Sharjah
  • Print_ISBN
    978-1-4673-5155-3
  • Type

    conf

  • DOI
    10.1109/ICCSII.2012.6454466
  • Filename
    6454466