University of Helsinki Department of Computer Science
 

Department of Computer Science

Department information

Homepage News and events Research Studies Admission Computing facilities Administration Quality manual Contact information
 

Research seminar on Service-Oriented Software Engineering (3 cu)

Ass. Toni Ruokolainen, Prof. Lea Kutvonen
05.09.-10.10. ti 14-16 C220, 31.10.-05.12. ti 14-16 C220

Service-Oriented Computing is a paradigm for designing and implementing loosely-coupled distributed systems. Development process of service-oriented systems is a collaboration between three differents inter-dependent roles, namely application builders, service publishers, and service providers. New service-oriented systems are developed by utilising service discovery facilities and service composition rather than traditional design and coding.

This seminar covers the concepts, methods and technologies related to the area of service-oriented software engineering. More specifically, the areas of interest include service-orientation in general, modelling of services and service-oriented systems, verification of service-oriented systems using formal methods, different service composition models, modelling methodologies and implementation techniques suitable for service-oriented software engineering, as well as service-oriented platform issues related to the development process.

Themes

  • Service-orientation
    • Elements of service-orientation
    • Relationships to other software engineering paradigms (e.g. object / component orientation)
    • Comparison of service-oriented and distributed object / component based systems
  • Service Design
    • Methodologies
    • Tools
  • Specification and modelling
    • Service specification languages
    • Architecture description languages
    • Process modelling languages
    • Use of UML 2 for service and architecture modelling
  • Service composition models
    • Composition based on behavioural specifications (process algebras, conversation specifications)
    • Automata-based composition
    • Petri-net based models
    • Semantic web-style of service composition (DAML-S / OWL-S)
    • Agent-based composition
    • Knowledge-based composition
    • Megaprogramming
  • Verification of services and service-oriented architectures
    • Verification of architectural compatibility
    • Verification of service interoperability
    • Verification of service compositions
    • Verification methods
  • Implementation techniques
    • Model-Driven Development / Architectures
    • Automatic system composition
    • Code generation in general
    • Service-oriented implementation tools and languages
  • Validation of service operation
    • Dynamic validation
    • Conformance checking
    • Runtime monitoring
  • Operation and maintenance of service-oriented systems
    • Service deployment
    • Service discovery
    • Dynamic binding
    • Platform configuration
    • Collaboration establishment
    • Management of collaborative processes
    • Distributed execution of choreographies

Prerequisities

Seminars are part of master's studies, so students should not attend the seminar before they have finished their bachelor's studies. The seminar is primarily targeted for students on the area of Distributed systems and Software Engineering, thus related studies are recommended, such as Distributed systems, Data communication, Middleware, and Software Architectures. Also courses and knowledge on Formal Methods (process algebras, finite-state automata, etc.) are relevant to this subject and highly recommended.

Particularly important prerequisite for the seminar is Scientific Writing (Tieteellisen kirjoittamisen kurssi).

Practicalities

In the seminar, each participant is expected to perform the following tasks.
  • Abstract - or work plan. One or two pages (extended abstract) with list of main references to show other participants what to expect as the goal, focus, and main contribution to the discussion. Abstracts will be published on week 2.
  • Paper, about 15-20 pages. The texts will be distributed to the participants one week before the presentation. Format: pdf.
  • Presentation The presentation can take about 70 minutes, the rest of the session is reserved for discussion.
  • Active participation to discussion Prepare yourself for the discussion by reading the paper, considering new aspects to contribute into the discussion (for example, use views arising from your own topic), reading related publications!
  • Providing feedback Besides contributing to the contents of discussion, you can contribute by providing insight on quality of presentations and papers. In the end of each session, each participant writes down (anonymously is ok) some strong features of the paper, presentation, etc, as well as a few points where improvements could be suggested.
Kts myös laitoksen seminaariohjetta.

Program and Schedule

