COMPSAC 2012 Trustworthy Software Systems for the Digital ... · COMPSAC 2012 Trustworthy Software Systems for the Digital Society Izmir, Turkey 16-20 July General Chairs: Fevzi Belli

COMPSAC 2012Trustworthy Software Systems for the Digital Society

Izmir, Turkey16-20 July

General Chairs: Fevzi Belli and Elisa BertinoProgram Chairs: Xiaoying Bai, Atilla Elçi, Mohammad ZulkernineWorkshop Chair: Cristina SeceleanuLocal Organizing Chair: Tugkan Tuglular

www.compsac.org

23

Welcom

e to COM

PSAC 2012!

On behalf of the O

rganizing and Program Com

mittees, w

e happily welcom

e you to Izmir, to attend

the 36th Annual International Computer Softw

are and Applications Conference (COM

PSAC). The technical them

e of this year’s COM

PSAC focuses on foundations, methodologies, architectures,

and mechanism

s that support modeling, design, im

plementation, and evaluation of trustw

orthy softw

are systems and applications that are critical for the digital society. As such, “Trustw

orthy Softw

are Systems for the D

igital Society” forms this year’s them

e. The keynotes, program features,

research and industrial practice papers, and panels with a w

ide range of topics, focusing on the secure use of clouds to softw

are engineering of critical infrastructure systems such as, but not

limited to, civil, telecom

munications, and m

edical systems. To properly engineer such system

s, the foundations, m

ethodologies, and mechanism

s that support the design, modeling, and evaluation of

software system

s must com

e from diverse sources. To secure such system

s, security methodologies

and techniques must be applied.

Topics of interest of this year’s COM

PSAC include requirement analysis, co-analysis and co-design,

modeling, design, developm

ent, testing, measurem

ent, verification and validation for performance,

safety, security, dependability, and usability constraints, and use of novel infrastructures including the cloud. Effective construction of system

s for the digital society is not limited solely to the field

of computer science and engineering and is truly a m

ultidisciplinary effort. Multidisciplinary w

ork, research and developm

ent software prototypes, industry-university collaborations, all based on

new em

erging and critical technologies are all part of COM

PSAC.

We take this opportunity to thank the Track Chairs, O

rganization Chairs, and mem

bers of the Program

Comm

ittee (PC) who have w

orked tirelessly soliciting and reviewing papers, and have

participated in the PC program discussions and selected papers for the final technical program

. We

thank the reviewers for their hard w

ork in providing quality reviews for each paper. W

e specifically acknow

ledge the contributions of the Program Chairs Xiaoying Bai, Atilla Elci, and M

ohamm

ad Zulkernine in creating and setting the program

. Special thanks are extended to Professor Carl Chang for his enthusiastic contribution to the entire technical program

development process and

for his serving as the Standing Comm

ittee Chair and to the faculty, staff, and students at Iowa State

University for running conference w

ebsites and paper submission system

and to the IEEE CS staff for organizing the PC m

eeting in Los Angeles. Finally, we w

ish to specially thank Tugkan Tuglular for his excellent local arrangem

ents in Izmir and Laurel Tw

eed for all her work in several organizational

aspects of the conference.

We also thank all the keynote speakers, panelists, and authors for their contribution to the exciting

technical program in CO

MPSAC 2012.

We trust that CO

MPSAC 2012 w

ill provide you with a valuable opportunity to interact w

ith other researchers and practitioners from

institutions around the world.

Enjoy!!

General Chairs,

Fevzi Belli and Elisa Bertino

Monday July 16

ICT V

ision for Izmir Search C

onfererence and C

OM

PSAC

/SAIN

TW

elcome R

eceptionSponsored by Izm

ir Municipality

Location: Kultur Park, Izm

ir Fair area

16:00: Tourist buses will take off from

the Swissotel

for a 45 minute tour of the area and transporta-

toni to the ICT V

ision Conference. C

OM

PSAC

and SAIN

T attendees are welcom

e to attend!

17:00-20:00: ICT V

ision for Izmir Search C

onference

Unable to attend the IC

T Vision C

onference? Assistants w

ill be at the lobby of the Swissotel at 19:30 to es-

cort you to the CO

MPSA

C/SA

INT W

elcome R

eception, held in conjunction with the IC

T Vision C

onference R

eception.

20:00-21:30: Welcom

e Cocktail R

eception

21:30: Buses depart for return to Sw

issotel

Tuesday July 17Conference Banquet

The COM

PSAC/SA

INT banquet w

ill be an outdoor gala at the archaeological ruins of O

ld Smyrna called A

gora.

18:30: Walking from

Swissotel to A

gora19:00: Tour20:00: D

inner21:30: W

alking back to Swissotel

Wednesday July 18

Bus Trip to Ephesus

Local organizers have arranged for a bus trip for all conference attendees to visit Ephesus. O

nce an ancient Greek city, today Ephesus is a m

ajor archeological site located approxim

ately 1 hour south of Izmir. Purchase dinner follow

ing the tour at Kusadasi, a nearby tow

n on the Aegean coast.

Buses will depart from

Swissotel at 16:00

17:00: Arrival at Ephesus

17:00-19:30: Tour at Ephesus and House of V

irgin Mary

19:30: Board bus for Kusadasi20:00-21:30: Tim

e for exploring, dinner21:30: Board bus for return trip to Sw

issotel, Izmir

Monday July 16

ICT Vision for Izm

ir Search ConferenceCO

MPSA

C/SAIN

T Welcom

e ReceptionSponsored by Izm

ir Municipality

Buses will depart from

Swissotel at 16:00 for a short tour of the area, landing at

the Izmir fair area, location for the ICT V

ision for Izmir Search Conference. This

conference seeks to explore ways for the city of Izm

ir to encourage the growth

of technology-based industry and research. All CO

MPSA

C/SAIN

T attendees are w

elcome to attend! Reception and social hour w

ill follow. A

ttendees who can

only attend the reception should gather in the Swissotel lobby at 19:30 for a

guided walk to the reception location.

17:00-20:00: ICT Vision for Izm

ir Search Conference20:00-21:30: W

elcome Cocktail Reception

21:30: Walk back to Sw

issotel

45

Tuesday July 17: Conference Day 1 8:30 - 10:00

Grand Efes Ballroom

(1st floor): Conference W

elcome, Opening Rem

arks, Best Paper Awards

Joint COMPSAC/SAINT Keynote: George Straw

n - Trust and Confidence Chair: Carl Chang

Room

Konak I/2 (3rd floor)

Bergama I (3

rd floor) Bergam

a 2/3 (3rd

floor) Didim

(3rd floor)

10:00-10:30 M

orning Break: Smyrna Auditorium

(5th floor)

10:30-12:00 Softw

are Life Cycle, Evolution &

Maintenance I

Reliability, Metrics &

Fault Tolerance I

Software Testing I

Panel 1

12:00-13:30 Lunch: Sm

yrna Auditorium

13:30-15:00 Softw


Maintenance

2

Reliability, Metrics &

Fault Tolerance 2

Software Testing 2

Software Architecture &

Design I

15:00-15:30 Afternoon Break: Sm

yrna Auditorium 1 (5

th floor)

15:30-17:00 Softw


Maintenance

3

Security Softw

are Architecture &

Design 2

Panel 2

Wednesday July 18: Conference Day 2 8:30-10:00am

Grand Efes Ballroom (1

st floor): Joint COMPSAC/SAINT Keynote: Ross Anderson

Cer

ecurit: T

reats ea

and a

ined Chair: Elisa Bertino

Room

Konak I/2 (3rd

floor) Bergam

a I (3rd floor)

Bergama 2/3 (3

rd floor)

Didim (3

rd floor) Sm

yrna 1 (5th

floor) 10:00-10:30

Morning Break: Sm

yrna Auditorium (5

th floor)

Posters

10:30-12:00 Requirem

ents Engineering

Panel 3 Form

al Methods

Fast Abstracts: 10:15

12:30 12:00-13:30

Lunch: Smyrna Auditorium

, Joint COMPSAC &

SAINT Planning Meeting

Location: Didim - All w

elcome!

13:30-15:00 Grand Efes Ballroom

: COMPSAC/SAINT Joint Panel on Social Com

puting

COMPSAC 2012: Program

at a Glance July 16: W

orkshop Day Room

Karşıyaka 1

Konak 1

Bergam

a 2

Bergama

3

Didim

8:30-9:30 M

idArch, SSS, METH

OD

: Invited Talk

IWSC 1

Q

UO

RS 1

REFS 1

STA 1

9:30-10:00 M


(5th floor)

Room

Karşıyaka 1

Karşıyaka 2

Karşıyaka 3

Konak 1

Konak 2

Bergama 1

Bergama

2 Bergam

a 3

Petek Didim

10:00-12:00 SSS 1

MidArch

1 M

ETHO

D1

IWSC 2

CFSE 1 M

VDA

1 Q

UO

RS2

REFS 2 SAPSE

1 STA 2

12:00-13:30 Lunch: Sm

yrna Auditorium

13:30-15:00 SSS 2

MidArch

2 M

ETHO

D2

IWSC 3

CFSE 2 M

VDA

2 Q

UO

RS3

REFS 3 SAPSE

2 STA 3


yrna Auditorium (5

th floor)

15:30-17:00 SSS 3

MidArch

3 M

ETHO

D3

IWSC 4

M

VDA

3 Q

UO

RS4

REFS 4

STA 4

Thursday July 19: Cloud Day 8:30– 10:00

G

rand Efes Ballroom (1

st floor): Joint COM

PSAC/SAINT Panel on Cloud Com

puting Chair: Vladim

ir Getov

Room

Konak I/2 (3rd

floor) Bergam

a I (3rd

floor) Bergam

a 2/3 (3rd

floor) Didim

(3rd floor)

Smyrna 2

(5th floor)

Karşıyaka 3

10:00-10:30 M

orning Break : Smyrna Auditorium

(5th floor)

10:30-12:00 Cloud Com

puting I

Web-Based System

s Applications I

Panel 4 Industry

Track D

octoral Sym

posium

(presentation session)

12:00-13:30 Lunch: Sm

yrna Auditorium

13:30-15:00 Cloud Com

puting 2

Smart &

