CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-viii

Message from General Chairs (PDF)

pp. ix

Program Committee (PDF)

pp. x

Keynote: Continuous Model Driven Engineering (PDF)

Bernhard Steffen

pp. xi

Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future Internet (PDF)

Prof. Dr. Thomas Magedanz

pp. xii

A Proof Based Approach for Modelling and VerifyingWeb Services Compositions (Abstract)

Idir Ait-Sadoune

Yamine Ait-Ameur

pp. 1-10

PDF

ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs (Abstract)

Lui Sha

pp. 11-22

PDF

Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique (Abstract)

TY. Chen

F.-C. Kuo

R. Merkel

W.K.Tam

pp. 23-29

PDF

Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience (Abstract)

pp. 30-39

PDF

Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors (Abstract)

pp. 40-49

PDF

Architecture Driven Modernization in Practice (Abstract)

pp. 50-57

PDF

Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks (Abstract)

Jonathan Tate

Iain Bate

pp. 58-67

PDF

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware (Abstract)

pp. 68-77

PDF

Ontology Aided Model Comparison (Abstract)

pp. 78-83

PDF

REMES: A Resource Model for Embedded Systems (Abstract)

pp. 84-94

PDF

From Bio-jETI Process Models to Native Code (Abstract)

pp. 95-101

PDF

Formal Specification and Code Generation of Programable Logic Controllers (Abstract)

Rui Wang

Ming Gu

Xiaoyu Song

Hai Wan

pp. 102-109

PDF

Analysis and Code Model Extraction for C/C++ Source Code (Abstract)

pp. 110-119

PDF

Security Aspect of the Complexity of Modern Surveillance Systems (Abstract)

Aleksandra Karimaa

pp. 120-125

PDF

A Rigorous Approach to Uncovering Security Policy Violations in UML Designs (Abstract)

pp. 126-135

PDF

Computational Trust to Insure the Quality of Assistance Given to Human Actors (Abstract)

Christine Gertosio

pp. 136-145

PDF

Benchmarking Dependability of a System Biology Application (Abstract)

Yuhui Chen

Alexander Romanovsky

Anatoliy Gorbenko

Vyacheslav Kharchenko

Seyran Mamutov

Olga Tarasyuk

pp. 146-153

PDF

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (Abstract)

pp. 154-161

PDF

The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering (Abstract)

pp. 162-171

PDF

Test your Strategy: Graphical Construction of Strategies for Connect-Four (Abstract)

pp. 172-181

PDF

Abstractions of Web Services (Abstract)

Ali N. Haidar

Ali E. Abdallah

pp. 182-191

PDF

An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-Management Planning in a Pervasive Service Middleware (Abstract)

Weishan Zhang

Klaus Marius Hansen

pp. 192-201

PDF

SBAC: Service Based Access Control (Abstract)

pp. 202-209

PDF

On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring (Abstract)

pp. 210-219

PDF

Simone Diniz Junqueira Barbosa

Using Cases in Variability Analysis to Promote the Design of Flexible, Adaptable and Adaptive Systems (Abstract)

Bruno Santana da Silva

Julio Cesar Leite

pp. 220-229

PDF

ATRIUM: Software Architecture Driven by Requirements (Abstract)

Francisco Montero

Elena Navarro

pp. 230-239

PDF

Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations (Abstract)

pp. 240-247

PDF

Towards an Embedded Software Component Quality Verification Framework (Abstract)

Fernando Carvalho

Silvio Meira

pp. 248-257

PDF

An Automated Platform for Immersive and Collaborative Visualization of Industrial Models (Abstract)

Nelson Duarte Filho

Silvia Costa Botelho

Jonata Tyska Carvalho

Pedro de Botelho Marcos

Renan de Queiroz Maffei

Rodrigo Ruas Oliveira

Vinicius Alves Hax

pp. 258-264

PDF

Information System Architecture for Wearable Cardiac Sensors Personalization (Abstract)

pp. 265-272

PDF

Some Observations on a Maturity Model for CBSE (Abstract)

A. K. Tripathi

Ratneshwer

pp. 273-281

PDF

Applying the COSMIC Functional Size Measurement Method to Problem Frames (Abstract)

Vieri del Bianco

Luigi Lavazza

pp. 282-290

PDF

An Integrated Specification Logic for Cyber-Physical Systems (Abstract)

Marius C. Bujorianu

Howard Barringer

pp. 291-300

PDF

A Reflective Approach for Supporting the Dynamic Evolution of Component Types (Abstract)

Cristóbal Costa-Soria

pp. 301-310

PDF

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems (Abstract)

Fateh Boutekkouk

Mohamed Benmohammed

pp. 311-316

PDF

Constraint Management in Engineering of Complex Information Systems (Abstract)

Marie-Noelle Terrasse

pp. 317-322

PDF

AADL Simulation and Performance Analysis in SystemC (Abstract)

Roberto Varona-Gómez

Eugenio Villar

pp. 323-328

PDF

Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy (Abstract)

Angelika Kusel

Wieland Schwinger

Manuel Wimmer

Werner Retschitzegger

pp. 329-334

PDF

Visual Comparison of Graphical Models (Abstract)

Arne Schipper

Hauke Fuhrmann

Reinhard von Hanxleden

pp. 335-340

PDF

Integrating AADL within a Multi-domain Modeling Framework (Abstract)

pp. 341-346

PDF

A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts (Abstract)

Lei Pi

Kai Hu

pp. 347-352

PDF

Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures (Abstract)

Christophe Ponsard

Mathieu Delehaye

pp. 353-358

PDF

An Emerging Need for a New Software Engineering Method (Abstract)

Isabelle Perseil

Laurent Pautet

pp. 359-364

PDF

Verification of Replication Architectures in AADL (Abstract)

Dionisio de Niz

Peter H. Feiler

pp. 365-370

PDF

Executing AADL Models with UML/MARTE (Abstract)

pp. 371-376

PDF

Modeling the Implementation of State-Based System Architectures (Abstract)

Peter H. Feiler

pp. 377-382

PDF

Automating the Generation of Platform Specific Models (Abstract)

pp. 383-388

PDF

Author Index (PDF)

pp. 389-390

Publisher's Information (PDF)

pp. 392