Dec. 12, 2011 (Monday)

8:30-9:00

Registration

9:00-10:30

Opening and SOCA/SOSE 2011 Joint Keynote 1:

Speaker: Prof. Edward A. Lee, University of California, Berkeley

Title: Heterogeneous Actor Models

10:30-11:00

Coffee Break

11:00-12:30

Session 1: Service Testing 1

(Chair: Jerry Gao, San Jose State University, CA, USA)

Xiaoying Bai, Muyang Li, Bin Chen, Wei Tek Tsai and Jerry Gao. A Survey of Cloud Testing Tools

Mustafa Bozkurt and Mark Harman. Automatically Generating Realistic Test Input From Web Services

Marcelo Medeiros Eler, Marcio Delamaro and Paulo Masiero. Using structural testing information to support monitoring activities

11:00-12:30

Session 2: Modelling

(Chair: Yinong Chen, Arizona State University, USA)

Zhi Jin and Hong Zhu. Unifying Domain Ontology with Agent-Oriented Modeling of Services

Tony Clark and Balbir Barn. Event Driven Architecture Modelling and Simulation

Hatim Hafiddi, Mahmoud Nassar and Abdelaziz Kriouile. What Can Model Driven Architecture and Aspect Paradigm Do for Service Oriented Applications?

12:30-1:30

Lunch Break

1:30-3:00

Session 3: Cloud Engineering

(Chair: I-Ling Yen, University of Texas at Dallas, USA)

Jerry Gao, Pushkala Pattabhiraman, Xiaoying Bai and W. T. Tsai. SaaS Performance and Scalability Evaluation in Clouds

Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao and Zhuqing Li . Building High-speed Roads: Improving Performance of SOAP Processing for Cloud Services

Lu Liu, Osama Masfary and Jianxin Li. Evaluation of Server Virtualization Technologies for Green IT

Hao Wei, Jin Shao, Bang Liu, Haiwen Liu, Qianxiang Wang and Hong Mei . A Self-management Approach for Service Developers of PaaS

1:30-3:00

Session 4: Service Discovery, Selection and Composition

(Chair: Gang Yin, National University of Defense Technology, China)

Syed Adeel Ali, Partha Roop, Ian Warren and Zeeshan Ejaz Bhatti. Unified Management of Control Flow and Data Mismatches in Web Services Composition

Valeria Cardellini, Valerio Di Valerio, Vincenzo Grassi, Stefano Iannucci and Francesco Lo Presti. A New Approach to QoS Driven Service Selection in Service Oriented Architectures

Duo Qu, Xudong Liu, Hailong Sun and Zicheng Huang. A Ranking Method for Social-Annotation-Based Service Discovery

3:00-3:30

Coffee Break

3:30-5:00

Session 5: Application and Education

(Chair: Sylvia Ilieva, Sofia University, Bulgaria)

Yinong Chen and Wei-Tek Tsai. Service-Orientation in Computing Curriculum

Yan Liu, Ian Gorton, Adam Wynne and Anand Kullkarni. Scientific Workflows Composition and Deployment on SOA Frameworks

Gang Huang and Daimeng Wang. Adapting User Interface of Service-Oriented Rich Client to Mobile Phones

Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra. An Optimization Process for Adaptation Space Exploration of Service-oriented Applications

3:30-5:00

Panel 1: The Challenges of Cloud Computing to Service Engineering

Moderator:  Jie Xu, University of Leeds, UK;

Panelists: W.T. Tsai, I-Ling Yen, Huaimin Wang, Farokh Bastani, Jorge L Sanz.

5:00-6:00

SOSE 2011 Keynote 1:

Speaker: Prof. Farokh Bastani, Univ. of Texas at Dallas, USA

Title: High-Assurance Real-Time Service-Oriented Systems

Chair: Wei-Tek Tsai, Arizona State University, USA

6:00-9:00

Reception

Dec. 13, 2011 (Tuesday)

9:00-10:00

SOCA 2011/SOSE 2011 Joint Keynote 2:

Speaker: Prof. Wen-Tsuen Chen, National Tsing Hua University

Title: Enabling technologies and Applications of the Internet of Things

10:30-11:00

Coffee Break

11:00-12:30

Session 6: Business Process

(Chair: Jorge L. Sanz, IBM, USA)

Jorge L. C. Sanz. Entity-Centric Operations Modeling for Business Process Management - A Multidisciplinary Review of the State-of-the-Art (Invited Paper)

Alexandre Souza, Claudia Capelli, Flavia Santoro, Leonardo Azevedo, Julio Leite and Thais Batista. Service Identification in Aspect-Oriented Business Process Models

Sinan Mei, Hongming Cai and Fenglin Bu. Multi-View Service-Oriented Rule Merged Business Process Modeling Framework

11:00-12:30

Session 7: Service Testing 2

(Chair: Xiao Su, San Jose State University, USA)