Semantic

Computing

Applications 2 H

CI & U

sability

Cloud Com

puting Security Tutorial

SAINT

sessions


yrna Auditorium (5

th floor) Doctoral Sym

posium poster session also from

13:30-15:30 in Smyrna!

15:30-17:00 Real-Tim

e &

Embedded

System

Mobile &

Pervasive Com

puting Applications 3

(Education) Panel 5

Friday July 20: Workshop Day

Room

Konak 1 Konak 2

Bergama 1

Bergama 2

10:00-12:00 IEESD-TiP 1

CORCS

STPSA 1 ESAS 1

12:00-13:30 Lunch: Sm

yrna Auditorium

13:30-15:00 IEESD-TiP 2

CORCS

STPSA 2 ESAS 2


yrna Auditorium (5

th floor) 15:30-17:00

STPSA 3

All CO

MPSA

C and SAIN

T attendees are encouraged to participate in the joint Doctoral

Symposium

. Participating Students have settled on a research topic for their dissertation or thesis and have produced som

e preliminary results, but have tim

e to benefit from

the advice and guidance of experienced researchers. In addition to the student presentations and posters listed in the program

, other students attending the conferences are welcom

e to bring posters and discuss possibilities for future w

ork with our conference attendees.

The joint poster session will take place from

1:30-3:30pm on Thursday - please stop by the

poster displays and visit with our student researchers!

Joint SAIN

T/COM

PSAC D

octoral Symposium

Presentation session: Thursday, 10:30am, Karşıyaka 3

Poster session: Thursday 1:30-3:30, Smyrna A

uditorium (during the break)

67

Keynotes, P

lenary Events

Registration A

rea and C

onference Desk

Lunch, Conference

Breaks,P

oster Displays

3rd floor: B

reakout Sessions

89

IEEE COM

PSAC International Workshops: M

onday July 16

8:30-9:30 W

orkshop Sessions

SSS 2012: The 5th IEEE International Workshop on Service Science and System

sM

ETHOD 2012: The 1st IEEE International W

orkshop on Methods for Establishing Trust w

ith Open Data

MidArch 2012: The 6th IEEE International W

orkshop on Middlew

are Architecture in the InternetLocation: Karşıyaka 1 (3

rd floor)

Invited Talk: Asian Information HU

B Project: NICT’s R&

D Vision and Strategies for

U

niversal Comm

unication Technology in the Big Data Era

MichiakiIw

azume,N

ationalInstituteofInformation&

CommunicationsTechnology,

Japan

REFS 2012: The 6th IEEE International Workshop on Requirem

ents Engineering for Services Chair: Colett

e RollandLocation: Bergam

a 3 (3rd floor)

Keynote:A Business Transaction Fram

ework Based on Problem

Diagnosis and Resolution

W

illem-Jan van den Heuvel

STA 2012: The 4th IEEE International Workshop on Soft

ware Test Autom

ationChair: Rajesh Subram

anyanLocation: Didim

(3rd floor)

Keynote:AttackSurfaceReductionthroughSoftw

areTesting

TugkanTuglular,Izm

irInstituteofTechnology,Turkey

IWSC 2012: The 9th IEEE International W

orkshop on Softw

are CyberneticsSession 1Location: Konak 1

Welcom

efromGeneralChair:

Kai-YuanCai,BeijingUniv.ofAeronauticsandAstronautics,China

Rem

arksfromChairofSteeringCom

mittee:StephenS.Yau,ArizonaStateU

niversity,USA

Reportfrom

ProgramCo-chair:XianpingTao,N

anjingUniversity,China

KeynoteAddress:Softw

are Cybernetics in the Age of Cloud Computing

HongZhu,NanjingU

niversity,China

QU

ORS 2012: The 6th IEEE International W

orkshop on Quality O

riented Reuse of Softw

areSession 1: Soft

ware Evolution

Chair: Hongji YangLocation: Bergam

a 2 (3rd floor)

8:30-8:50

Evaluating Extended Refactoring Guidelines

WafaBasit

8:50-9:10

Quantifying Q

uality of Software Design to M

easure the Impact of Refactoring

TusharSharma

9:10-9:30

Mining Association Rules to Facilitate Structural Recovery

WuRen,W

enyunZhao

9:30-10:00

Morning Break – Sm

yrna Auditorium (5

th floor)10:00-12:00

W

orkshop Sessions


s Session 1: Service Creation and EvolutionChair: Xiaodong LiuLocation: Karşıyaka 1 (3

rd floor)

10:00-10:30

Automated W

eb Service Composition using Generic Program

ming

LiyuanXiao,CarlK.Chang,Hen-IYang,Kai-ShinLu,Hsin-yiJiang

10:30-11:00

User’s Requirem

ents Driven Services Adaptation and Evolution

ZiyanXu,HaihongZhao,LinLiu

11:00-11:30

An Adaptive Quality Level Selection M

ethod for Efficient Q

oS-Aware Service Com

position

Jae-HyunCho,Jang-HoChoi,Han-GyuKo,In-YoungKo

11:30-12:00

A Novel Solution of Distributed File Storage for Cloud Service

YuZhang,WeidongLiu,JiaxingSong


orkshop on Middlew

are Architecture in the Internet Chair: Atshshi KanaiLocation: Karşıyaka 2 (3

rd floor)

10:00-11:00

Invited Talk: Application Architecture Aiming for U

ser-centric Information Discovery and

Retrieval

ToruKobayashi 11:00-11:30

Secure ID Transform

ation for Robust Pseudonymity against Backflow

of Personal

Inform

ation in SAML Federation

WataruO

ogami,TakaakiKom

ura,YasuoOkabe

11:30-12:00

Secure M

onitoring for Identity Federations and Distributed Systems

MiguelM

aciasEnguidanos,JaimePerezCrespo

METHO

D 2012: The 1st IEEE International Workshop on M

ethods for Establishing Trust with O

pen Data Chair: Florian SkopikLocation: Karşıyaka 3 (3

rd floor)

10:00-10:15

Welcom

eAddress

EdzardHöfig,InaSchieferdecker

10:15-10:45

Linked Open Data Aggregation: Conflict Resolution and Aggregate Q

uality

Tom

ášKnap,JanMichelfeit,M

artinNecasky

10:45-11:15

Identification and Utilization of Com

ponents for a Linked Open Data Platform

EvanelaLapi,N

ikolayTcholtchev,LouayBassbouss,FlorianMarienfeld,

InaSchieferdecker 11:15-11:45

Sensor Inform

ation Fueling Open Data

MiquelO

liver,ManuelPalacin,AlbertDom

ingo,VictorValls


orkshop on Softw

are CyberneticsSession 2Chair: Tugkan Tuglular, Izm

ir Institute of Technology, TurkeyLocation: Konak 1 (3

rd floor)

Evolution of a Softw

are System across Design and Im

plementation Stages in Dynam

ically

Changing Environments

BahtijarVogel,ArianitKurti,MarceloM

ilrad,TommiM

ikkonen

A Graph Transformation Based Approach for M

odeling Component M

igration

in Mobile Environm

ents

YuZhou,XuefengYan,ZhiqiuHuang

Tow

ards A General Supporting Framew

ork for Self-Adaptive Software System

s

LiangdongW

ang,YangGao,ChunCao,LiWang

Learning-Based M

ulti-Controller Coordination for Self-Optim

ization

RichangLin,BihuanChen,YiXie,XinPeng,W

enyunZhao

CFSE 2012: The 4th IEEE International Workshop on Com

puter Forensics in Softw

are Engineering Chair: Vinod Polpaya Bhatt

athiripadLocation: Konak 2 (3

rd floor)

Invited Talk: Research and Developm

ent of IT Risk Comm

unication Support System and Its

Application to Digital Forensic Issues

RyoichiSasaki

1011

Cloud Log Forensics M

etadata Analysis

SeanThorpe,IndrajitRay,TyroneGrandison,AbbieBarbir

Proposal and Evaluation of the Digital Certificate System

with Sum

i-coating Module

for Privacy Protection

TakashiSakuma,RyoichiSasaki

MVDA 2012: The 1st IEEE International W

orkshop on Modeling and Verifying Distributed Applications

Session 1: Algorithms and Platform

sChair: Leila Jem

ni Ben AyedLocation: Bergam

a 1 (3rd floor)

10:00-10:30

A Graphical Language to Integrate Process Algebra and State Machine View

s for

Specification and Verification of Distributed Real-Tim

e Systems

JinhoOn,SujeongW

oo,MoonkunLee

10:30-11:00

A BPEL4WS Extension to Develop and Execute Grid Service W

orkflow Application

YousraBendalyHlaoui,LeilaJemniBenAyed,Im

enBenFradj,AhlemBenYounes

11:00-11:30

A Distributed and Coordinated Massive DDO

S Attack Detection and Response Approach

Moham

edKarimAroua,BelhassenZouar

QU




are Session 2: Reuse-Driven Design and Patt

erns Chair: Xiaodong LiuLocation: Bergam

a 2 (3rd floor)

10:00-10:20

Towards Reuse-based Developm

ent for the On-Chip Distributed SoC Architecture

Moazzam

FareedNiazi,TiberiuSeceleanu,HannuTenhunen

10:20-10:40

Performance Com

parison of Combined Collaborative Filtering Algorithm

s for

Recomm

ender Systems

DilekTapucu,SedaKasap,FatihTekbacak10:40-11:00

Sim

plifying the Design of Signature Workflow

with Patterns

Hwai-JungHsu,M

ing-WeiTsai,Feng-JianW

ang11:00-11:20

A N

ew Cohesion M

etric and Restructuring Technique for Object O

riented Paradigm

Mehm

etKaya,JamesW

.Fawcett


ents Engineering for Services Session 2: RE for Services Adaptation and Evolution Chair: Eric YuLocation: Bergam

a 3 (3rd floor)

10:00-10:20

Viewpoints and Issues in Requirem

ents Engineering for Services

JolitaRalyte

10:20-10:40

A Goal-oriented Perspective on Approaches to Web Service Discovery

AssarSaid,SouveyetCarine,AljoumaaKadan

11:00-11:20

Software Service Evolution: A Requirem

ents Perspective

Feng-LinLi,LinLiu,JohnM

