The Community for Technology Leaders
2013 IEEE Seventh International Symposium on Service-Oriented System Engineering (2011)
Irvine, CA, USA
Dec. 12, 2011 to Dec. 14, 2011
ISBN: 978-1-4673-0411-5
TABLE OF CONTENTS
Papers

Table of contents (PDF)

pp. iii-vi

Title page (PDF)

pp. i

Message from the program co-chairs (PDF)

Hong Zhu , Oxford Brookes University, UK
Xiaodong Lu , Tokyo Institute of Technology, Japan
Jerry Gao , San Jose State University, CA, USA
pp. viii

Cloud testing tools (Abstract)

Muyang Li , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Wei-Tek Tsai , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Jerry Gao , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Xiaoying Bai , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Bin Chen , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
pp. 1-12

Automatically generating realistic test input from web services (Abstract)

Mustafa Bozkurt , CREST Centre, Department of Computer Science, University College London, Malet Place, WC1E 6BT, UK
Mark Harman , CREST Centre, Department of Computer Science, University College London, Malet Place, WC1E 6BT, UK
pp. 13-24

Using structural testing information to support monitoring activities (Abstract)

Marcio Eduardo Delamaro , ICMC/USP, Sao Carlos/SP - Brazil
Marcelo Medeiros Eler , ICMC/USP, Sao Carlos/SP - Brazil
Paulo Cesar Masiero , ICMC/USP, Sao Carlos/SP - Brazil
pp. 25-30

Unifying domain ontology with agent-oriented modeling of services (Abstract)

Zhi Jin , Key Lab. of High Confidence Software Tech., School of Elect. Eng. and Comp. Sci., Peking University, Beijing 100871, China
Hong Zhu , Dept. of Comp. & Comm. Technologies, Oxford Brookes University, OX33 1HX, UK
pp. 31-42

Event driven architecture modelling and simulation (Abstract)

Balbir S. Barn , School of Engineering and Information Sciences, Middlesex University, London, UK
Tony Clark , School of Engineering and Information Sciences, Middlesex University, London, UK
pp. 43-54

How can Service Oriented Systems make beneficial use of Model Driven Architecture and aspect paradigm? (Abstract)

Abdelaziz Kriouile , IMS Team, SIME Laboratory, ENSIAS, Rabat, Morocco
Mahmoud Nassar , IMS Team, SIME Laboratory, ENSIAS, Rabat, Morocco
Hatim Hafiddi , IMS Team, SIME Laboratory, ENSIAS, Rabat, Morocco
pp. 55-60

SaaS performance and scalability evaluation in clouds (Abstract)

W. T. Tsai , Arizona State University, USA
Pushkala Pattabhiraman , Arizona State University, USA
Xiaoying Bai , Arizona State University, USA
Jerry Gao , San Jose State University, USA
pp. 61-71

Building high-speed roads: Improving performance of SOAP processing for cloud services (Abstract)

Jianxin Li , Department of Computer Science, Beihang University, Beijing, China
Zhuqing Li , Department of Computer Science, Beihang University, Beijing, China
Huang Liu , Department of Computer Science, Beihang University, Beijing, China
Xudong Liu , Department of Computer Science, Beihang University, Beijing, China
Yongwang Zhao , Department of Computer Science, Beihang University, Beijing, China
pp. 72-78

Evaluation of server virtualization technologies for Green IT (Abstract)

Jianxin Li , School of Computing, Beihang University, Beijing, China
Osama Masfary , Distributed and Intelligent Systems Research Group, School of Computing and Mathematics, University of Derby, UK
Lu Liu , Distributed and Intelligent Systems Research Group, School of Computing and Mathematics, University of Derby, UK
pp. 79-84

A self-management approach for service developers of PaaS (Abstract)

Hao Wei , School of Electronics Engineering and Computer Science, Peking University, China
Jin Shao , School of Electronics Engineering and Computer Science, Peking University, China
Bang Liu , School of Electronics Engineering and Computer Science, Peking University, China
Haiwen Liu , School of Electronics Engineering and Computer Science, Peking University, China
Hong Mei , School of Electronics Engineering and Computer Science, Peking University, China
Qianxiang Wang , School of Electronics Engineering and Computer Science, Peking University, China
pp. 85-92

Unified management of control flow and data mismatches in web service composition (Abstract)

Syed Adeel Ali , Department of Electrical and Computer Engineering, The University of Auckland, New Zealand
Partha Roop , Department of Electrical and Computer Engineering, The University of Auckland, New Zealand
Zeeshan Ejaz Bhatti , Department of Electrical and Computer Engineering, The University of Auckland, New Zealand
Ian Warren , Department of Computer Science, The University of Auckland, New Zealand
pp. 93-101

A new approach to QoS driven service selection in service oriented architectures (Abstract)

Valerio Di Valerio , Dipartimento di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", Via del Politecnico 1, 00133, Italy
Valeria Cardellini , Dipartimento di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", Via del Politecnico 1, 00133, Italy
Francesco Lo Presti , Dipartimento di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", Via del Politecnico 1, 00133, Italy
Stefano Iannucci , Dipartimento di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", Via del Politecnico 1, 00133, Italy
Vincenzo Grassi , Dipartimento di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", Via del Politecnico 1, 00133, Italy
pp. 102-113