Fevzi Belli, Andre Endo, Michael Linschulte and Adenilso Simao. Model-based Testing of Web Service Compositions

Sylvia Ilieva, Denitsa Manova, Ilina Manova, Cesare Bartolini, Antonia Bertolino and Francesca Lonetti. An automated approach to robustness testing of BPEL orchestrations

Marcelo Medeiros Eler, Antonia Bertolino and Paulo Masiero. More Testable Service Compositions by Test Metadata

12:30-1:30

Lunch Break

1:30-3:30

Session 8: QoS 1: Security, Privacy and Safety

(Chair: Zhi Jin, Peking University, China)

Rob Smith and Jie Xu. A survey of personal privacy protection in public service mashups (Invited Paper)

Wei She, I-Ling Yen, Farokh Bastani, Bao Tran and Bhavani Thuraisingham. Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems

Tadashi Koga, Xiaodong Lu and Kinji Mori. Autonomous Continuous Target Tracking Technology for Safety in Air Traffic Radar Systems Network (Invited Paper)

1:30-3:00

Session 9: Enterprise Transformation and IT Interplay

(Chair: Jorge L. Sanz, IBM, USA)

Chaitanya Shivade, Farha Mukri, Rajiv Ramnath and Jay Ramanathan. Method for Continuous Generation of Component Business Model Heat Map using Execution Data for a Complex Service Enterprise

Mingfeng Tan and Xiao Su. Media Cloud: When Media Revolution Meets Rise of Cloud Computing

Colin Venters, Paul Townend, Lydia Lau, Karim Djemame, Vania Dimitrova, Alison Marshall, Jie Xu, Charlie Dibsdale, Nick Taylor, Jim Austin, John Mcavoy, Martyn Fletcher and Stephen Hobson. Provenance: Current Directions and Future Challenges for Service Oriented Computing

3:00-3:30

Coffee Break

3:30-4:30

SOSE 2011 Keynote 2:

Speaker: Prof. Huaimin Wang, National University of Defense Technology, China

Title: Trustie: Trustworthy Software Development Environment based on the Wisdom of Crowds

Chair: Jie Xu, University of Leeds, UK

4:30-5:00

SOSE 2012 Planning Meeting

(Chair: Wei-Tek Tsai, SOSE Steering Committee Chair)

5:00-6:00

Shuttle to Newport Beach

6:00-9:00

Banquet Cruise

9:00-9:30

Shuttle back

Dec 14, 2011 (Wednesday)

9:00-10:30

SOCA/ SOSE 2011 Joint Keynote 3:

Speaker: Prof. Sang Hyuk Son, University of Virginia

Title: Providing Robustness in Data and Event Services in Cyber Physical Systems

10:30-11:00

Coffee Break

11:00-12:30

Session 10: Industrial Experiences and Case Studies

(Chair: Xiaodong Lu, Tokyo Institute of Technology, Japan)

Zheng Huang, Qiang Li, Dong Zheng, Kefei Chen and Xiangxue Li. YI Cloud : Improving user privacy with secret key recovery in cloud storage

Ali Ghaddar, Dalila Tamzalit and Ali Assaf. Decoupling variability management in multi-tenant SaaS applications

Peter Garraghan, Paul Townend and Jie Xu. Byzantine Fault-Tolerance in Federated Cloud Computing

11:00-12:30

Session 11: Service Specification

(Chair: Hong Zhu, Oxford Brookes University, UK)

Lixing Li, Zhi Jin and Ge Li. A Process Algebra for Environment-based Specification of Web Services

Abubkr Abdelsadiq, Carlos Molina–jimenez and Santosh Shrivastava. A High–Level Model–Checking Tool for Verifying Electronic Contracts

Nasser Mousa Faleh Mustafa and Gregor V. Bochmann. Transforming dynamic behavior specifications from Activity Diagrams to BPEL

Guang Chen, Xiaoying Bai, Xiaofei Huang, Muyang Li and Lizhu Zhou. Evaluating Services based on Ontology QoS Model

12:30-1:30

Lunch Break

1:30-3:00

Session 12: QoS 2: Interoperability and Compatibility

(Chair: Paul Townend, University of Leeds, UK)

Christian Pichler, Christian Huemer and Manuel Wimmer. Business Document Interoperability as a Service

Peter Bull, Lin Guan, Iain Phillips and Alan Grigg . A Quality of Service Framework for Dependability in Large-Scale Distributed Systems

Chushu Gao and Jun Wei. Checking Compatibility of Context-aware Service Protocols

1:30-3:00

Panel 2: Testing as a Service -- Opportunities and Challenges to the Research on Software Testing

Moderator: Hong Zhu, Oxford Brookes University 

Panelists: Wei-Tek Tsai, Jie Xu, Jerry Gao. 

3:00-3:30

Coffee Break

5:00-6:00

Closing