To view the detailed program information in PDF, please click here

LCPS Session 1: LCPS Applications
  Chair: Sang H. Son, University of Virginia, USA

• Adaptive Trajectory Coordination for Scalable Multiple Robot Control
  Hoon Sung Chwa, Andrii Shyshkalov, Jinkyu Lee, Kilho Lee, Hyoungbu Back and Insik Shin


• A Comprehensive Framework for Mobile Cyber-Physical Applications
  Jae Yoo Lee, Du Wan Cheun and Soo Dong Kim


• Experimental Feasibility Study on Using Ultrasonic Reflections for Indoor Human Movement Tracking
  Kang Wook Kim and Chang Gun Lee


• EDZL Scheduling for Large-Scale Cyber Services on Real-Time Cloud
  Tseng-Yi Chen, Hsin-Wen Wei, Jenq-Shiou Leu, and Wei-Kuan Shih

KASTLES Session 1: Models for Systems, Services and Processes
  Chair: Takayuki Ito, Nagoya Institute of Technology, Japan

• Invariants as a Unified Knowledge Model for Cyber-Physical Systems
  Tamal Paul, Jonathan W. Kimball, Maciej Zawodniok, Thomas P. Roth and Bruce McMillin


• Green Web Services: Models for Energy-Aware Web Services and Applications
  Peter Bartalos, M. Brian Blake and Sekou Remy


• Structuring and representation of scientific knowledge for a transfer through an electronic knowledge-book
  Aymen Jmal, Franck Michaud, Mark Irle and Amadou Ndiaye


• An Approach to Open Carbon Footprint Calculation Platform Design
  He Zhang, Yuejiao Ha, Qing Zhou, Ke Zhang, Farzana Rahman and Sheikh Iqbal Ahamed

RTSOAA Session 1: Real-Time Cloud
  Chair: Tommaso Cucinotta, Scuola Superiore Sant'Anna, Pisa, Italy

• Customer-Aware Resource Overallocation to Improve Energy Efficiency in Real-Time Cloud Computing Data Centers
  Ismael Solis Moreno and Jie Xu


• An Empirical Analysis of Scheduling Techniques for Real-time Cloud-based Data Processing
  Linh T.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo and Insup Lee


• A Fuzzy Learning Approach for Proportional Slowdown Differentiation Control
  Dahai Li and David Levy

LCPS Session 2: CPS Framework and Support
  Chair: Chang Gun Lee, Seoul National University, Korea

• Digital Physical Hybrid Design: Harmonizing the Real World and the Virtual World
  Tatsuo Nakajima, Tetsuo Yamabe, Todorka Alexandrova and Mizuki Sakamoto


• Semantics-Aware Communication in Sensor Network Applications
  Woochul Kang, Krasimira Kapitanova and Sang H. Son


• A Novel Simulation Framework for Supporting Real-Time Cyber-Physical Interactions
  Kyoung-Soo We, Jong-Chan Kim and Chang-Gun Lee


• Building Intelligent Middleware for Large Scale CPS Systems
  Niels Reijers, Yu-Chung Wang, Chi-Sheng Shih, Jane Y. Hsu, and Kwei-Jay Lin

KASTLES Session 2: Services and Applications for Sustainability
  Chair: Bruce McMillin, Missouri University of Science and Technology, Rolla, USA

• Agent-based electrical power management model for houses equipped with storage battery and photovoltaic units
  Ryo Kanamori, Nobuyasu Mizutani and Takayuki Ito


• IRENE: Context Aware Mood Sharing for Social Network
  Md Haque, Md. Adibuzzaman, David Polyak, Niharika Jain, Sheikh I. Ahamed and Lin Liu


• Supporting Context - Aware Service Evolution with A Process Management Requirements Model
  Jianchu Huang, Hongji Yang, Lei Xu and Baowen Xu


• An Implementation of A Geolocation Information-sharing System
  Takanobu Otsuka, Shogo Kawaguchi, Mikoto Okumura, Ryo Suzuki and Takayuki Ito

RTSOAA Session 2: QoS Study
  Chair: Antti Hahto, Tampere University of Technology, Finland

• QoS-Driven Dynamic Adaptation in Media Intensive Systems
  Panfeng Xue, I-Ling Yen and Kendra M. Cooper


• A QoS Registry for Adaptive Real-Time Service-Oriented Applications
  Gaetano Anastasi, Tommaso Cucinotta, Giuseppe Lipari and Marisol García-Valls