A ranking method for social-annotation-based service discovery (Abstract)

Hailong Sun , School of Computer Science and Engineering, Beihang University, Beijing, China
Zicheng Huang , School of Computer Science and Engineering, Beihang University, Beijing, China
Duo Qu , School of Computer Science and Engineering, Beihang University, Beijing, China
Xudong Liu , School of Computer Science and Engineering, Beihang University, Beijing, China
pp. 114-121

Service-orientation in computing curriculum (Abstract)

W. T. Tsai , School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, 85287-8809, U.S.A.
Yinong Chen , School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, 85287-8809, U.S.A.
pp. 122-133

Scientific workflows composition and deployment on SOA frameworks (Abstract)

Anand Kullkarni , Pacific Northwest National Laboratory, USA
Adam Wynne , Pacific Northwest National Laboratory, USA
Yan Liu , Pacific Northwest National Laboratory, USA
Ian Gorton , Pacific Northwest National Laboratory, USA
pp. 134-139

Adapting user interface of service-oriented rich client to mobile phones (Abstract)

Daimeng Wang , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, 100871, China
Gang Huang , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, 100871, China
pp. 140-145

An optimization process for adaptation space exploration of service-oriented applications (Abstract)

Pasqualina Potena , Univ. degli Studi di Bergamo, DIIMM, Dalmine, Italy
Raffaela Mirandola , Politecnico di Milano, DEI, Italy
Patrizia Scandurra , Univ. degli Studi di Bergamo, DIIMM, Dalmine, Italy
pp. 146-151

Service identification in aspect-oriented business process models (Abstract)

Claudia Capelli , NP2Tec - Research and Practice Group in Information Technology, Department of Applied Informatics, Federal University of the State of Rio de Janeiro, Brazil
Thais Batista , Computer Science Department, Federal University of Rio Grande do Norte, Natal, Brazil
Flavia Santoro , NP2Tec - Research and Practice Group in Information Technology, Department of Applied Informatics, Federal University of the State of Rio de Janeiro, Brazil
Julio Cesar Sampaio do Prado Leite , Departamento de Informática, PUC-Rio, Rio de Janeiro, Brazil
Alexandre Souza , NP2Tec - Research and Practice Group in Information Technology, Department of Applied Informatics, Federal University of the State of Rio de Janeiro, Brazil
Leonardo Guerreiro Azevedo , NP2Tec - Research and Practice Group in Information Technology, Department of Applied Informatics, Federal University of the State of Rio de Janeiro, Brazil
pp. 164-174

Multi-view service-oriented rule merged business process modeling framework (Abstract)

Sinan Mei , School of Software, Shanghai Jiao Tong University, China
Hongming Cai , School of Software, Shanghai Jiao Tong University, China
Fenglin Bu , School of Software, Shanghai Jiao Tong University, China
pp. 175-180

Model-based testing of web service compositions (Abstract)

Andre Takeshi Endo , Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo (USP), Brazil
Adenilso Simao , Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo (USP), Brazil
Fevzi Belli , Electrical Engineering and Mathematics, University of Paderborn, Germany
Michael Linschulte , Electrical Engineering and Mathematics, University of Paderborn, Germany
pp. 181-192

An automated approach to robustness testing of BPEL orchestrations (Abstract)

Denitsa Manova , Rila Solutions, Sofia, Bulgaria
Cesare Bartolini , Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", CNR, Pisa, Italy
Francesca Lonetti , Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", CNR, Pisa, Italy
Ilina Manova , Rila Solutions, Sofia, Bulgaria
Antonia Bertolino , Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", CNR, Pisa, Italy
Sylvia Ilieva , Institute of Information and Communication Technologies (IICT), Bulgarian Academy of Sciences, Sofia, Bulgaria
pp. 193-203

More testable service compositions by test metadata (Abstract)

Marcelo Medeiros Eler , ICMC/USP, Sao Carlos/SP - Brazil
Antonia Bertolino , ISTI/CNR, Pisa - Italy
Paulo Cesar Masiero , ICMC/USP, Sao Carlos/SP - Brazil
pp. 204-213

A survey of personal privacy protection in public service mashups (Abstract)

Rob Smith , Computer Science, University of Leeds, UK
Jie Xu , Computer Science, University of Leeds, UK
pp. 214-224

Role-based integrated access control and data provenance for SOA based net-centric systems (Abstract)

Bhavani Thuraisingham , Department of Computer Science, University of Texas at Dallas, USA
Farokh Bastani , Department of Computer Science, University of Texas at Dallas, USA
I-Ling Yen , Department of Computer Science, University of Texas at Dallas, USA
Bao Tran , Department of Computer Science, University of Texas at Dallas, USA
Wei She , Department of Computer Science, University of Texas at Dallas, USA
pp. 225-234

Autonomous continuous target tracking technology for safety in air traffic radar systems network (Abstract)

