Describing active services for publication and discovery

Studies in Computational Intelligence

Volumn 150, Issue , 2008, Pages 173-187

  Samset, Haldor ^a   Bræk, Rolv ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 59549084674     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-70561-1_13     Document Type: Conference Paper

References (23)

1. Beyer, D., Chakrabarti, A., Henzinger, T.A.: An interface formalism for web services. In: Proceedings of the First International Workshop on Foundations of Interface Technologies (FIT 2005), San Francisco, CA, August 21 (2005)
2. Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: WWW 2005: Proceedings of the 14th international conference on World Wide Web, pp. 148-159. ACM, New York (2005), http://doi.acm.org/10.1145/ 1060745.1060770
3. Box, D.: A guide to developing and running connected systems with indigo. MSDN Magazine 19(1) (January 2004), http://msdn.microsoft.com/ msdnmag/issues/04/01/Indigo/default.aspx
4. Broy, M., Krüger, I.H., Meisinger, M.: A formal model of services. ACM Transactions Software Engineering and Methodology 16(1) (2007), http://doi.acm.org/10.1145/1189748.1189753
5. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice-Hall, Englewood Cliffs (2005)
6. Ermagan, V., Krüger, I.H.: A uml2 profile for service modeling. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 360-374. Springer, Heidelberg (2007)
7. Fallside, D.C., Walmsley, P.: XML schema part 0: Primer second edition. W3C recommendation, W3C (2004), http://www.w3.org/TR/2004/ REC-xmlschema-0-20041028/
8. Farrell, J., Lausen, H.: Semantic annotations for WSDL and XML schema. W3C recommendation, W3C (2007), http://www.w3.org/TR/2007/ REC-sawsdl-20070828/
9. Floch, J.: Towards Plug and Play Services, Design and Validation of Roles. Ph.D. thesis, Department of Telematics, Faculty of Information Technology, Mathematics and Electrical Engineering, NTNU (2003)
10. Floch, J., Bræk, R.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 237-256. Springer, Heidelberg (2005)
11. Group, P.: Parlay X Web Services Specification, Version 2.1 - Short Messaging (2006), http://www.parlay.org/en/specifications/pxws.asp
12. Holzmann, G.J.: The SPIN model checker: Primer and reference manual. Addison-Wesley, Reading (2004)
13. Kraemer, F.A.: Arctis and Ramses: Tool Suites for Rapid Service Engineering. In: Proceedings of NIK 2007 (Norsk informatikkonferanse), Oslo, Norway, Tapir Akademisk Forlag (2007)
14. Kraemer, F.A., Herrmann, P., Bræk, R.: Aligning UML 2.0 state machines and temporal logic for the efficient execution of services. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4276, pp. 1613-1632. Springer, Heidelberg (2006)
15. Lewis, A.A.: Web services description language (WSDL) version 2.0: Additional MEPs. W3C note, W3C (2007), http://www.w3.org/TR/2007/ NOTE-wsdl20-additional-meps-20070626
16. Liu, C.K., Booth, D.: Web services description language (WSDL) version 2.0 part 0: Primer. W3C recommendation, W3C (2007), http://www.w3.org/TR/ 2007/REC-wsdl20-primer-20070626
17. Mencl, V.: Specifying component behavior with port state machines. Electronic Notes in Theoretical Computer Science 101C, 129-153 (2004), citeseer.ist.psu.edu/article/mencl04specifying.html. In: De Boer, F., Bonsangue, M. (eds.): Special issue: Proceedings of the Workshop on the Compositional Verification of UML Models CVUML
18. Object Management Group: Unified Modeling Language 2.0 Superstructure Specification (2006)
19. Orchard, D., Weerawarana, S., Lewis, A.A., Moreau, J.J., Haas, H., Chinnici, R.: Web services description language (WSDL) version 2.0 part 2: Adjuncts. W3C recommendation, W3C (2007), http://www.w3.org/TR/2007/ REC-wsdl20-adjuncts-20070626
20. Quartel, D.A.C., Steen, M.W.A., Pokraev, S., van Sinderen, M.: COSMO: A conceptual framework for service modelling and refinement. Information Systems Frontiers 9(2-3), 225-244 (2007), http://dx.doi.org/10.1007/ s10796-007-9034-7
21. Samset, H., Bræk, R.: Dealing with Active and Stateful Services in Service-oriented Architecture. In: First International Workshop on Telecom Service Oriented Architectures (TSOA 2007). LNCS, Springer, Heidelberg (2008)
22. Sanders, R.T., Bræk, R., Bochmann, G., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530. Springer, Heidelberg (2005)
23. Vissers, C.A., Logrippo, L.: The importance of the service concept in the design of data communications protocols. In: Diaz, M. (ed.) Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 3-17. North-Holland, Amsterdam (1985)