Helsingin yliopisto Tietojenkäsittelytieteen laitos
 

Tietojenkäsittelytieteen laitos

Tietoa laitoksesta:

Laitoksen etusivu Ajankohtaista Tutkimus Opiskelu Opiskelijavalinnat Tietotekniikka Hallinto Toimintakäsikirja Yhteystiedot
 

58309102 Seminaari: Palvelusuuntautuneet järjestelmät (3 op)

Vastuuhenkilöt

Professori Lea Kutvonen (Lea.Kutvonen(at)cs.Helsinki.FI)
Assistentti Toni Ruokolainen (Toni.Ruokolainen(at)cs.Helsinki.FI)

Ajankohtaista

Anna palautetta seminaarista: palautelomake
Loput esitykset pidetään 12.5., 14.5. ja 15.5. Kaikki esitykset salissa C220

Kokoontumisajat ja -paikka

13.01.-17.02.2009 ti 14-16 (sali B222) ja pe 8-10 (sali C222),
10.03.-21.04.2009 ti 14-16 (sali CK111) ja pe 8-10 (sali C222)

Seminaariryhmän järjestäytymiskokouksen ohjelma 20.1.

Koska seminaarilaisia on normaaliseminaariin nähden puolitoitakertainen määrä, on kullekin viikolle varattu kaksi seminaariaikaa.

Koska esitelmäkertoja tulee normaaliseminaaria enemmän, käytämme väljennettyä läsnäolovelvoitetta. Yksityiskohdat esitellään järjestäytymiskokoontumisessa.

Kuvaus

Palvelusuuntautuneet järjestelmät ovat nykyaikainen avoimien hajautettujen järjestelmien suunnittelu- ja toteutusparadigma, joka perustuu palvelukonseptiin (service), kuvauskeskeisyyteen, sekä palvelusuuntautuneisiin arkkitehtuureihin (service-oriented architecture, SOA).

Palvelu tässä kontekstissa tarkoittaa semanttisesti eheää, asiakkaan näkökulmasta mielekästä teknistä toimintayksikköä, jolla on hyvin määritelty rajapinta. Palveluiden tulisi olla teknisesti saatavilla yleisesti hyväksyttyjä sekä avoimia teknologioita käyttäen; tällä hetkellä yleisimmin käytössä oleva teknologiaperhe palveluiden toteutukseen on nk. Web Services-teknologia, joka perustuu XML-pohjaisiin kuvauksiin sekä XML-muotoiseen sanomanvälitykseen yleensä TCP/IP-pohjaisten tiedonsiirtoprotokollia käyttäen. Palveluita käytetään palvelusuuntautuneen arkkitehtuurin tarjoamien infrastruktuuripalveluiden avulla. Nämä infrastruktuuripalvelut sisältävät mm. erilaisia metainformaatiovarastoja, joiden avulla palveluntarjoajat voivat julkaista tietoja saatavilla olevista palveluista ja joista potentiaaliset asiakkaat voivat näiden kuvausten avulla palveluita hyödyntää.

Palveluorientoituneet järjestelmät mahdollistavat informaatiojärjestelmien löyhän kytkennän, sekä käsitteellisen ja teknologisen "eristyskerroksen" liiketoiminnan ja sitä tukevien informaatiojärjestelmien välillä. Kuitenkaan kyseinen paradigma ei itsessään vielä mahdollista joustavaa ja ketterää yritysten välisten yhteistyöverkostojen muodostamista, vaan tätä varten tarvitaan mekanismeja yhteistoiminnan hallintaan sekä palveluiden ja palveluperustaisten järjestelmien tuottamiseen.

Yhteistoiminnaksi (collaboration) kutsutaan tässä yhteydessä autonomisten toimijoiden välistä prosessia, joka tähtää jonkin yhteisen päämäärän saavuttamiseen. Päämäärän saavuttamiseksi toimijat jakavat keskenään informaatiota, resursseja, velvollisuuksia sekä palkkioita ennalta määritellyllä tavalla. Yhteistoiminnan muoto ja ominaisuudet voidaan määritellä esimerkiksi varsinaista yhteistyötä edeltävillä neuvotteluilla. Erääksi suurimmista ongelmista palveluperustaisten järjestelmien yhteistoiminnassa muodostuu yhteentoimivuus (interoperability) sekä sen todentaminen ja takaaminen. Yhteentoimivuus on yhteistoiminnan välttämätön ehto, jota tulee löyhästi kytketyissä palveluperustaisissa järjestelmissä tarkastella sekä teknisestä, semanttisesta että pragmaattisesta näkökulmasta.