Xiaodong Lu , Department of Computer Science, Tokyo Institute of Technology, Meguro, Japan
Tadashi Koga , Electronic Navigation Research Institute, Chofu, Tokyo, Japan
Kinji Mori , Department of Computer Science, Tokyo Institute of Technology, Meguro, Japan
pp. 235-240

Method for continuous generation of Component Business Model heat map using execution data for a complex service enterprise (Abstract)

Jay Ramanathan , CETI, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA
Rajiv Ramnath , CETI, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA
Farha Mukri , CETI, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA
Chaitanya Shivade , CETI, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA
pp. 241-250

Media cloud: When media revolution meets rise of cloud computing (Abstract)

Xiao Su , Computer Engineering Department, San Jose State University, CA, U.S.
Mingfeng Tan , Computer Engineering Department, San Jose State University, CA, U.S.
pp. 251-261

Provenance: Current directions and future challenges for service oriented computing (Abstract)

Charlie Dibsdale , Rolls Royce PLC, P.O. BOX 31, Derby, United Kingdom
Nick Taylor , Rolls Royce PLC, P.O. BOX 31, Derby, United Kingdom
Vania Dimitrova , University of Leeds, United Kingdom
Lydia Lau , University of Leeds, United Kingdom
John McAvoy , Cybula Ltd., Computer Science Building, York, United Kingdom
Alison Marshall , University of Leeds, United Kingdom
Colin C. Venters , University of Leeds, United Kingdom
Jim Austin , Cybula Ltd., Computer Science Building, York, United Kingdom
Karim Djemame , University of Leeds, United Kingdom
Jie Xu , University of Leeds, United Kingdom
Martyn Fletcher , Cybula Ltd., Computer Science Building, York, United Kingdom
Stephen Hobson , Cybula Ltd., Computer Science Building, York, United Kingdom
Paul Townend , University of Leeds, United Kingdom
pp. 262-267

YI Cloud: Improving user privacy with secret key recovery in cloud storage (Abstract)

XiangXue Li , Department of Computer Science and Engineering, East China Normal University, Shanghai, 200241, China
Zheng Huang , Institute of Information Security and Engineering, Shanghai Jiaotong University, 200240, China
Kefei Chen , Institute of Information Security and Engineering, Shanghai Jiaotong University, 200240, China
Dong Zheng , Institute of Information Security and Engineering, Shanghai Jiaotong University, 200240, China
Qiang Li , Institute of Information Security and Engineering, Shanghai Jiaotong University, 200240, China
pp. 268-272

Decoupling variability management in multi-tenant SaaS applications (Abstract)

Dalila Tamzalit , University of Nantes, LINA, France
Ali Assaf , BITASOFT, France
Ali Ghaddar , BITASOFT, University of Nantes, France
pp. 273-279

Byzantine fault-tolerance in federated cloud computing (Abstract)

Paul Townend , School of Computing, University of Leeds, LS2 9JT, UK
Peter Garraghan , School of Computing, University of Leeds, LS2 9JT, UK
Jie Xu , School of Computing, University of Leeds, LS2 9JT, UK
pp. 280-285

A process algebra for environment-based specification of web services (Abstract)

Ge Li , Key Laboratory of High Confidence Software Technologies(Peking University), Ministry of Education, Beijing 100871, China
Lixing Li , Academy of Mathematics and System Science, Chinese Academy of Sciences, Beijing 100190, China
Zhi Jin , Academy of Mathematics and System Science, Chinese Academy of Sciences, Beijing 100190, China
pp. 286-296

A high-level model-checking tool for verifying service agreements (Abstract)

Carlos Molina-Jimenez , School of Computing Science, Newcastle University, UK
Abubkr Abdelsadiq , School of Computing Science, Newcastle University, UK
Santosh Shrivastava , School of Computing Science, Newcastle University, UK
pp. 297-304

Transforming dynamic behavior specifications from activity diagrams to BPEL (Abstract)

Nasser Mousa Faleh. Mustafa , SEECS, University of Ottawa, Canada
Gregor V. Bochmann , SEECS, University of Ottawa, Canada
pp. 305-311

Evaluating services on the cloud using ontology QoS model (Abstract)

Guang Chen , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Lizhu Zhou , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Xiaofei Huang , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Xiaoying Bai , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Muyang Li , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
pp. 312-317

Business document interoperability as a service (Abstract)

Christian Huemer , Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria
Manuel Wimmer , Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria
Christian Pichler , Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria
pp. 318-326

A quality of service framework for dependability in large-scale distributed systems (Abstract)

Lin Guan , Department of Computer Science, Loughborough University, UK
Alan Grigg , Systems Engineering Innovation Centre, BAE Systems, Loughborough, UK
Peter Bull , Department of Computer Science, Loughborough University, UK
Iain Phill , Department of Computer Science, Loughborough University, UK
pp. 327-334

Checking compatibility of context-aware service protocols (Abstract)

Chushu Gao , Institute of Software, Chinese Academy of Sciences, Beijing, China
Jun Wei , Institute of Software, Chinese Academy of Sciences, Beijing, China
pp. 335-340

Author index (PDF)

pp. 341-342
93 ms
(Ver 3.3 (11022016))