ylopoulos11:20-11:40

Representing N

on-Functional Requirements on Services – A Case Study

ClotildeRohleder

SAPSE 2012: The 4th IEEE International Workshop on Security Aspects in Processes and Services Engineering

Chair: Stelvio Cimato

Location: Petek Boardroom (3

rd floor)

10:00-10:30

Modeling of A-Posteriori Access Control in Business Processes

Moham

edKarimAroua,BelhassenZouari

10:30-11:00

Petri-net-based Modeling and Resolving of Black Hole Attack in W

MN

HejiaoHuang,Q

iangZhou11:00-11:30

Database as a Service: Tow

ards a Unified Solution for Security Requirem

ents

Moham

madAliHadavi,M

ortezaNoferesti,RasoolJalili,ErnestoDam

iani


ware Test Autom

ationSession 2: Agile Soft

ware Testing

Chair: Selma Tekir

Location: Didim (3

rd floor)

10:00-10:45

Invited Talk: Asynchronous Software Testing

RobertHierons

Strategies for Agile Software Testing Autom

ation: An Industrial Experience

ElianeCollins,AriloDias-N

eto,VicenteLucena

Adaptive Agile Performance M

odeling and Testing of Embedded System

s

MarekStochel,M

ariuszWaw

rowski

12:00-13:30 Lunch - Sm

yrna Auditorium13:30-15:00

Workshop Sessions


s SSS Session 2: Service M

arketing and Managem

entChair: Yang LiLocation: Karşıyaka 1 (3

rd floor)13:30-14:00

GARSS: A Generic Annotation and Recom

mendation Services System

for Digital

Repositories

XiaodongHuang,YongZhang,ChunxiaoXing

14:00-14:30

Material Hub: A Sem

antic Search Engine with Rule Reasoning

SenMa,W

enZhao,ShikunZhang,HangZhang14:30-15:00

Integrated Q

oS Utility-Based M

odel for Cloud Computing Service Provider Selection

MariaSalam

a,AhmedShaw

ish,AmirZeid,M

ohamedKouta


orkshop on Middlew

are Architecture in the InternetChair: Shigeaki Tanim

otoLocation: Karşıyaka 2 (3

rd floor)

13:30-14:00

Flexible Access Control Framew

ork Considering IdP-side’s Authorization Policy in Roaming

Environm

ent

ToshikiW

atanabe,ShunichiKinoshita,JunichiYamato,HideakiGoto,HideakiSone

14:00-14:30

Implem

entation and Evaluation of an OpenFlow

-based Access Control System for W

ireless

LAN Roam

ing

ShunichiKinoshita,ToshikiW

atanabe,JunichiYamato,HideakiGoto,HideakiSone

14:30-15:00

A Prototype of Netw

ork Failure Avoidance Functionality for SAGE Using O

penFlow

TomoyaFuruichi,Susum

uDate,HiroakiYamanaka,KoheiIchikaw

a,HirotakeAbe

METHO



pen DataChair: N

ikolay TcholtechevLocation: Karşıyaka 3 (3

rd floor)

13:30-14:00

Automated Trust Estim

ation in Developing Open N

ews Stories: Com

bining Mem

ento &

Provenance

ErikM

annens,SamCoppens,RubenVerborgh,LaurenceHauttekeete,DavyVan

Deursen,RikVandeWalle

14:00-14:30

Privacy Preserving Data Publishing for Recomm

ender System

XiaoqiangChen,VincentHuang


orkshop on Softw

are CyberneticsSession 3Chair: Xianping TaoLocation: Konak 1 (3

rd floor)

1213

Distribution-aw

are Mutation Analysis

Chang-aiSun,GuanWang,Kai-YuanCai,TsongYuehChen

A Reputation System

for Trustworthy Q

oS Information in Service-Based System

s

JunLin,ChanghaiJiang,HaiHu,Kai-YuanCai,StephenYau,DazhiHuang,

Program

Behavior Analysis and Control for Online IDE

LingWu,GuangtaiLiang,Q

ianxiangWang

CFSE 2012: The 4th IEEE International Workshop on Com

puter Forensics in Softw

are EngineeringChair: Sean ThorpeLocation: Konak 2

Softw

are Piracy Forensics: A Proposal for Incorporating Dead Codes and other Programm

ing

Blunders as Important Evidence in AFC Test

VinodPolpayaBhattathiripad

Development of InfoVis Softw

are for Digital Forensics

GrantO

sborne,BenjaminTurnbull,JillSlay



Session 2: Emerging Techniques

Chair: Yousra Bendaly Hlaoui Location: Bergam

a 1 (3rd floor)

13:30-14:00

UM

L AD Refinement Patterns for M

odeling Workflow

Applications

Ahlem

BenYounes,LeilaJemniBenAyed,YousraBendalyHlaoui

14:00-14:30

An Efficient IPTV Distribution Technique under N

AT Environment

Ming-HuangChen,Yaw

-ChungChen,Wen-KangJia

QU




are Chair: Feng-Jiang W

angLocation: Bergam

a 2 (3rd floor)

13:30-14:00

Performance Analysis of Reusable Com

ponents with Hybrid M

odeling of Strategies and

Processes

SheauLingTan,LinLiu14:00-14:30

Translation Rules and a Supporting Tool for M

odel-based Reuse

JunfengZhao,JiantaoZhou

14:30-15:00

Parallel Software Reuse Driven CPN

Model Reduction and Analysis Approach

TaoSun,XinmingYe,HongjiYang,JingLiu


ents Engineering for Services Session 3: RE for N

on-functional Requirements

Chair: Lin LiuLocation: Bergam

a 3 (3rd floor)

13:30-13:50

Mutual Refinem

ent of Security Requirements and Architecture using Tw

in Peaks Model

TakaoOkubo,HaruhikoKaiya,N

obukazuYoshioka13:50-14:10

Autom

ated Reasoning with Goal Tree M

odels for Software Q

uality Requirements

BoWei,ZhiJin,DidarZow

ghi,BinYin14:10-14:30

Im

proving Quality Softw

are Requirements Specifications using Spectrum

Analysis

HaruhikoKaiya,AtsushiO

hnishi14:30-14:50

The Concepts and O

ntology of SiSL: A Situation-Centric Specification Language

HaihuaXie,CarlK.Chang,HuaM

ing,Kai-shinLu14:50-15:10

A Functional Im

plementation Approach for W

eb Services-based Context-Aware System

s

JianchuHuang,HongjiYang

SAPSE 2012: The 4th IEEE International Workshop on Security Aspects in Processes and Services Engineering

Chair: Stelvio Cimato

Location: Petek Boardroom (3

rd floor)

13:30-14:00

Deriving Process-Related RBAC Models from

Process Execution Histories

AnneBaum

grass,SigridSchefer-Wenzl,M

arkStrembeck

14:00-14:30

Approximation Algorithm

s for Minim

izing the Num

ber of Roles and Administrative

Assignments in RBAC

HejiaoHuang,FengShang,JiangtaoZhang14:30-15:00

Robust XM

L Waterm

arking Using Fuzzy Q

ueries

Rom

aric-AngeTchokpon,NadiaBennani,ErnestoDam

iani


ware Test Autom

ationSession 3: Testing M

obile and Open Soft

ware

Chair: Marek Stochel

Location: Didim (3

rd floor)

M

odel-based Conformance Testing of W

S-BPEL Compositions

AfefJmalM

aâlej,MoezKrichen,M

ohamedJm

aiel

A Conceptual Framew

ork for Open Source Softw

are Test Process

Tam

erAbdou,PeterGrogono,PankajKamthan

15:00-15:30

Afternoon Break – Smyrna Auditorium

(5th floor)15:30-17:00

W

orkshop Sessions


s Session 3: Service Paradigm

s in IndustryChair: Lin LiuLocation: Karşıyaka 1 (3

rd floor)

15:30-16:00

Service Level Managem

ent for Service Value Netw

orks

FrankSchulz,W

ibkeMichalk,M

arkusHedwig,M

arcusMcCallister,ChristofM

omm,

SimonCaton,ChristianHaas,DanielRolli,M

onikaTavas16:00-16:20

General Talk: Tow

ards Cross-Domain Situation-Based Context M

anagement and Highly

Adaptive Pervasive Services

XiaodongLiu

16:20-16:40

General Talk: Agent-Based Simulation and Its Applications to Service M

anagement

YangLi


orkshop on Middlew

are Architecture in the InternetChair: Toru KobayashiLocation: Karşıyaka 2 (3

rd floor)

15:30-16:00

Group Managem

ent System for Federated Identities w

ith Flow Control of M

embership

Information by Subjects

TakeshiNishim

ura,MotonoriN

akamura,M

akotoOtani,KazutsunaYam

aji,

NoboruSonehara

16:00-16:30

Analysis of Security of PKI Operation w

ith Multiple CP/CPS Based on Level of Assurance

ShigeakiTanimoto,ShinichiM

izuhara,MsasahikoYokoi,HiroyukiSato,AtsushiKanai

METHO



pen DataChair: Edzard HöfigLocation: Karşıyaka 3 (3

rd floor)

15:30-16:00

Attack Vectors to Metering Data in Sm

art Grids under Security Constraints

FlorianSkopik,ZhendongM

a16:00-16:30

Protecting Resources in an O

pen and Trusted Peer-to-peer Netw

ork

Jean-FrancoisLalande,DavidRodriguez

16:30-16:45

ClosingRemarks

EdzardHöfig,InaSchieferdecker

1415


orkshop on Softw

are CyberneticsSession 4Chair: Feng-Jian W

ang, National Chiao-Tung U

niversity, Taiwan

Location: Konak 1 (3rd floor)

Safe Regression Test Selection Based on Program

Dependence Graphs

JianchunXing,HongdaW

ang,WeiSong,Q

iliangYang

Panel:Future Directions of Software Cybernetics

Panelists:TolkaAyva,Izm


Kai-YuanCai,BUAA,China

XianpingTao,NanjingU

niversity,China



Session 3: Formal Approaches

Chairs: Ahlem Ben Younes

Location: Bergama 1 (3

rd floor)

15:30-16:00

Automatic Generation of an O

perational CSP-Z Specification from an Abstract Tem