Tämän opintoseminaarin tarkoituksena on tutkia nykyaikaisia palvelusuuntautuneita järjestelmiä sekä niihin liittyviä yhteistoiminnan hallinnan menetelmiä ja ohjelmistotuotantomenetelmiä. Yleisiä seminaarin aihepiirejä ovat esimerkiksi palvelusuuntautuneiden arkkitehtuurien periaatteet ja teknologiat, yhteistoiminnan hallinnan arkkitehtuurit ja peruspalvelut, yhteistoiminnan mallintaminen ja muodostaminen, sekä yhteistoimintaan liittyvät teknologiset ratkaisut. Aihepiiriin liittyy olennaisesti myös modernit ohjelmistotuotantomenetelmät, jotka soveltuvat palvelusuuntautuneiden järjestelmien kehittämiseen. Erityisesti ns. palvelusuuntautuneeseen ohjelmistotuotantoon (Service-Oriented Software / System Engineering) ja malliperustaiseen ohjelmistotuotantoon (Model Driven Engineering) liittyvät menetelmät ja teoriat ovat mielenkiintoisia yhteistoiminnan hallinnan ja sen mahdollistamisen kannalta.

Seminaarin rakenne ja aiheet

  1. Yhteentoimivien palveluiden tuottaminen
  2. Palveluperustaisten yhteisöjen muodostaminen
  3. Yhteisön toiminnan hallinta

Esitietovaatimukset

Opintoseminaari on osa maisterintutkinnon opintoja, joten osallistujilla tulee olla suoritettuna LuK-tutkinnon mukaiset opinnot. Seminaari on pääasiassa suunnattu hajautettujen järjestelmien ja ohjelmistotekniin linjan opiskelijoille. Erityisesti suosittelemme joitakin seuraavista kursseista suoritetuiksi: Hajautetut järjestelmät, Väliohjelmistot tai Ohjelmistoarkkitehtuurit.

Seminaarin suoritusmuoto

Jokaiselta seminaariin osallistujalta odotetaan seuraavia suorituksia:

Lopuksi, katso myös laitoksen seminaariohjetta.

Seminaarin osallistujat ja aihpiirit

Henritius Eija - luottamus
Jokinen Olli - SOSE
Karhatsu Henri - MDE
Karhu Keijo - palvelusopimukset (SLang)
Kautto Mikko - palvelusopimukset (WSLA)
Kotilainen Olli-Pekka - SOSE (REST/WOA)
Raustia Ville - WSMX
Lehtimäki Marko - SLA ja ORM
Lehtinen Sampo - ?
Lång Jouni - monitorointi
Moilanen Simo - Hajautettujen työvoiden hallinta
Mäkinen Simo - Yhteiskäyttöisten rajapintojen suunnittelu
Saarinen Olli - ECOLEAD
Saukko Antti - ESB
Sormunen Toni - SLA / SOSE
Tuominen Pasi - palveluiden valinta
Ulmala Minna - SOSE
Vaahtoranta Ilkka - palvelutarjousvarastot

Aikataulu

   
Vk. Pvm. Aihe Esittäjä Abs. Paperi Kalvot
3 13.1.2009 Peruutettu        
             
4 20.1.2009 Järjestäytymiskokous Lea Kutvonen ja Toni Ruokolainen .pdf    
             
5  
Tauko
        
             
6 3.2.2009
Tauko
        
  6.2.2009 MDE Henri Karhatsu .pdf .pdf  
7 10.2.2009
Tauko
        
  13.2.2009
PERUUTETTU!
SOSE		 Olli Jokinen    
8 17.2.2009 BPDM ja prosessimallien rooli Minna Ulmala .pdf .pdf  
  20.2.2009 ESB ja sen merkitys palveluorientoituneissa järjestelmissä Antti Saukko .pdf .pdf  
9  
Kurssikoeviikko
        
             
10 3.3.2009
Siirretty toukokuun puolelle
        
  6.3.2009 Palveluiden valinta Pasi Tuominen .pdf  