DateTopicPresenterAbstractPaperSlides
05.09.2006Introductory lecture and program details discussionToni Ruokolainen  .pdf
12.09.2006No session        
19.09.2006Abstracts due!No session     
26.09.2006No session     
03.10.2006 "Composing Service in SOA: Workflow Design, Usage and Patterns" Matti Koskimies .pdf .pdf .pdf
10.10.2006 "Kohti palveluperustaisuutta - palvelujen suhden objekteihin ja komponentteihin" Paula Kuosmanen .txt .pdf  
17.10.2006 "REST - An idealistic model or a realistic solution?" Jari Aarniala .pdf .pdf .pdf
24.10.2006No session (period break)N.N    
31.10.2006 "Model Driven Architecture - Efficiency by Abstraction" Mika Majakorpi .pdf .pdf  
07.11.2006No sessionN.N    
14.11.2006 "Software factories" Matti Husu .pdf .pdf .pdf
21.11.2006"Palvelukuvaukset ja niiden käyttö palveluiden suunnittelussa" Tom Bertell .pdf .pdf  
28.11.2006 TUPLASESSIO alkaen klo 12.15 "Web Services service level management" Tuomas Nurmela .pdf .pdf  
  "Semantic Web Service Composition" Riina Henriksson .pdf .pdf  
05.12.2006 SOA-emergence seminaari SOAMeS projekti .html    
07.12.2006
klo 10-12 		"Palvelujen dynaaminen valvonta" Esa Hämäläinen .pdf .pdf  

Material and references (to be categorised)

[1]
Nick Bassiliades, Dimosthenis Anagnostopoulos, and Ioannis Vlahavas. Web service composition using a deductive xml rule language. Distrib. Parallel Databases, 17(2):135-178, 2005.
[ bib | http ]

[2]
Boualem Benatallah, Fabio Casati, and Farouk Toumani. Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing, 8(1):46-54, 2004.
[ bib | http ]

[3]
D. Berardi, F. De Rosa, L. De Santis, and M. Mecella. Finite state automata as conceptual model for e-services, 2003.
[ bib | .pdf ]

[4]
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella. Automatic composition of e-services that export their behavior. In Proc. of the 1st Int. Conf. on Service Oriented Computing (ICSOC 2003), volume 2910 of Lecture Notes in Computer Science, pages 43-58. Springer, 2003.
[ bib | .pdf ]

[5]
Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, and Diego Calvanese. Synthesis of underspecified composite e-services based on automated reasoning. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 105-114, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[6]
Aysu Betin-Can, Tevfik Bultan, and Xiang Fu. Design for verification for asynchronously communicating web services. In WWW '05: Proceedings of the 14th international conference on World Wide Web, pages 750-759, New York, NY, USA, 2005. ACM Press.
[ bib | http ]

[7]
Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger. Web service interfaces. In WWW '05: Proceedings of the 14th international conference on World Wide Web, pages 148-159, New York, NY, USA, 2005. ACM Press.
[ bib | http ]

[8]
Tevfik Bultan, Xiang Fu, Richard Hull, and Jianwen Su. Conversation specification: a new approach to design and analysis of e-service composition. In WWW '03: Proceedings of the 12th international conference on World Wide Web, pages 403-410, New York, NY, USA, 2003. ACM Press.
[ bib | http ]

[9]
Jorge Cardoso and Amit Sheth. Semantic e-workflow composition. J. Intell. Inf. Syst., 21(3):191-225, 2003.
[ bib | http ]

[10]
Soon Ae Chun, Vijayalakshmi Atluri, and Nabil R. Adam. Using semantics for policy-based web service composition. Distrib. Parallel Databases, 18(1):37-64, 2005.
[ bib | http ]

[11]
Dominic Cooney, Marlon Dumas, and Paul Roe. A programming language for web service development. In CRPIT '38: Proceedings of the Twenty-eighth Australasian conference on Computer Science, pages 143-150, Darlinghurst, Australia, Australia, 2005. Australian Computer Society, Inc.
[ bib ]

[12]
N. J. Davies, D. Fensel, and M. Richardson. The Future of Web Services. BT Technology Journal, 22(1):118-130, 2004.
[ bib | http ]