poralZ

Specification

ThourayaGuoism

i,AmiraRegayeg,Ahm

edHadjKacem16:00-16:30

A Sem

antics-Based Privacy-Aware Approach for Fragm

enting Business Processes

Moham

ed-AnisZemni,N

ejibBen-HadjAlouane,Moham

edMoezYeddes

QU




are Session 4: Cloud Com

puting Services and QoS

Chair: Lin Liu Location: Bergam

a 2 (3rd floor)

15:30-16:00

A QoS Assurance M

iddleware M

odel for Enterprise Cloud Computing

Shou-YuLee,DongyangTang,TingchaoChen,William

Cheng-ChungChu16:00-16:30

Tow

ards OW

L 2 Natively Supported Fuzzy Cloud O

ntology

DarenFang,XiaodongLiu,Im

edRomdhani,HuiqunZhao

16:30-17:00

SE-EQUAM

– An Evolvable Quality M

etamodel

AseelHmood,Im

anKeivanloo,JuergenRilling


ents Engineering for Services Location: Bergam

a 3 (3rd floor)

Panel:Requirem

ents Engineering for Services Evolution

Mediator:LinLiu

Panelists:

ColetteRolland

EricYu

JolitaRalyté

ZhiJin

Willem

-Jan van den Heuvel


ware Test Autom

ationSession 4: Testing Large System

sChair:Rob HieronsLocation: Didim

(3rd floor)

Invited Talk: Recent Advances in Test Autom

ation

InaSchieferdecker

M

ining Data Chain Graph for Fault Localization

BoYang,JiW

u,ChaoLiu

Effects of Class Imbalance in Test Suites: An Em

pirical Study of Spectrum-Based Fault

Localization

GongCheng,ZhengZheng,LiW

ei,HaoPeng

Tuesday July 17: Main Conference

8:30-9:00 Joint O

pening Session - Grand Efes Ballroom

(1st floor)

Conference W

elcome: ElisaBertino,CO

MPSACGeneralChair

Welcom

e Remarks: M

ustafaGüden,President,IzmirInstituteofTechnology

TayfunAcarer,PresidentofInformationTechnologiesandCom

municatoinsBoardofTurkey

BinaliYıldırım,M

inisterofTransport,Maritim

eAffairs,andCommunication

Opening Rem

arks:JohnWalz,President,IEEECom

puterSociety

KazuoFurukaw

a,President,InformationProcessingSocietyofJapan

COM

PSAC Program O

verview/Best Paper Aw

ards

XiaoyingBai,AtillaElciandM

ohammadZulkernine

SAINT Program

Overview

/Best Paper Awards

SumiHelal,KazutoshiFujikaw

a,andYingCai

9:00-10:00 Joint CO

MPSAC/SAIN

T KeynoteGeorgeO

.Strawn,Director,N

ationalCoordinationOffice/N

ITRD,OSTP,U

SASessionChair:CarlK.ChangTrust and ConfidenceAbstract:AsITbecom

esincreasinglypervasiveinhumanaffairs,itisim

portantthatITsystemsbe

worthyoftrustandconfidence.TheU.S.Federalgovernm

entincludesaninteragencyresearch collaborationprogram

calledNetw

orkingandITResearchandDevelopment(N

ITRD).NITRDhasa

majorfocusoninteragencycoordinationforresearchincybersecurity.Inthistalk,Iw

illfirstmake

somepersonalobservationsoncybersecurity,thendescribethecybersecurityresearchagenda

recentlyproposedbytheNITRDagencies,andconcludebyrelatingacontroversialproposal.

10:00-10:30 M

orning Break – Smyrna Auditorium

(5th floor)

10:30-12:00 Parallel Sessions

Softw

are Life Cycle, Evolution and Maintenance I

Chair: Hong Zhu, Oxford Brookes U

niversity, UK

Location: Konak I/2 (3rd floor)

Effective Statistical Fault Localization U

sing Program Slices

YanLei,XiaoguangMao,ZiyingDai,ChengsongW

ang

Recovering Traceability Links between Code and Docum

entation for Enterprise

Project Artifacts

ShouichiN

agano,YusukeIchikawa,ToruKobayashi

A Source Code Recom

mender System

to Support New

comers

YuriMalheiros,AlanM

oraes,CleytonTrindade,SilvioMeira

Reliability, Metrics and Fault Tolerance I

Chair: Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China

Location: Bergama I (3

rd floor)

W

orkload-Aware O

nline Anomaly Detection in Enterprise Applications w

ith Local

O

utlier Factor

TaoW

ang,WenboZhang,JunW

ei,HuaZhong

A Metrics-Based Data M

ining Approach for Software Clone Detection

SalwaAbd-El-Hafiz

A Petri N

ets-based Byzantine Fault Diagnosis Method for Service Com

position

GuishengFan,HuiqunYu,LiqiongChen,Dongm

eiLiu

Softw

are Testing IChair: Rajesh Subram

anyan, Siemens Corporate Research, U

SALocation: Bergam

a 2/3 (3rd floor)

1617

AdGraptive Random

Test Case Generation for Combinatorial Testing

RubingHuang,XiaodongXie,TsongYuehChen,YanshengLu

Capacity Evaluation of Multi-M

odal Netw

ork Notification Service

J.JennyLi,ColinL.Mallow

s,JimLandw

ehr

Preemptive Regression Test Scheduling Strategies: A N

ew Testing Approach to Thriving on

the Volatile Service Environm

ents

LijunM

ei,KeZhai,BoJiang,W.K.Chan,T.H.Tse

Panel 1: Trustworthiness of O

pen Source, Open Data, O

pen Systems and O

pen StandardsLocation: Didim

(3rd floor)

Chair: Ina Schieferdecker, Fraunhofer FOKU

S, Germ

anyPanelists:

EsteveAlmirall–ESADE,Spain

MinghuiZhou–PekingU

niversity,China

EdzardHöfig–FreeUniversityBerlin,Germ

any

12:00-13:30 Lunch - Smyrna Auditorium


Softw

are Life Cycle, Evolution and Maintenance 2

Chair: Xianping TaoLocation: Konak I/2 (3

rd floor)

Integrating Softw

are Product Lines: A Study of Reuse vs. Stability

AlessandroGurgel,FranciscoDantas,AlessandroGarcia,ClaudioSant’Anna

Experiences of a Product Line M

igration Project

DetlefStreitferdt,ArfanM

ansoor

Kutulu: A Domain-specific Language for Feature-driven Product Derivation

OrçunDayıbaş,HalitO

ğuztüzün

Automatic Adaptation of Softw

are Applications to Database Evolution by Graph

Differencing and AOP-based Dynam

ic Patching

YangSong,XinPeng,ZhenchangXing,W

enyunZhao

Reliability, Metrics and Fault Tolerance 2

Chair: Ahmet Koltuksuz, Yasar U

niversity, TurkeyLocation: Bergam

a I (3rd floor)

An Effective Defect Detection and W

arning Prioritization Approach for Resource Leaks

GuangtaiLiang,Q

ianWu,Q

ianxiangWang,HongM

ei

Evaluating Reliability-Testing Usage M

odels

BoW

an,GregorvBochmann,Guy-VincentJourdan

Tow

ards Online Localization and Recovery for Faulty Com

ponents in Component-Based

Applications

ChaoYou,M

inghuiZhou,HongwuLin,ZanXiao,HongM

ei

Softw

are Testing 2Chair: Bengi Karacali, Avaya Labs, U

SALocation: Bergam

a 2/3 (3rd floor)

CATest: A Test Autom

ation Framew

ork for Multi-Agent System

s

ShufengW

ang,HongZhu

Usefulness Evaluation of Sim

ulation in Server System Testing

JianSun,TomiM

ännistö

Towards Dynam

ic Random Testing for W

eb Services

Chang-AiSun,GuanW

ang,Kai-YuanCai,TsongYuehChen

How to Recom

mend Appropriate Developers for Bug Fixing

TaoZhang,ByungjeongLee

Softw

are Architecture and Design IChair: W

enbo Zhang, Chinese Academy of Sciences, China

Location: Didim (3

rd floor)

Adaptive Explanation Architecture for M

aintaining Human-Com

puter Trust

FlorianN

othdurft,GregorBertrand,HelmutLang,W

olfgangMinker

Q

uality-Driven Self-Adaptation: Bridging the Gap between Requirem

ents and Runtime

Architecture by Design Decision

Liw

eiShen,XinPeng,WenyunZhao

A Rapid Developm

ent Framew

ork for Multilingual Spoken Dialogue System

s

MasahiroAraki,DaisukeTakegoshi

15:00-15:30 Afternoon Break – Smyrna Auditorium

(5th floor)


Softw

are Life Cycle, Evolution and Maintenance 3

Chair: Xiadong Liu, Edinburgh Napier U

niversity, UK


ALTA: Autom

atic Load-time Adaption Technique for Refactoring-based Evolution of Softw

are

Component

Kai-ShinLu,CarlK.Chang

An Initial Study on Refactoring Tactics

HuiLiu,YuanGao,ZhendongN

iu

A Framew

ork for Examining Topical Locality in O

bject-oriented Software

NanN

iu,JuhaSavolainen,TanmayBhow

mik,AnasM

ahmoud,SandeepReddivari

Dom

ain Independent Event Analysis for Log Data Reduction

TheodorosKalam

atianos,KostasKontogiannis,PeterMatt

hews

SecurityChair: M

urat Kantarcioglu, University of Texas at Dallas, U

SALocation: Bergam

a I (3rd floor)

Preventing Input Validation Vulnerabilities in W

eb Applications through Automated Type

Analysis

TheodoorScholte,William

Robertson,DavideBalzarotti,EnginKirda

Real-tim

e Fast-flux Identification via Localized Spatial Geolocation Detection

Horng-TzerW

ang,Kuo-PingWu,Ching-HaoM

ao,Hahn-MingLee

Panel 2: Softw

are Testing, Softw

are Quality and Trust in Soft

ware-Based System

sLocation: Didim

(3rd floor)

Chair: Christof Budnik, Siemens, U

SPanelists:

ToryKobayashi,N

TT,Japan

RobertHierons,BrunelU

niversity,UK

RajeshSubramanyan,Siem