11 10.3.2009
Siirretty toukokuun puolelle
        
  13.3.2009 Yhteiskäyttöisten rajapintojen suunnittelu Simo Mäkinen .pdf .pdf  
12 17.3.2009
Siirretty toukokuun puolelle
        
  20.3.2009 Palvelutarjoukset ja palveluiden valinta Ilkka Vaahtoranta .pdf .pdf  
13 24.3.2009 Palvelusopimukset ja WSLA ympäristö Mikko Kautto .pdf .pdf  
  27.3.2009
Siirretty toukokuun puolelle
        
14 31.3.2009 Palvelusopimukset ja SLang kieli Keijo Karhu .pdf .pdf  
  3.4.2009 WSMX Ville Raustia .pdf .pdf  
15 7.4.2009
Siirretty toukokuun puolelle
        
  10.4.2009
Pitkäperjantai (ei kokoontumista)
        
16 9.-15.4.2009
Pääsiäisloma
        
  17.4. Luottamuksen ja maineen rooli palveluperustaisten yhteisöjen muodostamisessa Eija Henritius .pdf .pdf  
17 21.4.2009 ECOLEAD Olli Saarinen .pdf .pdf  
  24.4.2009 Palvelusopimusten monitorointi Jouni Lång .pdf .pdf  
18 28.4.2009
Kurssikoeviikko 28.4.-5.5.
        
  1.5.2009
Vappupäivä (ei kokoontumista)
        
19 12.5.2009 klo 12-14, C220 Monitorointi palvelusuuntautuneissa järjestelmissä Sampo Lehtinen .pdf .pdf  
12.5.2009 klo 14-16, C220 SLA ja ORM Marko Lehtimäki .pdf .pdf    
14.5.2009 klo 14-16, C220 WOA ja REST arkkitehtuurityylinä Olli-Pekka Kotilainen .pdf .pdf  
15.5. klo 9-11, C220 Hajautettujen työvoiden hallinta Simo Moilanen .pdf .pdf  

Taustamateriaalia

[1]
Leire Bastida. A methodology for dynamic service composition. In ICCBSS '08: Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pages 33-42, Washington, DC, USA, 2008. IEEE Computer Society.
[ bib ]

[2]
Karim Baïna, Khalid Benali, and Claude Godart. DISCOBOLE: a service architecture for interconnecting workflow processes. Comput. Ind., 57(8):768-777, 2006.
[ bib | http ]

[3]
N. Bencomo, G. Blair, G. Coulson, P. Grace, and A. Rashid. Reflection and aspects meet again: runtime reflective mechanisms for dynamic aspects. In AOMD '05: Proceedings of the 1st workshop on Aspect oriented middleware development, New York, NY, USA, 2005. ACM Press.
[ bib ]

[4]
J. Bezivin, S. Hammoudi, D. Lopes, and F. Jouault. Applying MDA approach for Web service platform. Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Proceedings. Eighth IEEE International, pages 58-70, Sept. 2004.
[ bib ]

[5]
Jean Bezivin, Frederic Jouault, and David Touzet. Principles, standards and tools for model engineering. In ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pages 28-29, Washington, DC, USA, 2005. IEEE Computer Society.
[ bib | http ]

[6]
Gordon S. Blair, Geoff Coulson, and Paul Grace. Research directions in reflective middleware: the Lancaster experience. In ARM '04: Proceedings of the 3rd workshop on Adaptive and reflective middleware, pages 262-267, New York, NY, USA, 2004. ACM Press.
[ bib ]

[7]
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, and Gianluigi Zavattaro. Choreography and Orchestration: A Synergic Approach for System Design. In International Conference on Service-Oriented Computing - ICSOC 2005, volume 3826 of Lecture Notes in Computer Science, pages 228-240. Springer, 2005.
[ bib ]

[8]
Jean Bézivin. On the unification power of models. Software and Systems Modeling, 4(2):171-188, May 2005.
[ bib ]

[9]
Paloma Cáceres, Valeria de Castro, Juan M. Vara, and Esperanza Marcos. Model transformations for hypertext modeling on web information systems. In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pages 1232-1239, New York, NY, USA, 2006. ACM.
[ bib ]

