Service discovery and component reuse with semantic interfaces

Lecture Notes in Computer Science

Volumn 3530, Issue , 2005, Pages 85-102

  Sanders, Richard T ^a   Bræk, Rolv ^b   Von Bochmann, Gregor ^c   Amyot, Daniel ^c  

^a SINTEF ICT   (Norway)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^c UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SEMANTICS;

DISTRIBUTED COMPUTING; SERVICE ORIENTED COMPUTING (SOC); TELEPHONY SERVICES; WEB SERVICES;

COMPUTER SCIENCE;

EID: 26444620218     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506843_6     Document Type: Conference Paper

References (18)

1. Abadi, M. and Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages & Systems, vol.17, no.3, May 1995, 507-534.
2. Black, A., Hutchinson, N., Jul, E., Levy, H., and Carter, L.: Distribution and Abstract Types in Emerald. IEEE Trans. on Software Engineering, Vol. SE-13, no. 1, January 1987, 65-76.
3. Bettstetter, C. and Renner, C.: A Comparison of Service Discovery Protocols and Implementation of the Service Location Protocol. Proc. EUNICE Open European Summer School, Twente, Netherlands, Sept 13-15, 2000.
4. Bræk, R., Husa, K.E., and Melby, G.: ServiceFrame: WhitePaper. Ericsson Norarc, 2002. http://www.item.ntnu.no/lab/nettint1/ServiceFrame/ ServiceFrame.html
5. Bræk, R. and Haugen, Ø.: Engineering Real Time Systems. An Object Oriented Methodology using SDL. Hemel Hempstead, Prentice Hall, 1993.
6. Brinksma, E. and Scollo, G.: LOTOS specifications, their implementations and their tests. Protocol Specification, Testing and Verification VI (IFIP Workshop), Montreal, 1986, North Holland, 349-360.
7. Drissi, J. and Bochmann, G.v.: Submodule construction tool. M. Mohammadian (Ed.), Proc. Int. Conf. on Computational Intelligence for Modelling, Control and Automation, Vienna, Feb. 1999, IOS Press, 319-324.
8. Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. Ph.D. thesis 2003:47 NTNU, Norway, 2003.
9. Gouda, M.G. and Yu, Y.-T.: Synthesis of communicating Finite State Machines with guaranteed progress. IEEE Trans. on Communications, vol. 32, No. 7, July 1984, 779-788.
10. Hopcroft, J.E., and Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, 1979.
11. Lynch, N.A. and Tuttle, M.R.: An introduction to input/output automata. CWI Quarterly, 2(3), 1989, 219-246.
12. Melby, G. and Bræk, R.: Delivery of convergent telecommunication services on J2EE platforms. Int. Conf. on Intelligence in Service Delivery Networks, ICIN, Bordeaux, France, October 2004.
13. OASIS: Universal Description Discovery & Integration (UDDI), Version 3.02, February 2005. http://www.oasis-open.org/committees/uddi-spec
14. OMG: UML 2.0 specifications. http://www.omg.org/uml
15. Paolucci, M., Kawamura, T., Payne, T.R., and Sycara, K.P.: Semantic Matching of Web Services Capabilities. I. Horrocks, J.A. Hendler (Eds.): The Semantic Web-ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2342, Springer 2002, 333-347
16. Singh, M.P. and Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, 2005.
17. World Wide Web Consortium: Web Services Description Language (WSDL) 1.1. March 2001. http://www.w3.org/TR/wsdl
18. World Wide Web Consortium: Web Ontology Language (OWL). February 2004. http://www.w3.org/2004/OWL/