Arun Mukhija, David S. Rosenblum, H. Foster, Sebastián Uchitel
{"title":"Runtime Support for Dynamic and Adaptive Service Composition","authors":"Arun Mukhija, David S. Rosenblum, H. Foster, Sebastián Uchitel","doi":"10.1007/978-3-642-20401-2_28","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_28","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123248904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Luís Caires, R. Nicola, R. Pugliese, V. Vasconcelos, G. Zavattaro
{"title":"Core Calculi for Service-Oriented Computing","authors":"Luís Caires, R. Nicola, R. Pugliese, V. Vasconcelos, G. Zavattaro","doi":"10.1007/978-3-642-20401-2_8","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_8","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125021758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Carla Ferreira, Ivan Lanese, A. Ravara, H. Vieira, G. Zavattaro
{"title":"Advanced Mechanisms for Service Combination and Transactions","authors":"Carla Ferreira, Ivan Lanese, A. Ravara, H. Vieira, G. Zavattaro","doi":"10.1007/978-3-642-20401-2_14","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_14","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132418515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Legacy Transformations for Extracting Service Components","authors":"C. Matos, R. Heckel","doi":"10.1007/978-3-642-20401-2_29","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_29","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127878684","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Massimo Bartoletti, Luís Caires, Ivan Lanese, F. Mazzanti, D. Sangiorgi, H. Vieira, R. Zunino
{"title":"Tools and Verification","authors":"Massimo Bartoletti, Luís Caires, Ivan Lanese, F. Mazzanti, D. Sangiorgi, H. Vieira, R. Zunino","doi":"10.1007/978-3-642-20401-2_19","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_19","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132362636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Sensoria Reference Modelling Language","authors":"J. Fiadeiro, A. Lopes, L. Bocchi, J. Abreu","doi":"10.1007/978-3-642-20401-2_5","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_5","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128324110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing","authors":"M. Wirsing, Matthias M. Hölzl","doi":"10.1007/978-3-642-20401-2","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134389992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Matthias M. Hölzl, N. Koch, Philip Mayer, M. Wirsing
{"title":"Sensoria Patterns","authors":"Matthias M. Hölzl, N. Koch, Philip Mayer, M. Wirsing","doi":"10.1007/978-3-642-20401-2_35","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_35","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125961128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"CC-Pi: A Constraint Language for Service Negotiation and Composition","authors":"M. Buscemi, U. Montanari","doi":"10.1007/978-3-642-20401-2_12","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_12","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126304673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Sensoria Approach Applied to the Finance Case Study","authors":"S. Gnesi, R. Pugliese, F. Tiezzi","doi":"10.1007/978-3-642-20401-2_34","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_34","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115701933","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}