Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings (Lecture Notes in Business Information Processing)

This book constitutes the thoroughly refereed proceedings of the 47th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2009, held in Zurich, Switzerland, in June/July 2009. TOOLS has played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS has kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry. The 17 regular papers and two short papers presented in this book, together with two invited papers, were carefully reviewed and selected from 67 submissions. The topics covered in this volume are reflection and aspects, models, theory, components, monitoring, and systems generation. front-matter.pdf......Page 2 Introduction......Page 12 Smart Matching at a Glance......Page 13 A Fitness Function for Mapping Models......Page 15 Local Strategies......Page 18 Global Strategies......Page 19 Evaluation......Page 23 Conclusion and Future Work......Page 25 References......Page 26 Programming Models for Concurrency and Real-Time......Page 28 Introduction......Page 29 Overview......Page 31 Domains......Page 32 Realms......Page 34 CIF Syntax......Page 36 Case Study Overview......Page 37 Using CIF's Abstractions......Page 38 Using CIF in a Team-Based Software Development Environment......Page 40 Implementation......Page 41 Related Work......Page 43 Conclusion......Page 44 References......Page 45 Introduction......Page 48 Motivation......Page 49 Constraints in UML......Page 51 Diagram Predicate Framework......Page 52 Constraints in DPF......Page 53 Semantics of Diagrammatic Specifications......Page 55 The 4-Layered Modelling Architecture......Page 59 Modelling Formalisms......Page 60 Meta-formalism and Reflexive (Meta)Models......Page 61 Case-Study: Formalisation of EMF......Page 62 Related Work......Page 64 Conclusion and Future Work......Page 65 References......Page 66 Introduction......Page 68 Motivation......Page 69 Problem Statement......Page 71 Join Point Designation Diagrams (JPDDs)......Page 73 Designing Constraints Using JPDDs......Page 76 Revisiting the Problem......Page 80 Related Work......Page 82 Discussion and Conclusion......Page 84 References......Page 85 Introduction......Page 88 Trace Trees......Page 89 Compiling Traces Trees with Tree Serialization......Page 90 Compilation Pipeline......Page 91 Object-Oriented Modeling: Instruction Class Hierarchy......Page 92 Baseline Compiler......Page 94 Optimizing Compiler......Page 97 Parallel Compilation and Parallel Pipelining......Page 99 Benchmarks......Page 100 Related Work......Page 102 Conclusions and Outlook......Page 104 References......Page 105 Introduction......Page 107 An Example: Architectural Style Preservation......Page 108 Preliminaries......Page 110 Maude......Page 111 Algebraic Semantics of MOF Metamodels......Page 113 Algebraic Semantics of OCL Expressions......Page 114 Algebraic Executable Semantics of Meaningful OCL Expressions......Page 115 Algebraic Executable Semantics of Metamodel Specifications......Page 117 Dynamic Analysis with OCL Invariants......Page 119 Related Work......Page 122 Conclusions and Future Work......Page 123 References......Page 124 Introduction......Page 127 Introduction......Page 128 Concern Composition......Page 129 Asymmetric Approach Using a GPML......Page 130 Composition Application......Page 131 Overview of the Method......Page 132 Define Base Model......Page 133 Define Access Control Model......Page 134 Define Access Control Interface......Page 136 Specify Base-Access Control Composition Model......Page 137 Generate and Manually Complete Code......Page 138 Intraspace Compositions......Page 139 Interspace Compositions......Page 140 Domain Specific AOP Languages......Page 142 Other Approaches......Page 143 References......Page 144 Introduction......Page 147 Characterizing and Identifying Crosscutting Concerns......Page 148 A Conceptual Framework for Crosscutting......Page 149 The MobileMedia System......Page 150 Metrics for Scattering......Page 152 Metrics for Crosscutting......Page 153 Survey of Related Metrics......Page 155 Internal Validation......Page 156 External Validation......Page 160 Related Works......Page 164 Conclusions and Future Work......Page 165 References......Page 166 Introduction......Page 168 Strategies for Workflow Flexibility and Extensibility......Page 169 The Cumbia Platform......Page 171 The Control Concern and XPM......Page 172 Extensibility in a Concern: New Element......Page 175 Extensibility with Additional Concerns......Page 176 Extending a Workflow Engine......Page 178 Extending PaperXpress: Storing the Article Contents in a Remote Repository......Page 180 Extending PaperXpress: Revision Control for Article Sections......Page 181 Extending PaperXpress: Supporting Several Authors......Page 183 Conclusions......Page 184 References......Page 185 Introduction......Page 186 Taxonomy of Errors in Software Product Lines and Related Work......Page 187 Checking Syntactic Correctness of Java SPLs......Page 190 Generalizing Correctness Rules: The gCIDE Model......Page 193 Automating Language Plug-in Creation......Page 195 Experience......Page 198 Discussion: Flexibility vs. Safety......Page 200 Perspective: Language-Independent Checks beyond Syntax......Page 202 Conclusion......Page 203 References......Page 204 Introduction......Page 206 The Source Language......Page 207 The Memory Model......Page 208 Operational Semantics......Page 209 A Program Logic for Eiffel......Page 215 Basic Rules......Page 217 Routine and Routine Invocation Rules......Page 218 Once Routines......Page 219 Soundness and Completeness......Page 220 Related Work......Page 221 Lessons Learned......Page 222 References......Page 224 Introduction......Page 226 The Model Level......Page 227 The Architectural Level......Page 229 An EJB Coding Framework for Adaptable Coarse-Grained View Components......Page 232 Description of Reusable View Components......Page 233 Checking and Archiving Steps......Page 234 Server Facilities......Page 235 Related Works......Page 238 References......Page 239 Introduction......Page 242 Leasing in Mobile Ad Hoc Networks......Page 243 Running Example: The Mobile Music Player......Page 244 Analysis......Page 245 Related Work......Page 246 Leased Object References......Page 248 AmbientTalk in a Nutshell......Page 251 Language Constructs for Leasing Patterns......Page 252 Integrating Leasing with Future-Type Message Passing......Page 254 Supporting Expiration Handling......Page 255 Leased Object References......Page 256 Discussion......Page 259 Conclusion and Future Work......Page 261 References......Page 262 The Case......Page 263 xUnit in a Nutshell......Page 265 Analyzing the Squeak Collection Library Tests......Page 266 Streams......Page 267 The Varieties of Collections......Page 268 Experimental Process......Page 269 Composing Test Cases......Page 271 Combining Inheritance and Trait Reuse......Page 273 In the Nile Stream Library......Page 274 In the Collection Library......Page 275 What Did We Gain?......Page 277 Discussion......Page 278 Inheritance-Based Test Class Reuse......Page 280 Parametrized Test Classes in JUnit 4.0......Page 281 References......Page 282 Introduction......Page 283 Motivating Example......Page 284 Limitations of Current Back-in-Time Debuggers......Page 286 $Compass$: A Flow-Centric Back-in-Time Debugger......Page 289 Navigating Method Execution Traces......Page 290 Navigating Object Flows......Page 291 Flow-Centric Debugging in Action......Page 292 Implementation: A Flow-Centric Debugging Metamodel......Page 295 Conclusions and Future Work......Page 297 References......Page 298 Introduction......Page 300 Semantics and Joinpoint Models......Page 301 Joinpoint Models......Page 302 Example: A simple OO Language......Page 303 Classification of Joinpoint Models......Page 305 Pointcuts and Matching......Page 306 Pointcut Languages......Page 307 Example Pointcut Languages......Page 308 Comparison of Joinpoint Abstractions......Page 309 Criteria for the Comparison of Pointcut Languages......Page 310 A Methodology for Language Comparison......Page 312 Shadows and Optimization......Page 313 Advice and Context Binding......Page 314 Related Work......Page 316 References......Page 317 Introduction......Page 319 The DIPLODOCUS Environment in a Nutshell......Page 320 Methodology......Page 321 Toolkit......Page 322 Application Modeling......Page 323 Mapping of Applications on Architectures......Page 326 Basic Principles......Page 328 Transactions and the Timestamp Policy......Page 330 Simulation Phases......Page 332 Experimental Results......Page 333 Related Work......Page 334 References......Page 337 Introduction......Page 339 PyPy in a Nutshell......Page 340 The Interpreter......Page 341 The Translation Toolchain......Page 342 Game Boy Technical Details......Page 344 Hardware Pieces......Page 345 Source Implementation......Page 346 From Java to Python......Page 347 Translation......Page 351 Performance Evaluation......Page 353 Runtime Optimization Comparison......Page 354 Conclusion......Page 356 References......Page 357 Introduction......Page 359 General Approach......Page 361 Integrating ASMs into Modelware......Page 363 Conclusion......Page 365 References......Page 366 Introduction......Page 368 CSP || B......Page 369 Transformations to CSP......Page 370 Transformations to B......Page 374 Conclusion and Future Work......Page 376 References......Page 377 back-matter.pdf......Page 379 On realizing a framework for self-tuning mappings CIF: a framework for managing integrity in aspect-oriented composition A diagrammatic formalisation of MOF-based modelling languages Designing design constraints in the UML using join point designation diagrams Stream-based dynamic compilation for object-oriented languages Algebraic semantics of OCL-constrained metamodel specifications Specifying and composing concerns expressed in domain-specific modeling languages Early crosscutting metrics as predictors of software instability Extensibility in model-based business process engines Guaranteeing syntactic correctness for all product line variants: a language-independent approach A sound and complete program logic for Eiffel A coding framework for functional adaptation of coarse-grained components in extensible EJB servers A leasing model to deal with partial failures in mobile ad hoc networks Reusing and composing tests with traits Flow-centric, back-in-time debugging A classification framework for pointcut language in runtime monioring Fast simulation techniques for design space exploration PyGirl: generating whole-system VMs from high-level prototypes using PyPy Using grammarware language to define operational semantics of modelled languages Automatic generation of integrated formal models corresponding to UML systems models.