[10]
M. Chessell, C. Griffin, D. Vines, M. Butler, C. Ferreira, and P. Henderson. Extending the concept of transaction compensation. IBM Syst. J., 41(4):743-758, 2002.
[ bib ]

[11]
Amit K. Chopra and Munindar P. Singh. Producing Compliant Interactions: Conformance, Coverage, and Interoperability. In Declarative Agent Languages and Technologies IV, volume 4327 of Lecture Notes in Computer Science, pages 1-15. Springer, 2006.
[ bib ]

[12]
Carlos E. Cuesta, Pablo de la Fuente, and Manuel Barrio-Solárzano. Dynamic coordination architecture through the use of reflection. In SAC '01: Proceedings of the 2001 ACM symposium on Applied computing, pages 134-140, New York, NY, USA, 2001. ACM Press.
[ bib ]

[13]
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 ]

[14]
David S. Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. OMG Press, 2003.
[ bib ]

[15]
Guido Governatori and Zoran Milosevic. Dealing with contract violations: formalism and domain specific language. In EDOC '05: Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), pages 46-57, Washington, DC, USA, 2005. IEEE Computer Society.
[ bib ]

[16]
Guido Governatori, Zoran Milosevic, and Shazia Sadiq. Compliance checking between business processes and business contracts. In EDOC '06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pages 221-232, Washington, DC, USA, 2006. IEEE Computer Society.
[ bib ]

[17]
Paul W. P. J. Grefen, Jochem Vonk, Erik Boertjes, and Peter M. G. Apers. Two-layer transaction management for workflow management applications. In DEXA '97: Proceedings of the 8th International Conference on Database and Expert Systems Applications, pages 430-439, London, UK, 1997. Springer-Verlag.
[ bib ]

[18]
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 ]

[19]
Joe Hoffert, Shanshan Jiang, and Douglas C. Schmidt. A taxonomy of discovery services and gap analysis for ultra-large scale systems. In ACM-SE 45: Proceedings of the 45th annual southeast regional conference, pages 355-361, New York, NY, USA, 2007. ACM Press.
[ bib ]

[20]
A. Keller, G. Kar, H. Ludwig, A. Dan, and J.L. Hellerstein. Managing dynamic services: a contract based approach to a conceptual architecture. In Network Operations and Management Symposium, pages 513-528. IFIP, IEEE, 2002.
[ bib ]

[21]
Fabio Kon, Fabio Costa, Gordon Blair, and Roy H. Campbell. The case for reflective middleware. Commun. ACM, 45(6):33-38, 2002.
[ bib ]

[22]
Meng Kui, Wang Yue, Zhang Xu, Xiao Xiaochun, and Zhang Gengdu. A Trust Management Model for Virtual Communities. In The Fifth International Conference on Computer and Information Technology (CIT), pages 741-745, 2005.
[ bib | http ]

[23]
Lea Kutvonen, Toni Ruokolainen, and Janne Metso. Interoperability middleware for federated business services in web-Pilarcos. International Journal in Enterprise Information Systems, 3(1):1-21, January 2007.
[ bib ]

[24]
Steffen Lamparter, Anupriya Ankolekar, Rudi Studer, and Stephan Grimm. Preference-based selection of highly configurable web services. In WWW '07: Proceedings of the 16th international conference on World Wide Web, pages 1013-1022, New York, NY, USA, 2007. ACM Press.
[ bib | http ]

[25]
Steffen Lamparter and York Sure. An interdisciplinary methodology for building service-oriented systems on the web. In SCC '08: Proceedings of the 2008 IEEE International Conference on Services Computing, pages 475-478, Washington, DC, USA, 2008. IEEE Computer Society.
[ bib ]

[26]
Huaizhi Li and Mukesh Singhal. Trust Management in Distributed Systems. Computer, 40(2):45-53, February 2007.
[ bib | http ]

[27]
Noura Limam, Joanna Ziembicki, Reaz Ahmed, Youssef Iraqi, Dennis Tianshu Li, Raouf Boutaba, and Fernando Cuervo. Osda: Open service discovery architecture for efficient cross-domain service provisioning. Comput. Commun., 30(3):546-563, 2007.
[ bib ]