ensCorporateResearch,USA

Softw

are Architecture and Design 2Chair: Fengjian W


niversity, Taiwan

Location: Bergama 2/3 (3

rd floor)

An Approach for Detecting Inconsistencies betw

een Behavioral Models of the Softw

are

Architecture and the Code

Selim

Ciraci,HasanSozer,BedirTekinerdogan

Fine-grained Design Pattern Detection

MauriceLebon,VassiliosTzerpos

O

n the Proactive Design of Aspect-Oriented Product-Line Architectures: An Exploratory Study

WillianO

izumi,AntonioContieriJunior,Guilherm

eCorreia,ThelmaColanzi,Sandra

Ferrari,ItanaGimenes,EdsonO

liveiraJunior,AlessandroGarcia,PauloCesarMasiero

Evening: COM

PSAC/SAINT Conference Banquet (at O

ld Smyrna)

1819

Wednesday July 18, 2012: M

ain Conference

8:30-10:00

Welcom

e Speech

Turhan M

enteş, President, Informatics Association of Turkey

Joint Keynote AddressRoss Anderson,Professor,Cambridge,U

KSession Chair: Elisa BertinoCyber Security: Threats Real and Im

aginedAbstract:Inthe1980sand1990s,theInternetw

asabenignplace,soweinventedscarym

onsterssuchastheDolev-Yaoopponentortheglobalpassiveadversaryandfiguredouthow

toprotectsystem

sagainstthem.From

thelate1990swestartedtoseerealadversaries,from

spammers

tocarderstoonlinestateactors.By2000systemshadbecom

esolargeandcomplexthatw

eneededtoinventsecurityeconom

icstoreasonaboutthem.Buteconom

icmodelsalonearenot

enough;wealsoneedtoknow

whatthebadguysaredoing,how

muchthey’rem

aking,andwhat

itcoststherestofus.Muchofw

hat’swrittenonthisisexaggerated,asvendors,policem

enand intelligenceagenciesallhaveanincentivetotalkupthethreats.Iw

illdiscusssomeanalysisw

edidforEN

ISAandmorerecentlyatthesuggestionoftheU

KMinistryofDefenceinw

hichwetry

togetamoredefensiblesetofnum

bers,aswellasabetterhandleonw

hatmightgow

ronginthefuture.Thedataarebeginningtosuggestthatw

eareextremelyineffi

cientatfightingcybercrime;

wem

ightplacelessemphasisonprotection(firew

alls,antivirusetc)andmoreonresponse–on

huntingdownthebadguysandputti

ngtheminjail.

10:00-10:30 M


(5th floor)

Poster session in Sm

yrna Auditorium w

ill run 10:00-13:3010:30-12:00

Parallel Sessions

Requirements Engineering

Chair: Lin Liu, Tsinghua University, China


Developm

ent of Situational Requirements Engineering Processes: A Process Factory

Approach

OmidJafarinezhad,Ram

anRamsin

Softw

are Product Line Engineering for Developing Self-adaptive Systems: Tow

ards the

Domain Requirem

ents

Liw

eiShen,XinPeng,WenyunZhao

Requirem

ents Understanding: A Challenge in Global Softw

are Development, Industrial

Surveys in Kingdom of Saudi Arabia

Moham

medA.Alnuem

,ArshadAhmad,Hashim

Khan

Panel 3: Creative Computing: Reconciling O

bjective Precision with Subjective Am

biguityLocation: Bergam

a I (3rd floor)

Chair: Hongji Yang, De Montfort U

niversity, UK

Panelists:RuqianLu-Academ

yofMathem

aticsandSystemsScience,China

Animated Com

puting Changes the Way and Style of Com

puter Application

AndrewHugill-DeM

ontfortUniversity,U

K

Challenges for Creative Com

puting

SongmaoZhang-ChineseAcadem

yofSciences,China

U

sing the Semantic W

eb Technologies to Support Automatic Anim

ation

HongZhu-OxfordBrooksU

niversity,UK

Can Software Design Benefit from

Creative Computing?

Formal M

ethodsChair: Dianxiang Xu, Dakota State U

niversity, USA

Location:Bergama 2/3 (3

rd floor)

XM

LSnippet: A Coding Assistant for XML Configuration Snippet Recom

mendation

ShengHuang,YanghuaXiao,YiqiLu,WeiW

ang,YuWang

M

odel-based Static Source Code Analysis of Java Programs w

ith Applications to Android

Security

ZhengLu,SupratikM

ukhopadhya

A Change Proposal Driven Approach for Changeability Assessment U

sing FCA-based

Im

pact Analysis

XiaobingSun,BixinLi,QiandongZhang

A Methodology for Building Effective Test M

odels with Function N

ets

DianxiangXu,William

Chu

Fast AbstractN

ote time: 10:15-12:30

Chair: Hiroyuki Sato, Tokyo University, Japan

Location: Didim (3

rd floor)

Paxos-Based M

emory Data Replication in Stock Trading System

XiaodongHuang,YongZhang,ChunxiaoXing,YinfeiHuang,JianfengWu,ShuoBai

U

sing Program Dynam

ic Analysis for Weak Algorithm

Detection

ZakaryaAlzam

il

Requirement Patterns for M

ulticore Systems

ArfanMansoor,DetlefStreitferdt

Perform

ance Evaluations of Vector-raster Satellite Image Transfers through W

eb Services

Süleym

anEken,AhmetSayar

U

ser Profiling for Policy Managem

ent in Social Comm

unities

OkanBursa,Ö

zgüCan,MuratO

smanÜ

nalir

On Capturing Effects of M

odifications as Data Dependencies

HasanU

ral,HusnuYenigun

Accelerated Deterministic M

ultithreading for Multichannel Video Decoder

YoungsamShin,M

inyoungSon,SeungwongLee,Shihw

aLee

Image Analysis U

sing Machine Learning: Anatom

ical Landmarks Detection in Fetal U

ltra

sound Images

BahbibiRahmatullah,ArisT.Papageorghiou,J.AlisonN

oble

Test Case Generation by Simulating Requirem

ents Analysis Model

RyoShikimi,ShinpeiO

gata,SaekoMatsuura

Custom

er Churn Prediction for Telecom Services

UtkuYabas,HakkiCandanCankaya,TurkerInce

A Cluster-Based Core Protection Technique for N

etworks-on-Chip

KhalidLatif,Amir-M

ohammadRahm

ani,PasiLiljeberg,HannuTenhunen,Tiberiu

Seceleanu

HCI Know

ledge in Software Engineering Practices for Designing Interactive M

aintenance

Assistance Systems

SamirBenbelkacem

,N.Zenati-Henda,M

.Belhocine,A.Bellarbi,M.Tadjine

An Interm

ediate Language for Semantic Exceptions in Context-Aw

are Systems

Eun-SunCho,SumiHelal

Doppel-Code: A Clone Visualization Tool for Prioritizing Global and Local Clone Im

pacts

JuergenRilling

Poster Session (10:00-13:30)Chair: Tolga Ayav, Izm

ir Institute of Technology, TurkeyLocation: Sm

yrna Auditorium

W

orldTour: Towards an Adaptive Softw

are to Support Children with Autism

in Tour

Planning

FelipeRodriguesMonteiroSousa,ThaisHelenaChavesdeCastro

Im

plementation and Evaluation of Com

modity Hardw

are and Software in an O

pen World

Spoken Dialog Fram

ework

2120

HareendraManuru,RajagopalVasudevan,AshokSasidharan,Thom

asLynch,Seth

Darbyshire,SayajeetRaje,RajivRam

nath,JayashreeRamanathan

Conform

ance Testing of WS-BPEL Com

positions Under Various Load Conditions

AfefJmalM

aâlej,MoezKrichen,M

ohamedJm

aiel

Research on requirements engineering for avionics (only poster presentation)

GöranBertheau

12:00-13:30 Break for Lunch - Sm

yrna AuditoriumCO

MPSAC/SAIN

T Joint planning Meeting

Location: Didim (3rd floor) All invited, please bring your lunch!

13:30-15:00: CO

MPSAC/SAIN

T Joint Panel on Social Computing

Chair: Amr Elkadi and Salw

a Abd-El-Hafiz

Proposed by M

ichiharu Takemoto

Location: Grand Efes Ballroom

16:00-20:30: COM

PSAC/SAINT G

roup Outing to Ephesus

Thursday July 19, 2012: Main Conference

8:30-10:00

Grand Efes Ballroom

: Joint COM

PSAC/SAINT Panel: Challenges Tow

ard the Global Adoption

of Cloud Com

puting

Chair:VladimirGetov,U

niversityofWestm

inster,UK

Panelists:

C.C.W

illiamChu,TunghaiU

niversity,Taiwan

William

Claycomb,CarnegieM

ellonUniversity,U

SA

GeorgeStrawn,DirectoroftheN

ationalCoordinationOffice(N

CO),U

SA

StephenYau,ArizonaStateUniversity,U

SA

10:00-10:30 M


(5th floor)


Cloud Computing I

Chair: William

R. Claycomb, Carnegie M

ellon University, U

SALocation: Konak I/2 (3

rd floor)

PaaS-Oriented Perform

ance Modeling for Cloud Com

puting

WenboZhang,XiangHuang,N

ingjiangChen,WeiW

ang,HuaZhong

Event Indexing and Searching for High Volumes of Event Stream

s in the Cloud

MiaoW

ang,ViliamHolub,JohnM

urphy,PatrickO’Sullivan

Dem

ystifying Cloud Benchmarking Paradigm

: An In-depth View

VenugopalanVedam

,JayantiVemulapati

Web-Based System

Chair: Weider Yu, San Jose State U

niversity, USA


rd floor)

An Evaluation M

odel for Dependability of Internet-scale Software on Basis of Bayesian

Netw

orks

GuannanSi,JufengYang,JingXu,ShuoW

en,WeiTian

Deriving Specifications for Com

posite Web Services

GeorgeBaryannis,ManuelCarro,Dim

itrisPlexousakis

Applications IChair: Ying Cai, Iow

a State University, U

SA Location: Bergam

a 2/3 (3rd floor)

Am

ericans With Disabilities Act - Com

pliance Assessment Toolkit on Sm

artphone

