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
Link To Document