Table of Contents

• Keynote: Continuous Model Driven EngineeringBernhard Steffen. [doi]
• Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future InternetThomas Magedanz. [doi]
• A Proof Based Approach for Modelling and VerifyingWeb Services CompositionsIdir Aït-Sadoune, Yamine Aït Ameur. 1-10 [doi]
• ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture DesignsMin-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford. 11-22 [doi]
• Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing TechniqueTsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, W. K. Tam. 23-29 [doi]
• Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the ExperienceXiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei. 30-39 [doi]
• Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and ConnectorsWeishan Zhang, Klaus Marius Hansen, João Fernandes. 40-49 [doi]
• Architecture Driven Modernization in Practice - Study ResultsAndrey Sadovykh, Lionel Vigier, Andreas Hoffmann, Jürgen Großmann, Tom Ritter, Eduardo Gomez, Oleg Estekhin. 50-57 [doi]
• Energy Efficient Duty Allocation Protocols for Wireless Sensor NetworksJonathan Tate, Iain Bate. 58-67 [doi]
• Formal Modelling and Analysis of Business Information Applications with Fault Tolerant MiddlewareJeremy Bryans, John Fitzgerald, Alexander Romanovsky, Andreas Roth. 68-77 [doi]
• Ontology Aided Model ComparisonKleinner S. F. Oliveira, Karin Breitman, Toacy Cavalcante de Oliveira. 78-83 [doi]
• REMES: A Resource Model for Embedded SystemsCristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson. 84-94 [doi]
• From Bio-jETI Process Models to Native CodeAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. 95-101 [doi]
• Formal Specification and Code Generation of Programable Logic ControllersRui Wang, Ming Gu, Xiaoyu Song, Hai Wan. 102-109 [doi]
• Analysis and Code Model Extraction for C/C++ Source CodeChristian Wagner, Tiziana Margaria, Hans-Georg Pagendarm. 110-119 [doi]
• Security Aspect of the Complexity of Modern Surveillance Systems - An Experience ReportAleksandra Karimaa. 120-125 [doi]
• A Rigorous Approach to Uncovering Security Policy Violations in UML DesignsLijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh. 126-135 [doi]
• Computational Trust to Insure the Quality of Assistance Given to Human ActorsChristine Gertosio. 136-145 [doi]
• Benchmarking Dependability of a System Biology ApplicationYuhui Chen, Alexander Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk. 146-153 [doi]
• CONNECT Challenges: Towards Emergent Connectors for Eternal Networked SystemsValérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta. 154-161 [doi]
• The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language EngineeringRichard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack. 162-171 [doi]
• Test your Strategy: Graphical Construction of Strategies for Connect-FourMarco Bakera, Sven Jörges, Tiziana Margaria. 172-181 [doi]
• Abstractions of Web ServicesAli Nasrat Haidar, Ali E. Abdallah. 182-191 [doi]
• An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-Management Planning in a Pervasive Service MiddlewareWeishan Zhang, Klaus Marius Hansen. 192-201 [doi]
• SBAC: Service Based Access ControlUdaya Kiran Tupakula, Vijay Varadharajan, Sunil Kumar Vuppala. 202-209 [doi]
• On the Applicability of Compressive Sampling in Fine Grained Processor Performance MonitoringTomas Tuma, Sean Rooney, Paul Hurley. 210-219 [doi]
• Using Cases in Variability Analysis to Promote the Design of Flexible, Adaptable and Adaptive SystemsBruno Santana da Silva, Simone Diniz Junqueira Barbosa, Julio Cesar Sampaio do Prado Leite. 220-229 [doi]
• ATRIUM: Software Architecture Driven by RequirementsFrancisco Montero, Elena Navarro. 230-239 [doi]
• Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service OrchestrationsNiklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria. 240-247 [doi]
• Towards an Embedded Software Component Quality Verification FrameworkFernando Carvalho, Silvio R. L. Meira. 248-257 [doi]
• An Automated Platform for Immersive and Collaborative Visualization of Industrial ModelsNelson Duarte Filho, Silvia Silva da Costa Botelho, Jonata Tyska Carvalho, Pedro de Botelho Marcos, Renan de Queiroz Maffei, Rodrigo Ruas Oliveira, Vinicius Alves Hax. 258-264 [doi]
• Information System Architecture for Wearable Cardiac Sensors PersonalizationAsta Krupaviciute, Jocelyne Fayn, Paul Rubel, Christine Verdier, Eric McAdams, Chris D. Nugent. 265-272 [doi]
• Some Observations on a Maturity Model for CBSEAnil Kumar Tripathi, Ratneshwer Gupta. 273-281 [doi]
• Applying the COSMIC Functional Size Measurement Method to Problem FramesVieri Del Bianco, Luigi Lavazza. 282-290 [doi]
• An Integrated Specification Logic for Cyber-Physical SystemsMarius C. Bujorianu, Howard Barringer. 291-300 [doi]
• A Reflective Approach for Supporting the Dynamic Evolution of Component TypesCristóbal Costa Soria, David Hervas-Muoz, Jennifer Pérez, José A. Carsí. 301-310 [doi]
• UML Modeling and Formal Verification of Control/Data Driven Embedded SystemsFateh Boutekkouk, Mohamed Benmohammed. 311-316 [doi]
• Constraint Management in Engineering of Complex Information SystemsMarie-Noëlle Terrasse, Marinette Savonnet, Eric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison. 317-322 [doi]
• AADL Simulation and Performance Analysis in SystemCRoberto Varona-Gomez, Eugenio Villar. 323-328 [doi]
• Common Pitfalls of Using QVT Relations - Graphical Debugging as RemedyAngelika Kusel, Wieland Schwinger, Manuel Wimmer, Werner Retschitzegger. 329-334 [doi]
• Visual Comparison of Graphical ModelsArne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden. 335-340 [doi]
• Integrating AADL within a Multi-domain Modeling FrameworkIvano Malavolta, Henry Muccini, Patrizio Pelliccione. 341-346 [doi]
• A Comparative Study of FIACRE and TASM to Define AADL Real Time ConceptsLei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma. 347-352 [doi]
• Towards a Model-Driven Approach for Mapping Requirements on AADL ArchitecturesChristophe Ponsard, Mathieu Delehaye. 353-358 [doi]
• An Emerging Need for a New Software Engineering MethodIsabelle Perseil, Laurent Pautet. 359-364 [doi]
• Verification of Replication Architectures in AADLDionisio de Niz, Peter H. Feiler. 365-370 [doi]
• Executing AADL Models with UML/MARTEFrédéric Mallet, Charles André, Julien DeAntoni. 371-376 [doi]
• Modeling the Implementation of State-Based System ArchitecturesPeter H. Feiler. 377-382 [doi]
• Automating the Generation of Platform Specific ModelsW. El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier. 383-388 [doi]