[13]
Ziyang Duan, Arthur Bernstein, Philip Lewis, and Shiyong Lu. A model for abstract process specification, verification and composition. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 232-241, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[14]
Andrea Ferrara. Web services: a process algebra approach. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 242-251, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[15]
George Feuerlicht and Sooksathit Meesathit. Design framework for interoperable service interfaces. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 299-307, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[16]
Xiang Fu, Tevfik Bultan, and Jianwen Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci., 328(1-2):19-37, 2004.
[ bib | http ]

[17]
K Fujii and T Suda. Component service model with semantics (CoSMoS): a new component model for dynamic service composition. In International Symposium on Applications and the Internet Workshops (SAINT 2004), pages 348-354. IEEE, jan 2004.
[ bib | http ]

[18]
Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, and Jianwen Su. Automated composition of e-services: lookaheads. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 252-262, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[19]
Greg Goth. Critics say web services need a rest. IEEE Distributed Systems Online, 5(12):1, 2004.
[ bib | http ]

[20]
Robert J. Hall and Andrea Zisman. Behavioral models as service descriptions. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 163-172, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[21]
Rachid Hamadi and Boualem Benatallah. A petri net-based model for web service composition. In CRPITS'17: Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, pages 191-200, Darlinghurst, Australia, Australia, 2003. Australian Computer Society, Inc.
[ bib ]

[22]
Jon Hopkins. Component primer. Commun. ACM, 43(10):27-30, 2000.
[ bib | http ]

[23]
Richard Hull and Jianwen Su. Tools for composite web services: a short overview. SIGMOD Rec., 34(2):86-95, 2005.
[ bib | http ]

[24]
Steve Jones. Toward an Acceptable Definition of Service. IEEE Softw., 22(3):87-93, 2005.
[ bib | http ]

[25]
Rim Samia Kaabi, Carine Souveyet, and Colette Rolland. Eliciting service composition in a goal driven manner. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 308-315, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[26]
Mariya Koshkina and Franck van Breugel. Modelling and verifying web service orchestration by means of the concurrency workbench. SIGSOFT Softw. Eng. Notes, 29(5):1-10, 2004.
[ bib | http ]

[27]
Heather Kreger. Fulfilling the web services promise. Commun. ACM, 46(6):29-34, 2003.
[ bib | http ]

[28]
Kevin J. Ma. Web services: What's real and what's not? IT Professional, 7(2):14-21, 2005.
[ bib | http ]

[29]
Zakaria Maamar, Soraya Kouadri Mostefaoui, and Hamdi Yahyaoui. Toward an agent-based and context-oriented approach for web services composition. IEEE Transactions on Knowledge and Data Engineering, 17(5):686-697, 2005.
[ bib | http ]

[30]
Ioana Manolescu, Marco Brambilla, Stefano Ceri, Sara Comai, and Piero Fraternali. Model-driven design and deployment of service-enabled web applications. ACM Trans. Inter. Tech., 5(3):439-479, 2005.
[ bib | http ]

[31]
Brahim Medjahed, Athman Bouguettaya, and Ahmed K. Elmagarmid. Composing web services on the semantic web. The VLDB Journal, 12(4):333-351, 2003.
[ bib | http ]

[32]
L. G. Meredith and Steve Bjorg. Contracts and types. Commun. ACM, 46(10):41-47, 2003.
[ bib | http ]

[33]
Nikola Milanovic and Miroslaw Malek. Current solutions for web service composition. IEEE Internet Computing, 8(6):51-59, 2004.
[ bib | http ]

[34]
Z. Milosevic, P. F. Linington, S.Gibson, S. Kulkarni, and J.Cole. Inter-organisational collaborations supported by e-contracts. In The fourth IFIP conference on E-commerce, E-Business, E-Government, Toulouse, France, August 2004.
[ bib | .pdf ]

[35]
K. Mockford. Web Services Architecture. BT Technology Journal, 22(1):19-26, 2004.
[ bib | http ]

[36]
Paul Muschamp. An introduction to Web Services. BT Technology Journal, 22(1):9-18, 2004.
[ bib | http ]

[37]
Srini Narayanan and Sheila A. McIlraith. Simulation, verification and automated composition of web services. In WWW '02: Proceedings of the 11th international conference on World Wide Web, pages 77-88, New York, NY, USA, 2002. ACM Press.
[ bib | http ]

