ebook ebooks e-book e-books downloaden bei MyEbooks.ch downloaden

Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

:	Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski, Manuel Oriol, Bert
:	Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings
:	Springer-Verlag
:	9783642025716
:	1
:	CHF 50.10
:

:	Informatik
:	English

:	382
:	DRM
:	PC/MAC/eReader/Tablet
:	PDF

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.

	Preface	5
	Organization	6
	Table of Contents	9
	On Realizing a Framework for Self-tuning Mappings	12
	Introduction	12
	Smart Matching at a Glance	13
	A Fitness Function for Mapping Models	15
	A Feedback-Aware Mapping Engine	18
	Local Strategies	18
	Global Strategies	19
	Evaluation	23
	Related Work	25
	Conclusion and Future Work	25
	References	26
	Programming Models for Concurrency and Real-Time	28
	CIF: A Framework for Managing Integrity in Aspect-Oriented Composition	29
	Introduction	29
	CIF’s Basic Abstractions: Domains, Realms and Configurations	31
	Overview	31
	Domains	32
	Realms	34
	Configurations	36
	CIF Syntax	36
	Application Case Study	37
	Case Study Overview	37
	Using CIF’s Abstractions	38
	Using CIF in a Team-Based Software Development Environment	40
	Implementation	41
	Related Work	43
	Conclusion	44
	References	45
	A Diagrammatic Formalisation of MOF-Based Modelling Languages	48
	Introduction	48
	Motivation	49
	Constraints in UML	51
	Diagram Predicate Framework	52
	Syntax of Diagrammatic Specifications	53
	Constraints in DPF	53
	Semantics of Diagrammatic Specifications	55
	MOF-Based Modelling Languages	59
	The 4-Layered Modelling Architecture	59
	Modelling Formalisms	60
	Meta-formalism and Reflexive (Meta)Models	61
	Case-Study: Formalisation of EMF	62
	Related Work	64
	Conclusion and Future Work	65
	References	66
	Designing Design Constraints in the UML Using Join Point Designation Diagrams	68
	Introduction	68
	Motivation	69
	Problem Statement	71
	Specifying Design Constraints	73
	Join Point Designation Diagrams (JPDDs)	73
	Designing Constraints Using JPDDs	76
	Revisiting the Problem	80
	Tool Support	82
	Related Work	82
	Discussion and Conclusion	84
	References	85
	Stream-Based Dynamic Compilation for Object-Oriented Languages	88
	Introduction	88
	Trace Trees	89
	Compiling Traces Trees with Tree Serialization	90
	Compilation Pipeline	91
	Object-OrientedModeling: Instruction Class Hierarchy	92
	Filter Pattern	94
	Baseline Compiler	94
	Optimizing Compiler	97
	Parallel Compilation and Parallel Pipelining	99
	Benchmarks	100
	Related Work	102
	Conclusions and Outlook	104
	References	105
	Algebraic Semantics of OCL-Constrained Metamodel Specifications	107
	Introduction	107
	An Example: Architectural Style Preservation	108
	Preliminaries	110
	Maude	111
	Algebraic Semantics of MOF Metamodels	113
	Algebraic Semantics of OCL Expressions	114
	Algebraic Executable Semantics of Meaningful OCL Expressions	115
	Algebraic Executable Semantics of Metamodel Specifications	117
	Metamodel Specifications	117
	Algebraic Executable Semantics of Metamodel Specifications	117
	MOMENT2-OCL	119
	Dynamic Analysis with OCL Invariants	119
	Related Work	122
	Conclusions and Future Work	123
	References	124
	Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages	127
	Introduction	127
	Problem Statement	128
	Introduction	128
	Concern Composition	129
	Concern Composition Framework	130
	Asymmetric Approach Using a GPML	130
	Composition Application	131
	Case Study	132
	Overview of the Method	132
	Conceptual Instantiation of the Concern Composition Framework	133
	Define Base Model	133
	Define Access Control Model	134
	Define Access Control Interface	136
	Define Hypertext Model