Invited Speakers

• 
  Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. 1-16
• 
  José Luiz Fiadeiro: Separating Distribution from Coordination and Computation as Architectural Dimensions. 17
• 
  Davide Sangiorgi: The Bisimulation Proof Method: Enhancements and Open Problems. 18-19

Regular Papers

• 
  Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon: An Approach to Quality Achievement at the Architectural Level: AQUA. 20-32
• 
  Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. 33-47
• 
  Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. 48-62
• 
  Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. 63-77
• 
  Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. 78-92
• 
  Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano: Temporal Superimposition of Aspects for Dynamic Software Architecture. 93-107
• 
  Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. 108-122
• 
  Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Transformation Laws for UML-RT. 123-137
• 
  Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen: Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. 138-155
• 
  Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann: Generating Instance Models from Meta Models. 156-170
• 
  Frédéric Jouault, Jean Bézivin: KM3: A DSL for Metamodel Specification. 171-185
• 
  Harmen Kastenberg, Anneke Kleppe, Arend Rensink: Defining Object-Oriented Execution Semantics Using Graph Transformations. 186-201
• 
  Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe: Type-Safe Runtime Class Upgrades in Creol. 202-217
• 
  Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. 218-232
• 
  Claudio Guidi, Roberto Lucchi: Mobility Mechanisms in Service Oriented Computing. 233-250
• 
  Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He: Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. 251-266

last updated on Fri May 24 04:50:08 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page