Abstract is missing.
- Security Issues in Service CompositionMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. 1-16 [doi]
- Separating Distribution from Coordination and Computation as Architectural DimensionsJosé Luiz Fiadeiro. 17 [doi]
- The Bisimulation Proof Method: Enhancements and Open ProblemsDavide Sangiorgi. 18-19 [doi]
- An Approach to Quality Achievement at the Architectural Level: AQUAHeeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon. 20-32 [doi]
- Bounded Analysis and Decomposition for Behavioural Descriptions of ComponentsPascal Poizat, Jean-Claude Royer, Gwen Salaün. 33-47 [doi]
- Modeling and Validation of a Software Architecture for the Ariane-5 LauncherIulian Ober, Susanne Graf, David Lesens. 48-62 [doi]
- Synchronizing Behavioural Mismatch in Software CompositionCarlos Canal, Pascal Poizat, Gwen Salaün. 63-77 [doi]
- Static Safety for an Actor Dedicated Process Calculus by Abstract InterpretationPierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. 78-92 [doi]
- Temporal Superimposition of Aspects for Dynamic Software ArchitectureCarlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano. 93-107 [doi]
- Modeling Long-Running Transactions with Communicating Hierarchical Timed AutomataRuggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina. 108-122 [doi]
- Transformation Laws for UML-RTRodrigo Ramos, Augusto Sampaio, Alexandre Mota. 123-137 [doi]
- Underspecification, Inherent Nondeterminism and Probability in Sequence DiagramsAtle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. 138-155 [doi]
- Generating Instance Models from Meta ModelsKarsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann. 156-170 [doi]
- KM3: A DSL for Metamodel SpecificationFrédéric Jouault, Jean Bézivin. 171-185 [doi]
- Defining Object-Oriented Execution Semantics Using Graph TransformationsHarmen Kastenberg, Anneke Kleppe, Arend Rensink. 186-201 [doi]
- Type-Safe Runtime Class Upgrades in CreolIngrid Chieh Yu, Einar Broch Johnsen, Olaf Owe. 202-217 [doi]
- Abstract Interface Behavior of Object-Oriented Languages with MonitorsErika Ábrahám, Andreas Grüner, Martin Steffen. 218-232 [doi]
- Mobility Mechanisms in Service Oriented ComputingClaudio Guidi, Roberto Lucchi. 233-250 [doi]
- Theoretical Foundations of Scope-Based Compensable Flow Language for Web ServiceGeguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He. 251-266 [doi]