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)

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