Skip to content. Skip to navigation

PLASTIC

                             
Personal tools
You are here: Home → Publications
 

Publications

Proceedings, white papers, deliverables, papers

Visit  IST PLASTIC from Wikipedia

Proceedings of PLASTIC-related events

  • The open PLASTIC workshop on the Engineering of Software Services for Pervasive Environments (ESSPE '07) at ESEC/FSE'07. Dubrovnik, Croatia, September 4, 2007. Proceedings available on ACM Digital Library. 

PLASTIC white papers


PLASTIC Brochures


MSP cluster white papers on Mobile Service Platforms

The MSP white papers are now published on: http://cordis.europa.eu/ist/ct/proclu/c/msp.htm


Public deliverables


Papers

Platform

  • Bertolino, Emmerich, Inverardi, Issarny "Softure: Adaptable, Reliable and Performing Software for the Future", Proc. at FRCSSat ETAPS 2006, March 26th - Apr 2nd, Vienna,Austria.
  • Fotis K. Liotopoulos, "Towards Tomorrow: The Fourth Generation of Mobile Networks", The Economist Magazine (Greek weekly edition of the "Kathimerini" daily national newspaper, n° 31, pp 53-55, Sept 2006 (a preliminary version is also available).
  • Valerie Issarny Editor. Spécial projets européen – plates-formes de services mobiles – in Lettre des réseaux sans fil – Techniques de l’ingénieur. July 2006
  • Valerie Issarny. Vers des plates-formes de services mobiles pour réseaux sans fil au-delà de la 3eme generation. – in Lettre des réseaux sans fil – Techniques de l’ingénieur. July 2006.

Conceptual model

  • Marco Autili, Vittorio Cortellessa, Antinisca Di Marco, Paolo Inverardi:  "A conceptual model for adaptable context-aware services", Web Services-Modeling and Testing (WS-MaTe 2006), Palermo, June 2006.

  • M. Autili, V. Cortellessa, A. Di Marco and P. Inverardi: "Embedding OoS, context-awareness and adaptation in service modeling for B3G networks"

  • Bucchiarone, Gnesi,"A Survey on Services Composition Languages and Models", Proc. at Ws-MaTe Workshop, June 9th, Palermo, Italy.

  • A. Carzaniga, G.P. Picco, and G. Vigna, "Is Code Still Moving Around? Looking Back at a Decade of Code Mobility", Invited Paper, 29th International Conference on Software Engineering (ICSE 2007),Minneapolis, Minnesota, May 2007. Available at http://dx.doi.org/10.1109/ICSECOMPANION.2007.44

  • Marco Autili, Paolo Di Benedetto, Paola Inverardi. “Context-aware adaptive services: the PLASTIC approach”. In Proceeding of the International Conference: Fundamental Approaches to Software Engineering (FASE), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS). York, UK, 22 - 29 March, 2009

Development environment

  •  P. Inverardi and M.Tivoli: "A reuse-based approach to the correct and automatic composition of Web services". In Proceedings of the International Workshop on the Engineering of Software Services for Pervasive Environments (ESSPE 2007) at ESEC/FSE 2007 - Dubrovnik, Croatia, September 4, 2007

  • Marco Autili, L. Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli: "A Development Process for Self-adapting Service Oriented Applications", in proceeding of ICSOC 2007(442-448), September 2007, Vienna, Austria

  • A. Bucchiarone , A. Polini, P. Pelliccione, M. Tivoli, "Towards an architectural approach for the dynamic and automatic composition of software components",Proc at ROSATEA at ISSTA 2006, July 17th-20th Portland ,Maine.
  • A. Di Marco, C. Mascolo, "Performance Analysis and Prediction of Physically Mobile Systems", in Proceedings of WOSP 2007, Buenos Aires, 5th to 8th February 2007, available at http://portal.acm.org/citation.cfm?doid=1216993.1217015

  • Fabio Mancinelli, Paola Inverardi: "Quantitative resource-oriented analysis of Java (Adaptable) applications". in Proceedings of WOSP 2007(), Buenos Aires, 5th to 8th February 2007

  • J. Skene and W. Emmerich: "Specifications, not Meta-Models". In proceeding of the ICSF 2006 Workshop on Global integrated Model Management (GaMMa 2006).pp.47-54 ACM Press

  • M. Autili, P. Di Benedetto, P. Inverardi, D. A. Tamburri: "Towards Self-evolving Context-aware Services". In Proceedings of the 3rd Federated Conference on Distributed Computing Techniques 2008 (DisCoTec'08), Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS'08).Oslo, Norway, 3rd June 2008.
    Publisher: Special issue of the Electronic Communications of the EASST (ECEASST), Volume: 11, ISSN:1863-2122.

  • M. Autili, P. Di Benedetto, P. Inverardi, F. Mancinelli: "A Resource-oriented Static Analysis Approach to Adaptable Java Applications". In Proceedings of the Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), Component-Based Design of Resource-Constrained Systems (CORCS'08).Turku, Finland, July 28 - August 1, 2008.

Middleware

Validation Framework

  • Frantzen, Tretmans, R. de Vries, "Towards Model-Based Testing of Web Services",Proc. at Ws-MaTe Workshop, June 9th, Palermo, Italy.
  • A. Bertolino, H. Muccini, A. Polini,"Architectural Verification of Evolving and Black-box Component-Based Systems",Proc at RISE 2006, 13-15 September 2006, Geneva, Switzerland.
  •  D. Ardagna, G. Giunta, N. Ingraffia, R. Mirandola, B. Pernici,"QoS-driven Web Service Selection",Proc. at GADA 06,Montpellier, France, 29 Oct-3 Nov 2006
  • A. Bertolino, G. De Angelis, A. Polini, "Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services", in proceeding of the 6th International Workshop on Software and Performance (WOSP 2007) ,Buenos Aires, 5th to 8th February 2007, available at http://portal.acm.org/citation.cfm?doid=1216993.1217017
  • V. Grassi, R. Mirandola, A. Sabetta, "A Model-Driven Approach to Performability Analysis of Dynamically Reconfigurable Component-Based Systems", Accepted to WOSP 2007 ,Buenos Aires, 5th to 8th February 2007, available at http://portal.acm.org/citation.cfm?doid=1216993.1217011
  • J. Skene, A. Skene, J. Crampton, W. Emmercih, "The Monitorability of Service-Level Agreements for Application-Service Provision", Proceedings of WOSP 2007, Buenos Aires, 5th to 8th February 2007, available at http://portal.acm.org/citation.cfm?doid=1216993.1216997
  • M. Rutherford, A. Carzaniga, A. L. Wolf : "Simulation-Based Test Adequacy Criteria for Distributed Systems", accepted for publication at FSE-14, Portland, Oregon, November 2006 available at http://doi.acm.org/10.1145/1181775.1181804
  • D. Bianculli, P. Spoletini, A. Morzenti, M. Pradella, P. San Pietro, "Model checking temporal metric specifications with Trio2Promela", accepted for publication at FSEN07, April 2007, Tehran, Iran

  • D. Bianculli, A. Morzenti, M. Pradella, P. San Pietro, P. Spoletini, "Trio2Promela: a Model Checker for Temporal Metric Specifications", research demo at ICSE07, May 2007, Minneapolis, USA

  • Frantzen, L. and Tretmans, J.  "Model-Based Testing of Environmental Conformance of Components", Proceedings at  Formal Methods of Components and Objects -- FMCO 2006, LNCS 4709, pp 1-25, 2007 , Springer-Verlag  (http://www.cs.ru.nl/~lf/publications/FT07.pdf)

  • A. Bertolino, G. De Angelis, S. Elbaum, A. Sabetta "Scaling up SLA Monitoring in Pervasive Environment" in Proceedings of Int. Workshop on the Engineering of Software Services for Pervasive Environment (ESSPE 2007) at ESEC/FSE 2007, Dobrovnik, Croatia, Sept 4, 2007.

  •   V. Cardellini, E. Casalicchio, V. Grassi, F. Lo Presti "Efficient provisioning of service level agreements for service oriented applications". In Proceedings of IW-SOSWE 2007 at ESEC/FSE 2007, Dubrovnik, Croatia, Sept. 2007.

  •  A. Bertolino, G. De Angelis, A. Polini "A QoS Test-bed Generator for Web S ervices" in Proceedings of ICWE 2007, Como, Italy, July 16-20 

  •  M. Marzolla and R. Mirandola, "Performance Prediction of Web Service Workflows" In Proceedings of QoSA 2007, LNCS.

  •  H. Muccini, A. POlini, F. Ricci, A. Bertolino "Monitoring architectural properties in dynamic component-based systems" in Proceedings of 10th Int. ACM SIGSOFT Symposium on Component-Based Software Engineering , Boston, July 9-11, 2007, LNCS 4608, pp.124-139.

    http://www.springerlink.com/content/l382755n01543124/fulltext.pdf

  • R. Calegari, M. Musolesi, F. Raimondi, C. Mascolo, CTG: "a Connectivity Trace Generator for testing the performance of opportunistic mobile systems". Proceedings of ESEC/FSE 2007, Dubrovnik, Croatia, September 2007.

  • F. Raimondi, J. Skene, W. Emmerich, B. Wozna, "A Methodology for online monitoring non-functional specification of web-services", Proceedings of PROVECS 2007 - TOOLS 2007, Zurich, June 2007

  • Cortellessa V., Marinelli F., Potena P.,"An optimization framework for “build-or-buy” decisions in software architecture", 
    Computers and Operations Research, Elsevier Science, to appear.
  • Cortellessa V., Grassi V. "A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems." 
    Proc. of International ACM Symposium on Component-Based Software Engineering (CBSE 2007), July 9-11, 2007, Medford, Massachussets, USA.
  • Cortellessa V., Potena P., "Error propagation analysis in composition of software services, " Proc. of Software Composition workshop (SC 2007) at ETAPS, March 24 - April 1, 2007, Braga (Portugal).

  • Y. Wang, A. Carzaniga, and A.L. Wolf, "Four Enhancements to Automated Distributed Experimentation Methods", Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, 2008 (accepted for publication).

  • L. Baresi, C. Ghezzi, and L. Mottola: "On Accurate Automatic Verification of Publish-Subscribe Architectures", Proceedings 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, Minnesota, May 2007. Available at  http://dx.doi.org/10.1109/ICSE.2007.57

  • M.J. Rutherford, A. Carzaniga, and A.L. Wolf, "Evaluating Test Suites and Adequacy Criteria using Simulation-Based Models of Distributed Systems", IEEE Transactions on Software Engineering, 2008 (accepted for publication).

  • D. Bianculli, C. Ghezzi, and P. Spoletini, "A Model Checking Approach to Verify BPEL4WS Workflows", Proceedings of IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007), Newport Beach, California, IEEE Computer Society Press, June 2007. Available at http://dx.doi.org/10.1109/SOCA.2007.5

  • L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini, "A Timed Extension of WSCoL", Proceedings of the IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, IEEE Computer Society Press, July 2007. Available at  http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.25

  • D. Bianculli, R. Jorca, W. Binder, C. Ghezzi, and B. Faltings, "Automated Dynamic Maintenance of Composite Services based on Service Reputation", Proceedings of the 5th International Conference on Service Oriented Computing (ICSOC 2007), Vienna, Austria, September 2007. Available at  http://dx.doi.org/10.1007/978-3-540-74974-5_42

  • D. Bianculli and C. Ghezzi, "Monitoring Conversational Web Services", Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE 2007), Dubrovonik, Croatia, September 2007. Available at  http://doi.acm.org/10.1145/1294928.1294933

  • L. Baresi, D. Bianculli, C. Guezzi, S. Guinea, and P. Spoletini, "Validation of Web Service Compositions", IET Software, vol. 1, no. 6, December 2007. Available at  http://link.aip.org/link/?SEN/1/219/1

  • A. Bertolino, G. De Angelis, F. Lonetti, A. Sabetta:" Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications". In Proc. of the 34th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (Em-SEAA 2008). IEEE. Sept. 2008, Parma, Italy.
  • A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: "Model-based Generation of Testbeds for Web Services". In Proc. of the 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM 2008). LNCS, Springer Verlag. Jun. 2008, Tokio, Japan.
  • A. Bertolino, G. De Angelis, A. Sabetta “VCR: Virtual Capture and Replay for Performance Testing”, in Proc. of The International Conference on Automated Software Engineering (ASE 2008),  Sept 15-19,L'Aquila, Italy, to appear.

  • L. Frantzen and M. N. Huerta and Z. G. Kiss and T. Wallet: "On-The-Fly Model-Based Testing of Web Services with Jambition", in proc of 5th International Workshop on Web Services and Formal Methods -WS-FM 2008.

  • V. Cortellesa, I. Crnkovic, F. Marinelli, P. Potena: " Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements", in Journal of Universal Computer Science, Vol 14, n° 8 (2008)
  • L.  Baresi, D.  Bianculli, C. Ghezzi, S. Guinea, P.  Spoletini. "Validation of web service compositions". IET Softw., 1(6):219-232, December 2007.
  • D. Bianculli, C.Ghezzi, P. Spoletini, L. Baresi, S. Guinea. "A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions". In Egon Börger and Antonio Cisternino, editors, Recent Advances in Software Engineering, Lecture Notes in Computer Science. Springer-Verlag, to appear
  • D. Bianculli and C. Ghezzi. SAVVY-WS at a glance: "supporting verifiable dynamic service compositions". In Proceedings of the the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008). IEEE Computer Society Press, September 2008. to appear
  • D. Bianculli, W. Binder, L. Drago, C. Ghezzi. "Transparent reputation management for composite web services". In Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China. IEEE Computer Society Press, September 2008. to appear.
  • D. Bianculli and C. Ghezzi. "Towards a methodology for lifelong validation of service compositions". In Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008, Leipzig, Germany, pages 7-12. ACM, May 2008.

Applications

Document Actions
« may 2012 »
Mon Tue Wed Thu Fri Sat Sun
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31