• Testing Linux-based real-time systems: Lachesis
  Andrea Claudi and Aldo Franco Dragoni

Joint Panel on LCPS and KASTLES: Services and Applications for Sustainability

How can adaptive systems and services lead to an adaptive enterprise?
Mediator: He Zhang, Tsinghua University, China
Panelists: Takayuki Ito, Soo Dong Kim, Chang-Gun Lee, Bruce McMillin, Sang Son

RTSOAA Session 3: RTSOA System Engineering
  Chair: Linh T.X. Phan, University of Pennsylvania

• Testing the Scalability of SaaS Applications
  Wei-Tek Tsai, Yu Huang, Qihong Shao and Mark Barrett


• Service-oriented Architecture for Embedded Machine Control
  Antti Hahto, Teemu Rasi, Jouni Mattila and Kai Koskimies


• Services Utility Prediction On a Cloud
  Wei-Tek Tsai, Peide Zhong, Janaka Balasooriya, Yinong Chen and Xiaoying Bai


• Efficient Virtualisation of Real-Time Activities
  Luca Abeni and Tommaso Cucinotta

SOCA Session F1: Service Selection
  Chair: Christian Huemer

• Learning Service Behavior with Progressive Testing
  Joshua Church and Amihai Motro


• Multiple Non-Functional Criteria Service Selection based on User Preferences and Decision Strategies
  Raed Karim, Chen Ding and Chi-Hung Chi


• Distributed Matchmaking and Ranking of Web APIs Exploiting Descriptions from Web Sources
  Luca Panziera, Marco Comerio, Matteo Palmonari and Flavio De Paoli

SOCA Session F2: Programming Issues
  Chair: Tony Clark

• Dynamic Object Offloading in Web Services
  Quirino Zagarese, Gerardo Canfora and Eugenio Zimeo


• Reasoning about service oriented recursion
  Claudio Guidi and Alessandro Sperduti


• A Component and Query Approach for Scientific Data Exploration Applications
  André Santanchè, Peter Baumann, Diego Costa and Nícolas Oliveira

SOCA Session F3: Cloud and Grid Services
  Chair: Bin Tang

• Enabling Cost-Efficient Software Service Distribution in Infrastructure Clouds at Run Time
  Ulrich Lampe, Thorsten Mayer, Johannes Hiemer, Dieter Schuller and Ralf Steinmetz


• Direction-Aware Resource Discovery Service in Large-Scale Grid and Cloud Computing
  Wu-Chun Chung, Chin-Jung Hsu, Kuan-Chou Lai, Kuan-Ching Li and Yeh-Ching Chung


• A Multi-Attribute Service Portfolio Design Problem
  Rico Knapper, Christoph M. Flath, Benjamin Blau, Anca Sailer and Christof Weinhardt

SOCA Session F4: Business Processes
  Chair: Birgit Hofreiter

• Visualizing B2Bi Choreographies
  Andreas Schoenberger


• Adaptation of Service-based Business Processes by Context-Aware Replanning
  Antonio Bucchiarone, Marco Pistore, Heorhi Raik and Raman Kazhamiakin


• A Summary-Based Approach for Enhancing Process Model Matchmaking
  Ahmed Gater, Daniela Grigori, Mohammed Haddad, Mokrane Bouzeghoub and Hamamache Kheddouci

SOCA Session F5: Workflows
  Chair: San-Yih Hwang

• Single-Objective versus Multi-Objective Genetic Algorithms for Workflow Composition based on Service Level Agreements
  Simone A. Ludwig


• An Approach to Combine Data-Related and Control-Flow-Related Compliance Rules
  Daniel Schleicher, Stefan Grohe, Frank Leymann, Patrick Schneider, David Schumm and Tamara Wolf


• SCPOR: An Elastic Workflow Scheduling Algorithm for Services Computing
  Cui Lin and Shiyong Lu

SOCA Session S1: Cloud Computing
  Chair: Santosh Shrivastava

• Requirements for an IaaS Deployment Language in Federated Clouds
  Alexander Lenk, Carsten Dänschel, Markus Klems, David Bermbach and Tobias Kurze


• CMotion: A Framework for Migration of Applications into and between Clouds
  Tobias Binz, Frank Leymann and David Schumm


• Probabilistic Admission Control for Elastic Cloud Computing
  Kleopatra Kostanteli, Theodora Varvarigou, Tommaso Cucinotta