Moham

madTanviruzzam

an,RizwanaRizia,SheikhIqbalAham

ed,RogerSmith

Autom

atic Data Clustering Analysis of Arbitrary Shape with K-m

eans and Enhanced

Ant-based Tem

plate Mechanism

WeiZhang,Hen-IYang,Hsin-yiJiang,CarlK.Chang

Applying Know

ledge Elicitation to Improve W

eb Effort Estimation: A Case Study

EmiliaM

endes,ManarAbuTalib,SteveCounsell

Industry TrackChair: M

. Erdal Balaban, Isik University, Turkey

Location: Smyrna Auditorium

2 (5th floor)

Architecturing Business Intelligence for SM

Es

AyşeEserBaransel,CesurBaransel

Agile Adoption Story from

NHN

EunhaKim,Seokm

oonRyoo

Educational Activity Finder for Children with Pervasive Developm

ental Disorder through a

2223

Sem

antic Search System

DuyguÇelik,AtillaElçi,ErayElverici,N

ecatiİnan

A Scalable Physical Mem

ory Allocation Scheme for L4 M

icrokernel

ChenTian,DanielW

addington,JilongKuang

Model Driven Softw

are Development for M

ilitary Comm

and and Control Systems

BurakÇiflikli,OnurÖ

zcan,AhmetBoraU

ysal

Panel 4: Cross-sectoral Challenging Objectives for Achieving Trustw

orthy Softw

areLocation: Didim

(3rd floor)

Chair: Baris Sarialioglu, Yapi Kredi Bank, TurkeyPanelists:

AhmetDuran-Huaw

eiTechnologies,Turkey

MuratLostar-ISACA,Turkey

KorayYitm

en-TurkishTestingBoard,Turkey

Dr.MasoodM

ortazavi-Yahoo,USA

Doctoral Symposium

: Presentation SessionLocation: Karşıyaka 3

U

nderstanding Socio-technical Factors Influencing Testers in Software

Developm

ent Organizations

AncaDeak

12:00-13:00

Lunch - Smyrna Auditorium


Doctoral Symposium

: Poster Session (runs 13:30-15:30)Location: Sm

yrna Auditorium 1

U

nderstanding Socio-technical Factors Influencing Testers in Software

Developm

ent Organizations

AncaDeak

Cloud Computing Security Tutorial

With W

illiam R. Claycom

b, Carnegie Mellon U

niversity, USA

Location: Smyrna Auditorium

(5th floor)

Cloud Computing 2

Chair: William

Chu, Tunghai University, Taiw

anLocation: Konak I (3

rd floor)

CASViD: Application Level M

onitoring for SLA Violation Detection in Clouds

VincentC.Em

eakaroha,TiagoC.Ferreto,MarcoA.S.N

etto,IvonaBrandic,

CesarA.F.DeRose

P-Tracer: Path-based Perform

ance Profiling in Cloud Computing System

s

HaiboM

i,HuaiminW

ang,HuaCai,YangfanZhou,MichaelLyu,ZhenbangChen

A Solution For Privacy Protection In M

apReduce

QuangTran,HiroyukiSato

Smart and Sem

antic Computing

Chair: Juergen Rilling, Concordia University, Canada


rd floor)

U

sing Semantic W

eb Technologies for RBAC in Project Oriented Environm

ents

SatyajeetRaje,Chow

daryDavuluri,MichealFreitas,RajivRam

nath,JayRamanathan

The RDFa Content Editor -- From

WYSIW

YG to WYSIW

YM

AliKhalili,SörenAuer

Sem

antic Web – The M

issing Link in Global Source Code Analysis?

Im

anKeivanloo,JuergenRilling,PhilippeCharland

Enriching the DBpedia Ontology w

ith Shared Conceptualizations from Folksonom

ies

SanaHam

di,AldaGancarski,AmelBouzeghoub,SadokBenYahia

Applications 2Chair: Sheikh Iqbal Aham

ed, Marquett

e University, U

SALocation: Bergam

a 2/3 (3rd floor)

N

ovel Energy Saving Opportunities in Sm

art Grids using a Secure Social Netw

orking Layer

FlorianSkopik,ChristianW

agner

Privacy-Preserving Data Publishing for Free Text Chinese Electronic Medical Records

LeiChen,Ji-JiangYang,QingW

ang

Disease-disease relationships for rheumatic diseases

AndreasHolzinger,Klaus-MartinSim

onic,PinarYildirim

A privacy-preserving cloud computing system

for creating participatory noise maps

GeorgeDrosatos,PavlosS.Efraim

idis,IoannisN.Athanasiadis,EllieD’Hondt,

Matt

hiasStevens

HCI and Usability

Chair: Masahiro Araki, Kyoto Institute of Technology, Japan

Location: Didim (3

rd floor)

Influence of Anchor M

anagement on Anchored N

avigation in Mobile M

aps

RodrigoM

aués,EduardoNakam

ura,SimoneD.J.Barbosa

Study of Fractal Color Image Com

pression using YUV com

ponents

Em

anAl-Hilo,LoayGoerge

STREAM-ADD: Supporting the Docum

entation of Architectural Design Decisions in an

Architecture Derivation Process

DiegoDermeval,JoãoPim

entel,CarlaSilva,JaelsonCastro,EmanuelSantos,Gabriela

Guedes,MárciaLucena,AnthonyFinkelstein



Parallel Sessions

Panel 5: Cloud Computing for Developing Countries

Location: Didim (3

rd floor)Chair: Tugkan Tuglular, Izm

ir Insitute of Technology, Turkey Panelists:

TugkanTuglular,Izm


RajeshSubramanyan–Siem

ensCorporateResearch,US

KivancU

slu–IBMTurkey,Turkey

YongZhang,TsinghuaU

niversity,China

Mobile &

Pervasive Computing

Chair: Sumi Helal, U

niv of Florida, USA


rd floor)

Sim

ulating Power Consum

ption of Location Tracking Algorithms to Im

prove Energy-efficiency

of Sm

artphones

UlrichBareth

KnockAround: Location Based Service via Social Know

ledge

Rizw

anaRizia,Moham

madTanviruzzam

an,SheikhIqbalAhamed

ConsView

: Towards Application-specific Consistent Context View

s

HaibinYang,ChangXu,XiaoxingM

a,LinghaoZhang,ChunCao,JianLu

2425

Applications 3 (Education)Chair: W

.K. Chan, City University of Hongkong, Hong Kong

Location: Bergama 2/3 (3

rd floor)

An Agent-based Application to Enable Deregulated Energy M

arkets

NicolaCapodieci,AndreaPagani,Giacom

oCabri,MarcoAiello

Teaching Softw

are Engineering in Developing Countries: A Position Paper

RashaO

sman

Leveraging 24/7 Availability and Perform

ance for Distributed Real-time Data W

arehouses

RicardoJorgeSantos,JorgeBernardino,M

arcoVieira

Real-Time and Em

bedded SystemChair: Tiberiu Seceleanu, ABB Corporate Research, Sw

edenCo-chair: Khalid Latif, U

niversity of Turku, FinlandLocation: Konak I (3

rd floor)

Specification M

utation Analysis for Validating Timed Testing Approaches Based on Tim

ed

Automata

Moham

madAboutrab,SteveCounsell,RobertHierons

Autom

atic RT-Java code generation from AADL m

odels for ARINC653-based avionics softw

are

YingW

ang,DianfuMa,Yongw

angZhao,LuZou,XianqiZhao

Scheduling and analysis of real-time softw

are families

HamidehSabouri,M

ohammadM

ahdiJaghoori,Frankdeboer,RamtinKhosravi

Workshop Sessions: Friday July 20

IEESD 2012: The 4th IEEE International Workshop on Industrial Experience in Em

bedded Systems Design

TIP 2012: The 1st IEEE International Workshop on Tools in Em

bedded Systems Design Process

Chair: Detlef StreitferdtLocation: Konak 1 (3

rd floor)

10:00-10:30

Load Balancing for Cross Layer Comm

unication

JohnF.Schom

mer,Dom

inikFranke,TimLange,StefanKow

alewski

10:30-11:00

Development of a M

obile Platform to Support Building M

aintenance Engineering

PaulStack

11:00-11:30

An Estimation M

odel for the Savings Achievable by Tool Chains

Matt

hiasBiehl,MartinTörngren

CORCS 2012: The 4th IEEE International W

orkshop on Component-Based Design of Resource-Constrained System

sChair: Tiziana M

argariaLocation: Konak 2

10:00-10:30

Performance Aw

areness in Component System

s: Vision Paper

Lubom

irBulej,TomasBures,VojtechHorky,JaroslavKeznikl,PetrTum

a 10:30-11:00

U

nderstanding the Role of Transmission Pow

er in Component-Based Architectures for

Adaptive WSN

Guillerm

oRodriguez-Navas,M

iquelA.Ribot,BartomeuAlorda

11:00-11:30

Tool-supported Methodology for Com

ponent-based Design of Wireless Sensor N

etwork

Applications

SteffenPeter,PeterLangendoerfer

STPSA 2012: The 7th IEEE International Workshop on Security, Trust, and Privacy for Soft

ware Applications

Chair: Lorenzo Martino

Location: Bergama 1 (3

rd floor)

Branch O

bfuscation using Code Mobility and Signals

ZhiWang,ChunfuJia,M

inLiu,XiaoxuYu

Detection of Buffer Overflow

Vulnerabilities in C/C++ with Pattern based Lim

ited Symbolic

Evaluation

SunDing,HeeBengKuanTan,KaipingLiu,HongYuZhang,Chandramohan

Mahinthan

Tow

ards a Secure Software Developm

ent Lifecycle with SQ

UARE+R

WeiderYu,KyleLe

ESAS 2012: The 7th IEEE International Workshop on Engineering Sem

antic Agent Systems

Chair: R. Cenk ErdurLocation: Bergam

a 2 (3rd floor)

Conditional O

ntology Mapping

IslamElgedaw

y

Integration of 3D Trajectory Maps into a Local Distribution M

ap of Radiation Dose Using

U

nmanned Aerial Vehicle

KatsunoriOyam

a,HiroyukiWakabayashi,AtsushiTakeuchi,N

aokiIshitsuka

