Towards conceptual foundations for service-oriented requirements engineering: bridging requirements and services ontologies
Towards conceptual foundations for service-oriented requirements engineering: bridging requirements and services ontologies
- Author(s): B. Verlaine ; Y. Dubois ; I.J. Jureta ; S. Faulkner
- DOI: 10.1049/iet-sen.2011.0027
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): B. Verlaine 1 ; Y. Dubois 1 ; I.J. Jureta 1 ; S. Faulkner 1
-
-
View affiliations
-
Affiliations:
1: PReCISE Research Center, University of Namur, Namur, Belgium
-
Affiliations:
1: PReCISE Research Center, University of Namur, Namur, Belgium
- Source:
Volume 6, Issue 2,
April 2012,
p.
85 – 102
DOI: 10.1049/iet-sen.2011.0027 , Print ISSN 1751-8806, Online ISSN 1751-8814
The engineering of a service-oriented system requires the specification of functions that Web services (WSs) should provide, before WSs are built or selected. Written in a service description language, the service specification instantiates concepts different than those used for requirement engineering (RE): the former speaks in terms of operations, metrics and bindings, whereas the latter manipulates, goals, evaluations and domain assumptions. It is, however, clear that functions expected of WSs to select or build will be relevant to the stakeholders if they satisfy the stakeholders’ requirements. As a result, there is a gap between the two specifications which must be bridged in order to ensure that the WS system is adequate w.r.t. requirements. This study proposes mappings between the concepts of requirements ontology and those of service taxonomy induced by the WSLD and the WSLA languages. A working prototype is presented that implements the mappings and is used to translate the instances of RE concepts into instances of WSLD and WSLA concepts. The mappings and the prototype facilitate the engineering of WS systems, as fragments of WS descriptions can be generated from requirements as a first specification of a service request.
Inspec keywords: ontologies (artificial intelligence); formal specification; specification languages; service-oriented architecture; Web services
Other keywords:
Subjects: Knowledge engineering techniques; Software engineering techniques; Formal methods; Internet software
References
-
-
1)
- Colasuonno, F., Coppi, S., Ragone, A., Scorcia, L.L.: `jUDDI+: a semantic-web services registry enabling semantic discovery and composition', Eighth IEEE Int. Conf. e-Commerce Technology (CEC 2006)/Third IEEE Int. Conf. Enterprise Computing, e-Commerce and E-Services (EEE 2006) and Workshops, 2006, p. 442–444.
-
2)
- Narayanan, S., McIlraith, S.A.: `Simulation, verification and automated composition of web services', Proc. Int. Conf. on World Wide Web (WWW 2002), 2002, p. 77–88.
-
3)
- Jureta, I.J., Borgida, A., Ernst, N.A., Mylopoulos, J.: `Techne: towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling', Proc. 18th IEEE Int. Requirements Engineering Conf. (RE 2010), 2010, p. 115–124.
-
4)
- Baresi, L., Miraz, M., Plebani, P.: `A flexible and semantic-aware publication infrastructure for web services', Proc. 20th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2008), 2008, p. 435–449, (LNCS, 5074).
-
5)
- I. Horrocks . DAML+OIL: a description logic for the semantic web. IEEE Data Eng. Bull. , 1 , 4 - 9
-
6)
- T. Erl . (2005) Service-oriented architecture: concepts, technology, and design.
-
7)
- Dobson, G., Lock, R., Sommerville, I.: `QoSOnt: a QoS ontology for service-centric systems', 31stEUROMICRO Conf. on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 2005, p. 80–87.
-
8)
- Rolland, C., Kaabi, R.S., Kraïem, N.: `On ISOA: intentional services oriented architecture', Proc. 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2007), 2007, p. 158–172, (LNCS, 4495).
-
9)
- S.A. McIlraith , D.L. Martin . Bringing semantics to web services. IEEE Intell. Syst. , 1 , 90 - 93
-
10)
- A. van Lamsweerde . (2009) Requirements engineering: from system goals to UML models to software specifications.
-
11)
- F. Casati , M.C. Shan , D. Georgakopoulos . E-services – guest editorial. VLDB J. , 1
-
12)
- T.R. Gruber . Toward principles for the design of ontologies used for knowledge sharing. Int. J. Human Comput. Stud. , 907 - 928
-
13)
- Skene, J., Lamanna, D.D., Emmerich, W.: `Precise service level agreements', Proc. 26th Int. Conf. Software Engineering (ICSE 2004), 2004, p. 179–188.
-
14)
- Tosic, V., Patel, K., Pagurek, B.: `WSOL – web service offerings language', Web Services, E-Business, and the Semantic Web, CAiSE 2002, Int. Workshop (WES 2002), 2002, p. 57–67.
-
15)
- Verlaine, B., Dubois, Y., Jureta, I.J., Faulkner, S.: `Towards automated alignment of web services to requirements', Proc. First Int. Workshop on the Web and Requirements Engineering (WeRE 2010), 2010, p. 5–12.
-
16)
- Yu, E.S.K.: `Towards modelling and reasoning support for early-phase requirements engineering', Proc. Third IEEE Int. Symp. on Requirements Engineering (RE 1997), 1997, p. 226–235.
-
17)
- M.P. Papazoglou , D. Georgakopoulos . Service-oriented computing. Commun. ACM , 10 , 24 - 28
-
18)
- Regev, G., Wegeman, A.: `Where do goals come from: the underlying principles of goal-oriented requirements engineering', Proc. 13th Int. Conf. on Requirements Engineering (RE 2005), 2005, p. 353–362.
-
19)
- Mahbub, K., Spanoudakis, G.: `A framework for requirements monitoring of service based systems', Proc. Second Int. Conf. on Service-Oriented Computing (ICSOC 2004), 2004, p. 84–93.
-
20)
- Q. Wang , J. Shao , F. Deng . An online monitoring approach for web service requirements. IEEE Trans. Serv. Comput. , 4 , 338 - 351
-
21)
- P. Reinecke , K. Wolter , M. Malek . (2010) A survey on fault-models for QoS studies of service-oriented systems.
-
22)
- de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: `The web service modeling language wsml: an overview', The Semantic Web: Research and Applications, Third European Semantic Web Conf. (ESWC 2006), 2006, p. 590–604, (LNCS, 4011).
-
23)
- The World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0 (Fifth Edition); 2008. Available from: http://www.w3.org/TR/xml/.
-
24)
- Verlaine, B., Jureta, I.J., Faulkner, S.: `Requirements engineering for services: an ontological framework', Proc. 2011 ACM Symp. on Applied Computing (SAC), 21–24 March 2011, TaiChung, Taiwan, p. 1622–1623.
-
25)
- J. Smith . (2007) Inside microsoft windows communication foundation.
-
26)
- Pilioura, T., Kapos, G.D., Tsalgatidou, A.: `PYRAMID-S: a scalable infrastructure for semantic web service publication and discovery', Proc. 14th Int. Workshop on Research Issues in Data Engineering (RIDE-WS-ECEG 2004), Web Services for E-Commerce and E-Government Applications, 2004, p. 15–22.
-
27)
- S. Staab , R. Studer . (2004) Handbook on ontologies. International handbooks on information systems.
-
28)
- T. Pilioura , A. Tsalgatidou . Unified publication and discovery of semantic Web services. ACM Trans. Web , 3 , 1 - 44
-
29)
- The World Wide Web Consortium (W3C). Hypertext Transfer Protocol – HTTP/1.1; 1999. Available from: http://www.w3.org/Protocols/rfc2616/rfc2616.html.
-
30)
- I.J. Jureta , J. Mylopoulos , S. Faulkner . A core ontology for requirements. Appl. Ontol. , 169 - 244
-
31)
- A. Borgida , L. Serafini . Distributed description logics: assimilating information from peer sources. J. Data Semant. I , 153 - 184
-
32)
- G. Antoniou , F. van Harmelen , S. Staab , R. Studer . (2004) Web ontology language: OWL, Handbook on ontologies. International handbooks on information systems.
-
33)
- Lamanna, D.D., Skene, J., Emmerich, W.: `SLAng: a language for defining service level agreements', Proc. Ninth IEEE Int. Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003, p. 100–106.
-
34)
- Cardoso, J., Winkler, M., Voigt, K.: `A service description language for the internet of services', Proc. First Int. Symp. Services Science (ISSS 2009), 2009, Leipzig, Germany, (LNI), 5.
-
35)
- Zachos, K., Maiden, N.A.M., Zhu, X., Jones, S.: `Discovering web services to specify more complete system requirements', Proc. 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2007), 2007, p. 142–157, (LNCS, 4495).
-
36)
- Driss, M., Moha, N., Jamoussi, Y., Jézéquel, J.M., Ghézala, H.H.B.: `A requirement-centric approach to web service modeling, discovery, and selection', Proc. Eighth Int. Conf. on Service-Oriented Computing (ICSOC 2010), 2010, p. 258–272, (LNCS, 6470).
-
37)
- K. Verma , K. Sivashanmugam , A. Sheth , A. Patil , S. Oundhakar , J. Miller . METEOR-S WSDI: a scalable P2P infrastructure of registries for semantic publication and discovery of web services. J. Inf. Technol. Manag. , 1 , 17 - 39
-
38)
- Pathak, J., Basu, S., Honavar, V.: `Modeling web services by iterative reformulation of functional and non-functional requirements', Proc. Fourth Int. Conf. on Service-Oriented Computing (ICSOC 2006), 2006, p. 314–326, vol. (LNCS, 4294).
-
39)
- F. Curbera , M.J. Duftler , R. Khalaf , W. Nagy , N. Mukhi , S. Weerawarana . Unraveling the web services web: an introduction to SOAP, WSDL, and UDDI. IEEE Internet Comput. , 2 , 86 - 93
-
40)
- J. Kopecký , T. Vitvar , C. Bournez , J. Farrell . SAWSDL: semantic annotations for WSDL and XML schema. IEEE Internet Comput. , 6 , 60 - 67
-
41)
- A. Keller , H. Ludwig . The WSLA framework: specifying and monitoring service level agreements for web services. J. Netw. Syst. Manag. , 1 , 57 - 81
-
42)
- F. Baader , D. Calvanese , D.L. McGuinness , D. Nardi , P.F. Patel-Schneider . (2003) The description logic handbook: theory, implementation, and applications.
-
43)
- Hao, Y., Cao, J., Zhang, Y.: `Efficient IR-style search over web services', 21stInt. Conf. on Advanced Information Systems Engineering (CAiSE 2009), 2009, p. 305–318, (LNCS, 5565).
-
44)
- E. Cerami , S.S. Laurent . (2002) Web services essentials, Web services essentials: distributed applications with XML-RPC, SOAP, UDDI & WSDL.
-
45)
- B. Medjahed , A. Bougettaya , A.K. Elmagarmid . Composing web services on the semantic web. VLDB J. , 333 - 351
-
46)
- Cheng, B.H.C., Atlee, J.M.: `Research directions in requirements engineering', Proc. Int. Conf. on Software Engineering (ISCE 2007) and Workshop on the Future of Software Engineering (FOSE 2007), 2007, p. 285–303.
-
47)
- C. Werner , S. Fischer , R. Studer , S. Grimm , A. Abecker . (2007) Architecture and standardisation of web services, Semantic web services, concepts, technologies, and applications.
-
48)
- McIlraith, S.A., Son, T.C.: `Adapting Golog for composition of semantic web services', Proc. Eighth Int. Conf. on Principles and Knowledge Representation and Reasoning (KR’02), 2002, p. 482–496.
-
49)
- Jureta, I., Faulkner, S., Achbany, Y., Saerens, M.: `Dynamic web service composition within a service-oriented architecture', IEEE Int. Conf. on Web Services (ICWS 2007), 2007, p. 304–311.
-
50)
- Jureta, I.J., Mylopoulos, J., Faulkner, S.: `Revisiting the core ontology and problem in requirements engineering', Proc. 16th IEEE Int. Requirements Engineering Conf. (RE 2008), 2008, p. 71–80.
-
51)
- Tsai, W.T., Jin, Z., Wang, P., Wu, B.: `Requirement engineering in service-oriented system engineering', Proc. ICEBE 2007, IEEE Int. Conf. on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 2007, p. 661–668.
-
52)
- Dong, X., Halevy, A.Y., Madhavan, J., Nemes, E., Zhang, J.: `Similarity search for web services', Proc. 30th Int. Conf. Very Large Data Bases (VLDB’04), 2004, p. 372–383.
-
53)
- Berardi, D., Gruninger, M., Hull, R., McIlraith, S.: `Towards a first-order ontology for semantic web services', Proc. W3C Workshop on Constraints and Capabilities for Web Services, 2005, p. 1–5.
-
54)
- Nuseibeh, B., Easterbrook, S.M.: `Requirements engineering: a roadmap', Proc. Conf. on Future of Software Engineering (ICSE 2000) – Future of SE Track’, 2000, p. 35–46.
-
55)
- Verlaine, B., Jureta, I.J., Faulkner, S.: `Towards conceptual foundations of requirements engineering for services', Proc. Fifth IEEE Int. Conf. on Research Challenges in Information Science (RCIS 2011), 19–21 May 2011, Gosier, Guadeloupe, p. 147–157.
-
56)
- A. Niknejad .
-
57)
- Q. Yu , X. Liu , A. Bouguettaya , B. Medjahed . Deploying and managing Web services: issues, solutions, and directions. VLDB J. , 3 , 537 - 572
-
58)
- D. Tennenhouse . Proactive computing. Commun. ACM , 5 , 43 - 50
-
59)
- Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: `Semantic matching of web services capabilities', Semantic Web – Proc. First Int. Semantic Web Conf. (ISWC 2002), 2002, p. 333–347, (LNCS, 2342).
-
60)
- Hao, Y., Zhang, Y., Cao, J.: `WSXplorer: searching for desired web services', Proc. 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2007), 2007, p. 173–187, (LNCS, 4495).
-
61)
- van Lamsweerde, A.: `Goal-oriented requirements engineering: a guided tour', Proc. Fifth IEEE Int. Symp. on Requirements Engineering (RE 2001), 2001, p. 249.
-
62)
- P. Zave . Classification of research efforts in requirements engineering. ACM Comput. Surv. , 4 , 315 - 321
-
63)
- Guarino, N.: `Formal ontology and information systems', Proc. First Int. Conf. on Formal Ontology in Information Systems (FOIS 1998), 1998, p. 3–15.
-
64)
- R. Heidasch . Get ready for the next generation of SAP business applications based on the Enterprise Service-Oriented Architecture (Enterprise SOA).
-
65)
- M.P. Papazoglou , W.J. van den Heuvel . Service-oriented architectures: approaches, technologies and research issues. VLDB J. , 3 , 389 - 415
-
66)
- R. Ten-Hove . (2006) Using JBI for service-oriented integration (SOI).
-
67)
- L.J. Zhang , B. Li . Requirements driven dynamic services composition for web services and grid solutions. J. Grid Comput. , 2 , 121 - 140
-
68)
- Chung, L., Sampaio do Prado Leite, J.C.: `On non-functional requirements in software engineering', Proc. Conceptual Modeling: Foundations and Applications, 2009, p. 363–379, (LNCS, 5600).
-
69)
- H. Chen , K. He . A method for service-oriented personalized requirements analysis. J. Softw. Eng. Appl. , 1 , 59 - 68
-
70)
- B. Benatallah , M.S. Hacid , A. Léger , C. Rey , F. Toumani . On automating web services discovery. VLDB J. , 1 , 84 - 96
-
71)
- Robinson, W.N.: `Monitoring web service requirements', Proc. 11th IEEE Int. Conf. on Requirements Engineering (RE 2003), 2003, p. 65–74.
-
72)
- S.A. McIlraith , T.C. Son , H. Zeng . Semantic web services. IEEE Intell. Syst. , 2 , 46 - 53
-
73)
- OASIS UDDI Specification TC. UDDI Spec Technical Committee Draft 3.0.2. OASIS; 2004. Available from: http://uddi.org/pubs/uddi\_v3.htm.
-
1)