• DYNO: A Notation to Leverage Dynamic Network Effects in PaaS Ecosystems
  Ulrich Scholten, Robin Fischer, Christian Zirpins and Simone Scholten

---

December 14, 2011 (Wednesday), 11:00-12:30

SOCA Session F6: Middleware
  Chair: Chang-Gun Lee

• An Efficient Bayesian Diagnosis for QoS Management in Service-Oriented Architecture
  Jing Zhang, Xiaoqi Zhang and Kwei-Jay Lin


• Capacity-based Admission Control for Mixed Periodic and Aperiodic Real Time Service Processes
  Weiran Nie, Kwei-Jay Lin and Soo Dong Kim


• A Heuristic for Optimum Allocation of Real-Time Service Workflows
  Tommaso Cucinotta and Gaetano F. Anastasi

SOCA Session S2: Processes
  Chair: Xuanzhe Liu

• Business Process Change Management based on Process Model Synchronization of Multiple Abstraction Levels
  Monika Weidmann, Falko Koetter, Thomas Renner, Modood Alvi, Frank Leymann and David Schumm


• Verifying Web Services in a Choreography environment
  San-Yih Hwang, Wen-Fan Hsieh and Chien-Hsiang Lee


• Business Process Customization using Process Merging Techniques
  Pavel Bulanov, Alexander Lazovik and Marco Aiello


• Towards a Performance Estimate in Semi-Structured Processes
  Andreas Wombacher, Maria Iacob and Martin Haitsma

SOCA Session F7: Architecture & Development
  Chair: Brian Blake

• How to Balance Flexibility and Coordination? Service-oriented Model and Architecture for Document-based Collaboration on the Web
  Nelly Schuster, Christian Zirpins and Ulrich Scholten


• An Architecture for Negotiation and Enforcement of Resource Usage Policies
  Carlos Molina-Jimenez, Santosh Shrivastava and Stuart Wheater


• Requirement Model for a High Quality Service System
  Keiko Shimazu

SOCA Session S3: Composition & Processes
  Chair: Andreas Schönberger

• Modelling and Transforming Security Constraints in Privacy-Aware Business Processes
  Jutta Mülle, Silvia Von Stackelberg and Klemens Böhm


• iSocialMash: Convergence of Social Networks and Services Composition on a Mashup Framework
  Xuanzhe Liu, Ning Jiang, Gang Huang and Qi Zhao


• A New Language to Define Bioinformatics Workflows Using Web Services
  Walaa Nagy and Hoda M. O. Mokhtar

SOCA Session S4: Frameworks and Semantic Approaches
  Chair: Simone Ludwig

• Lightweight Semantics for Automating the Invocation of Web APIs
  Maria Maleshkova, Carlos Pedrinaci, Ning Li, Jacek Kopecky and John Domingue


• Automating Testing of Service-oriented Mobile Applications with Distributed Knowledge and Reasoning
  James Edmondson, Aniruddha Gokhale and Sandeep Neema


• EasySaaS : A SaaS Development Framework
  Wei-Tek Tsai, Yu Huang and Qihong Shao


• CMU Sphinx4 Speech Recognizer in a Service-oriented Computing Style
  Georgios Tsontzos and Reinhold Orglmeister

SOCA Session F8: Adaption
  Chair: Antonio Bucchiarone

• CLAM: Managing Cross-layer Adaptation in Service-Based Systems
  Asli Zengin, Annapaola Marconi, Luciano Baresi and Marco Pistore


• Extracting Dynamic Dependencies between Web Services Using Vector Clocks
  Daniele Romano, Martin Pinzger and Eric Bouwers


• Dynamic Homecare Service Provisioning Architecture
  Alireza Zarghami, Mohammad Zarifi Eslami, Brahmananda Sapkota and Marten Van Sinderen

SOCA Session S5: Quality of Service
  Chair: Tommaso Cucinotta

• Request Replication: An Alternative to QoS Aware Service Selection
  Anis Yousefi and Douglas G. Down


• An Autonomic Registry-Based SOA Model
  Haithem Mezni, Walid Chainbi and Khaled Ghedira


• Run-Time Management and Optimization of Web Service Monitoring Systems
  Garth Heward, Jun Han, Jean-Guy Schneider and Steve Versteeg


• Evaluating Web Service QoS: A Neural Fuzzy Approach
  Barbara Pernici and S. Hossein Siadat