A Load Balancing Scheme for Distributed Sim

ulation based on Multi-Agent System

YoungJoonLee,GeonYongPark,HoKuenSong,HeeYongYoun

The Sem

antics of the Interaction between Agents and W

eb Services on the Semantic W

eb

Sinem

Getir,Moharram

Challenger,SeblaDemirkol,GeylaniKardas

12:00-13:30 Lunch - Sm


Workshop Sessions

26 27

IEESD 2012: The 4th IEEE International Workshop on Industrial Experience in Embedded Systems DesignTIP 2012: The 1st IEEE International Workshop on Tools in Embedded Systems Design ProcessChair: Tiberiu SeceleanuLocation: Konak 1 (3rd floor)

13:30-14:00 GcLite: An Expert Tool for Analyzing Garbage Collection Behavior VasileiosAngelopoulos,TrevorParsons,JohnMurphy,PatrickO’Sullivan14:00-14:30 Integration and Analysis of Design Artefacts in Embedded Software Development DanielMerschen,JulianPott,StefanKowalewski14:30-15:00 Product Line Variability Model Construction based on Model Difference KunmingNie

CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained SystemsChair: Tiziana MargariaLocation: Konak 2 (3rd floor)

13:30-14:00 Extending EAST-ADL for Modeling and Analysis of System’s Resource-Usage RalucaMarinescu,EduardPaulEnoiu 14:00-14:30 Modelling the design for an SOA System to Control a Small Scale Energy Zone MariaAnjum,DavidBudgen14:30-15:00 Rule Based Axiomatic Design Theory Guidance for Software Development CengizTogay,EmreSelmanCaniaz,AliHikmetDogru STPSA 2012: The 7th IEEE International Workshop on Security, Trust, and Privacy for Software ApplicationsChair: Chunfu JiaLocation: Bergama 1 (3rd floor) Internet-Based Evaluation and Prediction of Web Services Trustworthiness MengLi,ZhebangHua,JunfengZhao,BingXie On Security Analysis of PHP Web Applications DavidHauzar,JanKofroň Measuring the Adequacy of Software Security Requirements Engineering NancyMead

ESAS 2012: The 7th IEEE International Workshop on Engineering Semantic Agent SystemsChair: Behnam RahmanaLocation: Bergama 2 (3rd floor)

Integrating Linked Data Space with Agents Using the Environment Abstraction RızaCenkErdur,OğuzDikenelli,OylumAlatlı,ErdemEserEkinci,ZiyaAkar An Image Processing Approach to Solve Labyrinth Discovery Robotics Problem BehnamRahnama,AtillaElçi,ShadiMetani Development of Semantic Model and Information Explorçation System for TV Media DuyguCelik,AtillaElçi,EsraCalik,AymanAhmadKhalil

15:00-15:30 Afternoon Break

STPSA 2012: The 7th IEEE International Workshop on Security, Trust, and Privacy for Software ApplicationsChair: Kaiping LiuLocation: Bergama 1 (3rd floor)

Attack Model Based Penetration Test for SQL Injection Vulnerability WeiTian,Ju-FengYang,JingXu,Guan-NanSi An Efficient Graph Codec System for Software Watermarking MariaChroni,StavrosNikolopoulos A Certificate Based Context Aware Access Control Model for Smart Mobile Devices in Ubiquitous Computing Environments DavutCavdar,AhmetYortanli,PekinErhanEren,AltanKocyigit

COMPSAC 2012 Organizing Committee

Chair of the Standing CommitteeCarl. K. Chang, Iowa State University, USAGeneral Chairs Fevzi Belli, University of Paderborn, Germany Elisa Bertino, Purdue University, USAProgram Chairs Xiaoying Bai, Tsinghua University, China Atilla Elci, Süleyman Demirel University, Turkey Mohammad Zulkernine, Queen's University, CanadaWorkshops Chairs Cristina Seceleanu, Malardalen University, Sweden Qianxiang Wang, Peking University, ChinaPanel Chairs Ina Schieferdecker, Technische Universität Berlin/Fraunhofer Inst., Germany Husnu Yenigun, Sabanci University, TurkeyFinance Chair Simanta Mitra, Iowa State University, USAProceedings Chairs Mutlu Beyazıt, University of Paderborn, Germany Haihua Xie, Iowa State University, USADoctoral Symposium Chairs Ebru Celikel Cankaya, University of Texas at Dallas, USA Ali Dogru, Middle East Technical University, TurkeyPosters Session Chairs Michael Linschulte, University of Paderborn, Germany Alberto Trombetta, University of Insubria, ItalyFast Abstracts Session Chairs Ali Inan, Isik University, Turkey Peter Liggesmeyer, Fraunhofer IESE, GermanyOrganizing Chairs Tugkan Tuglular, İzmir Institute of Technology, Turkey Laurel Tweed, Iowa State University, USARegistration Chair Liping Wu, Iowa State University, USAWeb Chair Liyuan Xiao, Iowa State University, USAPublicity Chairs Zhenyu Chen, Nanjing University, China Wei Jiang, Missouri University of Science and Technology, USA Mohamed Jemni, Higher School of Sciences and Technologies of Tunis, Tunisia Andrej Pietschker Seref Sagiroglu, Gazi University, Turkey Anestis Toptsis, York University, CanadaServer/Systems Support Chair Barry Britt, Iowa State University, USAIndustry Program Chairs M. Erdal Balaban, Istanbul University, Turkey Christof Budnik, Siemens Corporate Research, USA

2829

Gail-Joon Ahn, Arizona State U

niversity, USA

Mehm

et Aksit, Twente U

niversity, Nederlands

Jalal Al-Muhtadi, King Saud U

niversity, Saudi ArabiaJan Alexandersson, D

FKI Gm

bH, G

ermany

Mikio Aoyam

a, Nanzan U

niversity, JapanTolga Ayav, Izm

ir Institute of Technology, TurkeyD

oo-Hw

an Bae, KAIST, KoreaTulin Berber-Atm

aca, TELECOM

SudParis, FranceM

aarten Boasson, University of Am

sterdam,

The N

etherlandsIvona Brandic, Vienna U

niversity of Technology,AustriaD

ennis Brylow, M

arquette University, U

SAChristof Budnik, Siem

ens, USA

Feza Buzluca, Istanbul Technical University, Turkey

Kai-Yuan Cai, Beijing University of Aeronautics and

Astronautics, ChinaRoy Cam

pbell, University of Illinois at U

rbana-Champaign,

U

SAJoao W

. Cangussu, Microsoft, U

SAJunw

ei Cao, Tsinghua University, China

Zoraida Callejas Carrión, University of G

ranada, SpainCagatay Catal, Istanbul Kultur U

niversity, TurkeyW

.K. Chan, City University of H

ongkong, Hong Kong

Tsong Y. Chen, Swinburne U

niversity of Technology,

Australia

Y. C. Chen, National Chiao Tung U

niversity, Taiwan

Shing-Chi Cheung, Hong Kong U

niversity of Sci. and Tech.,

Hong Kong

Horng-Lung Chung, Carleton U

niversity, CanadaPeter J. Clarke, Florida International U

niversity, USA

Alfredo Cuzzocrea, ICAR/DEIS, U

niversity of Calabria, ItalyG

okhan Dalkilic, D

okuz Eylul University, Izm

ir, TurkeyO

nur Dem

irors, Institue of Informatics, M

ETU, Turkey

Oguz D

ikenelli, Agean University, Izm

ir, TurkeyTharam

Dillon, Curtin U

niversity, AustraliaJose Fortes, U

niversity of Florida, USA

Song Fu, University of N

orth Texas, USA

Kazutoshi Fujikawa, N

AIST, JapanVladim

ir Getov, U

niversity of Westm

inster, London, UK

Michael G

rottke, University of Erlangen-N

uremberg,

Germ

anyH

aluk Gum

uskaya, Gediz U

niversity, Izmir, Turkey

Munaw

ar Hafiz, Auburn U

niversity, USA

Ragib Hasan, U

niversity of Alabama at Birm

ingham, U

SAChunm

ing Hu, Beijing U

niv. Aeronautics & Astronautics,

China

Gang H

uang, Peking University, China

Zhi Jin, Peking University, China

James Joshi, U

niversity of Pittsburgh, USA

Daw

n Jutla, Saint Mary's U

niversity, CanadaO

ya Kalipsiz, Yildiz Teknik Universitesi, Turkey

Um

it Karakas, Istanbul Kultur Universitesi, Turkey

Ahmet Faik Kasli, Izm

ir University, Turkey

Ron Kenett, KPA Ltd., Israel and Univ. of Torino, Italy

Bhumip Khasnabish, Standards D

ivision of ZTE, USA

Anatoly Khomonenko, Petersburg State Transport

University, Russia

Dae-Kyoo Kim

, Oakland U

niversity, USA

In-Young Ko, Korea Advanced Institute of Science and

Technology, KoreaAhm

et Koltuksuz, Yasar University, Turkey

Kostas Kontogiannis, National Technical U

niversity of

Athens, Greece

Axel Kuepper, Deutsche Telekom

, Germ

anyD

ave Kung, University of Texas at Arlington, U

SAH

. M. Lee, N

ational Taiwan U

niv. of S&T, Taiw

anVille Leppanen, U

TU, Finland

Jenny Li, Avaya Labs, USA

Johan Lilius, Åbo Akademi U

niversity, Finland

Frank Liu, Missouri U

niversity of S&T, U

SAJigang Liu, M

etropolitan State University, U

SAPangfeng Liu, N

ational Taiwan U

niversity, Taiwan

Xiadong Liu, Edinburgh Napier U

niversity, UK

Yang Liu, National U

niv. of Singapore, SingaporeYan Liu, Pacific N

orthwest N

ational Laboratory, USA

Jian Lu, Nanjing U

niversity, ChinaH

anan Lutfiyya, University of W

estern Ontario, Canada

Praveen Madiraju, M


SAAditya M

athur, Purdue University, U

SABruce M

cMillin, M

issouri University of S&

T, USA

Nancy M

ead, Carnegie Mellon U

niversity, USA

Hong M

ei, Peking University, China

Jose Miguel-Alonso, The U

niversity of the Basque Country, SpainSim