[28]
Mark Little. Transactions and web services. Commun. ACM, 46(10):49-54, 2003.
[ bib ]

[29]
Heiko Ludwig, Alexander Keller, Asit Dan, Richard King, and Richard Franck. A service level agreement language for dynamic electronic services. Electronic Commerce Research, 3(1-2):43-59, 2003.
[ bib ]

[30]
Zongwei Luo, Amit Sheth, Krys Kochut, and Budak Arpinar. Exception handling for conflict resolution in cross-organizational workflows. Distrib. Parallel Databases, 13(3):271-306, 2003.
[ bib ]

[31]
Zongwei Luo, Amit Sheth, Krys Kochut, and John Miller. Exception handling in workflow systems. Applied Intelligence, 13(2):125-147, 2000.
[ bib ]

[32]
Pattie Maes. Concepts and experiments in computational reflection. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, pages 147-155, New York, NY, USA, 1987. ACM Press.
[ bib ]

[33]
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 ]

[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]
Michael P. Papazoglou and Willem-Jan Van Den Heuvel. Service-oriented design and development methodology. Int. J. Web Eng. Technol., 2(4):412-442, 2006.
[ bib ]

[36]
Michael P. Papazoglou and Willem-Jan van den Heuvel. Business process development life cycle methodology. Commun. ACM, 50(10):79-85, 2007.
[ bib | http ]

[37]
Mike P. Papazoglou and Willem-Jan Heuvel. Service oriented architectures: approaches, technologies and research issues. The VLDB Journal, 16(3):389-415, 2007.
[ bib | http ]

[38]
M.P. Papazoglou, P. Ribbers, and A. Tsalgatidou. Integrated value chains and their implications from a business and technology standpoint. Decision Support Systems, 29(4):323-342, 2000.
[ bib ]

[39]
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 ]

[40]
Dick A. Quartel, Maarten W. Steen, Stanislav Pokraev, and Marten J. Sinderen. Cosmo: A conceptual framework for service modelling and refinement. Information Systems Frontiers, 9(2-3):225-244, 2007.
[ bib ]

[41]
R.J. Rabelo, S. Gusmeroli, C. Arana, and T. Nagellen. The ECOLEAD ICT Infrastructure for Collaborative Networked Organizations. In L. Camarinha-Matos, H. Afsarmanesh, and M. Ollus, editors, Network-Centric Collaboration and Supporting Frameworks, volume 224 of IFIP International Federation for Information Processing, pages 451-460, Boston, 2006. Springer.
[ bib ]

[42]
Douglas C. Schmidt. Model-Driven Engineering. Computer, 39(2):25-31, February 2006.
[ bib ]

[43]
James Skene, D. Davide Lamanna, and Wolfgang Emmerich. Precise Service Level Agreements. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 179-188, Washington, DC, USA, 2004. IEEE Computer Society.
[ bib ]

[44]
James Skene, Allan Skene, Jason Crampton, and Wolfgang Emmerich. The monitorability of service-level agreements for application-service provision. In WOSP '07: Proceedings of the 6th international workshop on Software and performance, pages 3-14, New York, NY, USA, 2007. ACM Press.
[ bib | http ]

[45]
Zoran Stojanovic and Ajantha Dahanayake. Service-oriented Software System Engineering Challenges And Practices. Idea Group Publishing, Hershey, PA, USA, 2005.
[ bib ]

[46]
Kunal Verma, Kaarthik Sivashanmugam, Amit Sheth, Abhijit Patil, Swapna Oundhakar, and John Miller. Meteor-s wsdi: A scalable p2p infrastructure of registries for semantic publication and discovery of web services. Inf. Tech. and Management, 6(1):17-39, 2005.
[ bib ]

[47]
Jochem Vonk and Paul Grefen. Cross-organizational transaction support for e-services in virtual enterprises. Distrib. Parallel Databases, 14(2):137-172, 2003.
[ bib ]

[48]
Jun Yan, Ryszard Kowalczyk, Jian Lin, Mohan B. Chhetri, Suk Keong Goh, and Jianying Zhang. Autonomous service level agreement negotiation for service composition provision. Future Gener. Comput. Syst., 23(6):748-759, 2007.
[ bib | http ]

 
Palaute laitokselle | Tiedekunnan etusivulle | Yliopiston etusivulle