Table of Contents

• Introduction to the 9th International Workshop on Engineering Service-Oriented Applications (WESOA'13)George Feuerlicht, Winfried Lamersdorf, Guadalupe Ortiz, Christian Zirpins. 1-3 [doi]
• From Process Models to Business Process Architectures: Connecting the LayersRami-Habib Eid-Sabbagh, Mathias Weske. 4-15 [doi]
• Goal-Driven Composition of Business Process ModelsBenjamin Nagel, Christian Gerth, Gregor Engels. 16-27 [doi]
• Integrating Service Release Management with Service Solution DesignHeiko Ludwig, Juan Cappi, Valeria Becker, Bairbre Stewart, Susan Meade. 28-39 [doi]
• Practical Compiler-Based User Support during the Development of Business ProcessesThomas M. Prinz, Wolfram Amme. 40-53 [doi]
• Model Checking GSM-Based Multi-Agent SystemsPavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio. 54-68 [doi]
• Towards Modeling and Execution of Collective Adaptive SystemsVasilios Andrikopoulos, Antonio Bucchiarone, Santiago Gomez Saez, Dimka Karastoyanova, Claudio Antares Mezzina. 69-81 [doi]
• A Requirements-Based Model for Effort Estimation in Service-Oriented SystemsBertrand Verlaine, Ivan Jureta, Stéphane Faulkner. 82-94 [doi]
• Augmenting Complex Problem Solving with Hybrid Compute UnitsHong Linh Truong, Hoa Khanh Dam, Aditya Ghose, Schahram Dustdar. 95-110 [doi]
• Towards Automating the Detection of Event SourcesNico Herzberg, Oleh Khovalko, Anne Baumgrass, Mathias Weske. 111-122 [doi]
• Discovering Pattern-Based Mediator Services from Communication LogsChristian Gierds, Dirk Fahland. 123-134 [doi]
• Cloud Service Brokerage - 2013: Methods and MechanismsGregoris Mentzas, Anthony J. H. Simons, Iraklis Paraskakis. 135-136 [doi]
• A Comparison Framework and Review of Service Brokerage Solutions for Cloud ArchitecturesFrank Fowley, Claus Pahl, Li Zhang. 137-149 [doi]
• Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key RequirementsDimitrios Kourtesis, Konstantinos Bratanis, Andreas Friesen, Yiannis Verginadis, Anthony J. H. Simons, Alessandro Rossini, Antonia Schwichtenberg, Panagiotis Gouvas. 150-162 [doi]
• Towards Value-Driven Business Modelling Based on Service BrokerageYucong Duan, Keman Huang, Ajay Kattepur, Wencai Du. 163-176 [doi]
• Introducing Policy-Driven Governance and Service Level Failure Mitigation in Cloud Service Brokers: Challenges AheadKonstantinos Bratanis, Dimitrios Kourtesis. 177-191 [doi]
• Model-Based Testing in Cloud Brokerage ScenariosMariam Kiran, Andreas Friesen, Anthony J. H. Simons, Wolfgang K. R. Schwach. 192-208 [doi]
• Value-Added Modelling and Analysis in Service Value BrokerageYucong Duan, Yongzhi Wang, Jinpeng Wei, Ajay Kattepur, Wencai Du. 209-222 [doi]
• Introduction to the Proceedings of the 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) 2013Gerd Gröner, Jeff Z. Pan, Yuting Zhao, Elisa F. Kendall, Ljiljana Stojanovic. 223-224 [doi]
• Management of Variability in Modular Ontology DevelopmentMelanie Langermeier, Peter Rosina, Heiner Oberkampf, Thomas Driessen, Bernhard Bauer. 225-239 [doi]
• Towards Automated Service Matchmaking and Planning for Multi-Agent Systems with OWL-S - Approach and ChallengesJohannes Fähndrich, Nils Masuch, Hilmi Yildirim, Sahin Albayrak. 240-247 [doi]
• Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel PerspectiveAndreas Jordan, Matt Selway, Georg Grossmann, Wolfgang Mayer, Markus Stumptner. 248-255 [doi]
• Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSLGeorge Baryannis, Dimitris Plexousakis. 256-270 [doi]
• Template-Based Ontology Population for Smart Environments ConfigurationSebastián Aced López, Dario Bonino, Fulvio Corno. 271-278 [doi]
• Introduction to the 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA'13)Suraj Pandey, Surya Nepal. 279-280 [doi]
• SLA-Aware Load Balancing in a Web-Based Cloud System over OpenStackJordi Vilaplana, Francesc Solsona, Jordi Mateo, Ivan Teixido. 281-293 [doi]
• Are Public Clouds Elastic Enough for Scientific Computing?Guilherme Galante, Luis Carlos Erpen De Bona, Antonio Roberto Mury, Bruno Schulze. 294-307 [doi]
• A Light-Weight Framework for Bridge-Building from Desktop to CloudKewei Duan, Julian Padget, H. Alicia Kim. 308-323 [doi]
• Planning and Scheduling Data Processing Workflows in the Cloud with Quality-of-Data ConstraintsSergio Esteves, Luís Veiga. 324-338 [doi]
• Galaxy + Hadoop: Toward a Collaborative and Scalable Image Processing Toolbox in CloudShiping Chen, Tomasz Bednarz, Piotr Szul, Dadong Wang, Yulia Arzhaeva, Neil Burdett, Alex Khassapov, John Zic, Surya Nepal, Tim Gurevey, John A. Taylor. 339-351 [doi]
• SciLightning: A Cloud Provenance-Based Event Notification for Parallel WorkflowsJulliano Trindade Pintas, Daniel de Oliveira, Kary A. C. S. Ocaña, Eduardo S. Ogasawara, Marta Mattoso. 352-365 [doi]
• Energy Savings on a Cloud-Based Opportunistic InfrastructureJohnatan E. Pecero, Cesar O. Diaz, Harold Castro, Mario Villamizar, German Sotelo, Pascal Bouvry. 366-378 [doi]
• Introduction to the Proceedings of the Workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013Alex Norta, Weishan Zhang, Claudia-Melania Chituc, Roman Vaculín. 379-380 [doi]
• Towards a Formal Model for Cloud ComputingZakaria Benzadri, Faiza Belala, Chafia Bouanaka. 381-393 [doi]
• An Optimized Strategy for Data Service Response with Template-Based Caching and CompressionZhang Peng, Kefu Xu, Li Yan, Guo Li. 394-405 [doi]
• Model-Driven Event Query Generation for Business Process MonitoringMichael Backmann, Anne Baumgrass, Nico Herzberg, Andreas Meyer 0001, Mathias Weske. 406-418 [doi]
• Enabling Semantic Complex Event Processing in the Domain of LogisticsTobias Metzke, Andreas Rogge-Solti, Anne Baumgrass, Jan Mendling, Mathias Weske. 419-431 [doi]
• Towards Self-adaptation Planning for Complex Service-Based SystemsAzlan Ismail, Valeria Cardellini. 432-444 [doi]
• Towards an Integration Platform for Bioinformatics ServicesGuzmán Llambías, Laura González, Raul Ruggia. 445-456 [doi]
• Requirements to Pervasive System Continuous DeploymentClément Escoffier, Ozan Günalp, Philippe Lalanda. 457-468 [doi]
• Towards Structure-Based Quality Awareness in Software Ecosystem UseKlaus Marius Hansen, Weishan Zhang. 469-479 [doi]
• An Adaptive Enterprise Service Bus Infrastructure for Service Based SystemsLaura González, Jorge Luis Laborde, Matías Galnares, Mauricio Fenoglio, Raul Ruggia. 480-491 [doi]
• Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented ApproachGuangchang Hu, Budan Wu, Junliang Chen. 492-504 [doi]
• Flexible Component Migration in an OSGi Based Pervasive Cloud InfrastructureWeishan Zhang, Licheng Chen, Qinghua Lu, Peiying Zhang, Su Yang. 505-514 [doi]
• Hybrid Emotion Recognition Using Semantic SimilarityZhanshan Zhang, Xin Meng, Peiying Zhang, Weishan Zhang, Qinghua Lu. 515-526 [doi]
• ICSOC PhD Symposium 2013Fabio Patrizi, Boualem Benatallah, Ivona Brandic. 527 [doi]
• Towards the Automated Synthesis of Data Dependent Service ControllersFranziska Bathelt-Tok, Sabine Glesner. 528-534 [doi]
• Multi-agent Approach for Managing Workflows in an Inter-Cloud EnvironmentSofiane Bendoukha. 535-542 [doi]
• An Information-Centric System for Building the Web of ThingsStefano Turchi. 543-550 [doi]
• Testing of Distributed Service-Oriented SystemsFaris Nizamic. 551-556 [doi]
• Automation of the SLA Life Cycle in Cloud Computing ⋆Waheed Aslam Ghumman. 557-562 [doi]
• Towards a Dynamic Declarative Service Workflow Reference ModelDamian Clarke. 563-568 [doi]
• A Context-Aware Access Control Framework for Software ServicesA. S. M. Kayes, Jun Han, Alan Colman. 569-577 [doi]
• Description and Composition of Services towards the Web-Telecom ConvergenceTerence Ambra. 578-584 [doi]