anta Mitra, Iow

a State University, U

SASupratik M

ukhopadhyay, LSU, U

SAKazuyoshi M

urata, Kyoto Institute of Technology, JapanM

otonori Nakam

ura, NII, Japan

Hiroyuki O

hsaki, Osaka U

niversity, JapanM

ehmet O

rgun, Macquarie U

niversity, AustraliaPaul Pettersson, M

älardalen University, Sw

edenH

iroyuki Sato, Tokyo University, Japan

Ina Schieferdecker, Fraunhofer FOKU

S, Germ

anyM

artina Schollmeyer, BM

W M

unich, Germ

anyCristina Serban, AT&

T, USA

Dongw

an Shin, New

Mexico Tech, U

SAPradip Srim

ani, Clemson U

niversity, USA

Neeraj Suri, TU

Darm

stadt, Germ

anyH

iroki Takakura, Nagoya U

niversity, JapanM

ichiharu Takemoto, N

TT Labs, JapanBedir Tekinerdogan, Bilkent U

niv., TurkeyAnkur Teredesai, U

niversity of Washington, U

SAW

olfgang Theilmann, SAP Research, G

ermany

Scott Tilley, Florida Institute of Technology, USA

Nakife Yasem

in Topaloglu, Agean University, Izm

ir, TurkeyW

ei-Tek Tsai, Arizona State University, U

SATurhan Tunali, Izm

ir University of Econom

ics, TurkeyFeng-Jian W


niversity, Taiwan

Jun Wei, Chinese Academ

y of Sciences, ChinaChunxiao Xing, Tsinghua U

niversity, ChinaC. T. Yang, Tunghai U

niversity, Taiwan

Hongji Yang, D

e Montford U

niversity, UK

Adnan Yazici, Middle East Technical U

niversity, TurkeyI-Ling Yen, U

niversity of Texas at Dallas, U

SAG

uray Yilmaz, Air Force Academ

y, TurkeyEric Yu, U

niversity of Toronto, CanadaW

eider Yu, San Jose State University, U

SAY. T. Yu, City U

niversity of Hong Kong, H

ong KongChuan Yue, U

niv. of Colorado at Colorado Springs, USA

Jian Zhang, Chinese Academy of Sciences, China

Wenbo Zhang, Chinese Academ

y of Sciences, ChinaZhenyu Zhang, Chinese Academ

y of Sciences, ChinaH

ong Zhu, Oxford Brookes U

niversity, UK

Daniel M

. Zimm

erman, U

niversity of Washington, U

SA

COM

PSAC 2012 Program

Comm

itteeCO

MPSA

C 2012 Track Chairs

Software Life Cycle, Evolution, and M

aintenance Track

Volker Gruhn, U

niv. Duisburg-Essen, G

ermany

Yasuhiro Sugiyam

a, Nihon U

niversity, Japan Requirem

ents Engineering Track

Lin Liu, Tsinghua University, China

Juha Savolainen, D

anfoss, Finland Form

al Methods Track

M

ichele Bugliesi, University Ca' Foscari, Italy

D

ianxiang Xu, Dakota State U

niversity, USA

Software A

rchitecture and Design Track

Ivica Crnkovic, M

alardalen University, Sw

eden

Dorina Petriu, Carleton U

niversity, CanadaSoftw

are Testing Track

Rajesh Subramanyan, Siem

ens, USA

T.H

. Tse, The University of H

ong Kong, Hong Kong

Reliability, Metrics, and Fault Tolerance Track

Tadashi D

ohi, Hiroshim

a University, Japan

Katerina G

oseva-Popstojanova, West Virginia U

niversitySecurity Track

Sheikh Iqbal Ahamed, M


SA

Murat Kantarcioglu, U

niversity of Texas at Dallas, U

SA H

CI and Usability Track

M

asahiro Araki, Kyoto Institute of Technology, Japan

Ramon Lopez-Cozar D

elgado, Universidad de G

ranada, Spain Real-tim

e and Embedded System

s Track

T. John Koo, Chinese Academy of Sciences, China

Tiberiu Seceleanu, ABB Corporate Research, Sw

eden M

obile & Pervasive Com

puting Track

Boualem Benatallah, The U

niversity of New

South Wales, Sydney, Australia

Zhen Liu, N

okia Research Lab, ChinaSm

art Computing Track

Jinjun Chen, U

niversity of Technology, Sydney, Australia

Achilles Kameas, H

ellenic Open U

niversity, Greece

Web Sem

antics Track

Jeff Z. Pan, University of Aberdeen, U

K

Juergen Rilling, Concordia University, Canada

Web Services and System

s Track

Paolo Bellavista, University of Bologna, Italy

Kenji Takahashi, N

TT Multim

edia Comm

unications Lab, USA

Cloud Computing Track

W

illiam R. Claycom

b, Carnegie Mellon U

niversity, USA

W

illiam Chu, Tunghai U

niversity, Taiwan

Applications Track

Leong H

ong-va, Hong Kong Polytechnic U

niversity, China

Sahra Sedigh, Missouri U

niversity of Science and Technology, USA

Education and Learning Track

James Cross, Auburn U

niversity, USA

Tim

othy Shih, National Central U

niversity, Taiwan

3031

COM

PSAC/SA

INT 2012 Sponsors &

SupportersIEEE and the IEEE Computer Society are

the sole sponsors of COM

PSAC.

PLATINU

M SU

PPORTER

The Izm

ir Cham

ber of

Comm

erce delivers

services that

meet

the needs

and expectations

of its

mem

bers and

to contribute

to the

development

of com

mercial

and econom

ic life of Turkey. With its Pre-Republic history and m

ore than 70.000 m

embers and about 200-personnel Izm

ir Chamber of

Comm

erce is the second biggest and most institutionalized cham

ber in Turkey. w

ww

.izto.org.tr/IZTO/IN

SUPPO

RTERThe Scientifi

c and Technological Research Council of Turkey (TÜBİTA

K) is the leading agency for m

anagement, funding and conduct of research in Turkey. It w

as established in 1963 w

ith a mission to advance science and technology, conduct research and support

Turkish researchers. The Council is an autonomous institution and is governed by a

Scientific Board whose m

embers are selected from

prominent scholars from

universities, industry and research institutions. w

ww

.tubitak.gov.tr

SUPPO

RTERN

etsis was founded in 1991 in Izm

ir to develop technological solutions for com

panies to increase their competitiveness. N

etsis provides advanced R&D

in Turkey as w

ell as Azerbaijan, Belarus, Iran, Ukraine, Egypt, U

zbekistan, Russia, and the Sudan. w

ww

.netsis.com.tr

SUPPO

RTERCM

A Consulting,

since 2006:

Enterprise Resource

Planning, Application

Developm

ent, System

Integration

and Business

Intelligence w

ith SAP

products in

a consulting

firm

providing consulting and softw

are services. ww

w.cm

a.com.tr/

SUPPO

RTERiD

ivino was established in 2011 in Izm

ir, to advance R & D

know-how

and experience in the private sector, keeping in the forefront of R &

D activities aim

ed to produce innovative and accurate scale projects. D

riven by market needs and technological

innovations, iDivino aim

s to provide services to meet the needs for innovation-based

solutions for small/m

edium enterprises for Inform

ation Technology. ww

w.facebook.com

/idivy

BRON

ZE SUPPO

RTERCARD

TEK has a number of com

panies in its group that cater to the intense R&

D and innovation needs of the Turkish banking

payment system

s. Companies include Sm

artSoft, CordisNetw

ork, CredoW

ork, and Phaymobile. w

ww

.cardtek.com

BRON

ZE SUPPO

RTERIBM

began operating in Turkey in the 1930s and has several locations in the country, including in the capital, Ankara, and the largest city, Istanbul, w

hich is the third largest m

etropolitan city proper in Europe and the only metropolis in the w

orld that is situated on tw

o continents -- Asia and Europe. ww

w.ibm

.com/planetw

ide/tr

BRON

ZE SUPPO

RTERSTM

is a Defense, Energy, Education, H

ealth, Transportation and Hom

eland Security consultancy services, technical support and a service com

pany that produces technology-focused solutions. w

ww

.stm.com

.tr

SUPPO

RTERSoftin is engaged in inform

ation technology and offers compre-

hensive, proprietary IT solutions for health and education sectors.w

ww

.softin.com.tr

ORG

AN

IZERİzm

ir Institute of Technology is one of the state universities in Turkey and one that was

established in 1992 with a view

to offering a high level of education and carrying out research in technological fields. The m

edium of education is English. It is one of the

two Turkish institutes of technology, w

hich are the most advanced m

odels of technical universities in today’s w

orld. Having first started w

ith graduate programs in 1994 in the

center of İzmir, the faculties have been adm

itting students to undergraduate programs as

well since 1998. By 1999, the institute gradually started m

oving to its campus area in U

rla near Gülbahçe village

from the center of İzm

ir, where it had functioned since its foundation. O

ur institute, covering approximately

3,500 hectares of land, has a closed area of about 132,000 square meters for educational and research activities

and it is still developing. ww

w.iyte.edu.tr

ORG

AN

IZERIow

a State is an international, prestigious university with a friendly

welcom

ing personality. More than 28,000 students choose from

100 m

ajors, study with w

orld-class scholars and hone their leadership skills in m

ore than 800 student organizations. Iowa State offers a great environm

ent w

here students can enjoy reaching their potential and discovering their passions. It’s a culturally diverse student body w

ith students from all 50 states and m

ore than 110 countries. w

ww

.iastate.edu

Metropolitan M

unicipality and affiliated institutions and companies im

plement m

aster plans approved and decisions taken by M

etropolitan Municipality Council. O

ne of those is to support major conferences that w

ill help to transform

Izmir into a Brand City. As sponsoring CO

MPSAC, Izm

ir Metropolitan M

unicipality will host

of the “European Healthy Cities” Conference in 2013 in Izm

ir. ww

w.izm

ir.bel.tr

PLATINU

M SU

PPORTER

32

Documents

COMPSAC 2012 Trustworthy Software Systems for the Digital ... · COMPSAC 2012 Trustworthy Software Systems for the Digital Society Izmir, Turkey 16-20 July General Chairs: Fevzi Belli