[38]
M. P. Papazoglou and D. Georgakopoulos. Introduction. Commun. ACM, 46(10):24-28, 2003.
[ bib | http ]

[39]
Mike P. Papazoglou and Jian Yang. Design methodology for web services and business processes. In TES '02: Proceedings of the Third International Workshop on Technologies for E-Services, pages 54-64, London, UK, 2002. Springer-Verlag.
[ bib | http ]

[40]
Cesare Pautasso and Gustavo Alonso. From web service composition to megaprogramming. In 5th International Workshop on Technologies for E-Services (TES 2004), pages 39-53, 2004.
[ bib | http ]

[41]
Cesare Pautasso and Gustavo Alonso. From Web Service Composition to Megaprogramming. In 5th International Workshop on Technologies for E-Services, volume 3324 of LNCS, pages 39-53. Springer-Verlag GmbH, 2005.
[ bib ]

[42]
Chris Preist, Claudio Bartolini, and Andrew Byde. Agent-based service composition through simultaneous negotiation in forward and reverse auctions. In EC '03: Proceedings of the 4th ACM conference on Electronic commerce, pages 55-63, New York, NY, USA, 2003. ACM Press.
[ bib | http ]

[43]
Dick Quartel, Remco Dijkman, and Marten van Sinderen. Methodological support for service-oriented design with isdl. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 1-10, New York, NY, USA, 2004. ACM Press.
[ bib | http ]

[44]
Roger Sessions. Fuzzy boundaries: objects, components, and web services. Queue, 2(9):40-47, 2005.
[ bib | http ]

[45]
Pradyumna Siddhartha and Shubhashis Sengupta. Web Services Interoperability: A Practitioner's Experience. In CoopIS/DOA/ODBASE, pages 587-601, 2002.
[ bib | http ]

[46]
Munindar P. Singh, Amit K. Chopra, Nirmit Desai, and Ashok U. Mallya. Protocols for processes: programming in the large for open systems. SIGPLAN Not., 39(12):73-83, 2004.
[ bib | http ]

[47]
Munindar P. Singh and Michael N. Huhns. Service-Oriented Computing: Semantic, Processes, Agents. John Wiley & Sons, Ltd., 2005.
[ bib ]

[48]
Michael Stal. Web services: beyond component-based computing. Commun. ACM, 45(10):71-76, 2002.
[ bib | http ]

[49]
Stefan Tai, Rania Khalaf, and Thomas Mikalsen. Composition of coordinated web services. In Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, pages 294-310, New York, NY, USA, 2004. Springer-Verlag New York, Inc.
[ bib ]

[50]
Wil M. P. van der Aalst, Marlon Dumas, and Arthur H. M. ter Hofstede. Web service composition languages: Old wine in new bottles? In EUROMICRO '03: Proceedings of the 29th Conference on EUROMICRO, page 298, Washington, DC, USA, 2003. IEEE Computer Society.
[ bib ]

[51]
Peter Wegner. Dimensions of object-based language design. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, pages 168-182, New York, NY, USA, 1987. ACM Press.
[ bib | http ]

[52]
M. Wermelinger, J. L. Fiadeiro, L. Andrade, G. Koutsoukos, and J. Gouveia. Separation of Core Concerns: Computation, Coordination, and Configuration. In Kris De Volder, Maurice Glandrup, Siobhán Clarke, and Robert Filman, editors, Workshop on Advanced Separation of Concerns in Object-Oriented Systems (OOPSLA 2001), October 2001.
[ bib | .pdf ]

[53]
Jian Yang. Web service componentization. Commun. ACM, 46(10):35-40, 2003.
[ bib | http ]

[54]
Jian Yang and Mike P. Papazoglou. Web component: A substrate for web service reuse and composition. In CAiSE '02: Proceedings of the 14th International Conference on Advanced Information Systems Engineering, pages 21-36, London, UK, 2002. Springer-Verlag.
[ bib ]

[55]
Jian Yang and Mike P. Papazoglou. Service components for managing the life-cycle of service compositions. Inf. Syst., 29(2):97-125, 2004.
[ bib | http ]


Feedback | Faculty homepage | University homepage