Ringvorlesung Forschungslinie. Beyond Objects

Transcription

1 Fakultät für Informatik Institut für Software- und Multimediatechnik Ringvorlesung Forschungslinie Beyond Objects From Object Modeling Via Role Modeling To Satellite Modeling Prof. Dr. Uwe Aßmann Institut für Software- und Multimediatechnik (SMT) Fakultät für Informatik, TU Dresden , Apr 20, 2012

2 Overview Problems The extensibility problem in modeling The variability problem The parallel programming problem (inheritance anomaly) The view problem (what are concerns and aspects?) The component problem (what are components?) The substituability problem (what is conformance?) Step 1) The Steimann product-lattice factorization of types Its advantages Scalability Extensibility Variability Step 2) Satellite-based development Object-Satellite-Model (ORBIT) The relationship to the groups Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 2

3 The Extensibility Problem How to extend software? Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 3

4 The Substitutability Problem How to substitute a component? Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 4

5 The Varability Problem How to vary a subsystem? Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 5

6 The Parallelism Problem (Inheritance Anomaly) 1980s: Parallel object-oriented languages (POOL, COOL) 1991: Inheritance Anomaly 1988: Composition Technology (Aksit) 1994: Generic Synchronization Policies (McHale) : Composition Filters (Aksit) 1996: Aspect-oriented Programming (AOP) 1996: D+RIDL (Lopes), 1999: Aspect/J (Kiczales) 2003: Transaction MDA (Löcher) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 6

7 Inheritance Anomaly - Why Concerns are Necessary In a parallel program or library, where should synchronization code be inserted? Stack? Queue? OrderedCollection? Collection? Object? pop() OrderedCollection add() Stack LockedStack s: semaphor; PlainStack enter() Queue PriorityQueue pop() wait(s); super.pop(); free(s); Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 7

8 Inheritance Anomaly At the beginning of the 90s, parallel object-oriented languages failed, due to the inheritance anomaly problem Inheritance anomaly: In In inheritance hierarchies, synchronization code is is intermingled with the algorithm and cannot be easily exchanged Synchronization tangling: Because synchronization code braces code, it it is is tangling Synchronization crosscut: Because synchronization code is is reused code, it it is is crosscutting Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 8

9 Algorithm and Synchronization are Core and Aspect Composition fixes crosscut between core and aspect OrderedCollection add() Crosscut LockProtocol Stack pop() enter() Queue Semaphor wait() free() enter() Monitor PriorityQueue HoareMonitor HansenMonitor Binary Semaphor Counting Semaphor Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 9

10 What are Crosscut Relations? Relations between things in a core and an aspect Crosscut Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 10

11 Challenges What is is a concern (Sicht, Belang)? What is is an aspect (querschneidende Sicht, Belang)? Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 11

12 Ladder of Paradigms 1995-today Role-oriented development (ROD, Objects with roles) Object-oriented development (OOA, OOD, OOP, POOL) AOSD Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 12

13 Fakultät für Informatik Institut für Software- und Multimediatechnik Step 1 Beyond Objects - Role Modeling and the Steimann Factorization Splitting a type into a tuple of natural and founded parts

14 Rigid and Founded Types If If an an object object that that has has a a rigid rigid type, type, it it cannot cannot stop stop being being of of the the type type without without loosing loosing its its identity identity [Guarini] [Guarini] Example: Book is a rigid type, Reader is a non-rigid type Reader can stop reading, but Book stays Book Rigid types are tied to the identity of objects A non-rigid type is a dynamic type that is indicating a state of the object A A founded founded type type (relative (relative type) type) is is a a type type that that exists exists always always in in collaboration collaboration (association) (association) with with another another class. class. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 14

15 Role and Natural Types A role type is a founded and non-rigid type. Role types are in collaboration and if the object does no longer play the role type, it does not give up identity. Natural types are non-founded and rigid. A natural type is independent of a relationship. The objects cannot leave it. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 15

16 Roles in the Literatur Databases (Bachmann 77) ER model (Chen 76); though hidden in association ends Design patterns (Riehle 98) Course Design patterns and frameworks at TUD Product line engineering (Smaragdakis,Batory 02) Connectors in architectural languages (Garlan, Shaw 95) OO Modeling (Reenskaug 95) Security anyway ACL lists in operating systems Ontologies (Brachman, description logic)... [Steimann DKE 2000] has many more and tries to unify them Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 16

17 Steimann Factorization [Steimann, DKE 2000] Splitting a full type into its natural and role-type components FullType = Natural x (role-type, role-type,...) Full = x (Reader,, Customer,..) FullBook Full Bought Sausage Buyer Grand Reader Grand Child Full FullNewsPaper Read Newspaper Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 17

18 Full Type is from Inheritance Product Lattice What is a reading buying grandfather person? Role 2 Natural (entity) Role 3 Role 1 Thing Ancestor Accessor Customer LivingBeing Contractor Mammal Dinosaurs Mother Acquainted Negotiator Chicken Grand Grand Mother Reader Writer Buyer Seller Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 18

19 The Steimann Factorization Divide a type into a tuple type over a product lattice of a core dimension and n-1 role dimensions (Core, Role_1,..., Role_n) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 19

20 Simplified Representation of Object Nets Role models (collaborations) are interprocedural slices Collaboration schemas (connector schemas) are schemas (types) for interprocedural slices Bought Sausage Buyer Grand Grand Child Reader Read Newspaper Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 20

21 Advantages of the Steimann Factorization for System Construction Simplicity Representation of concerns and aspects Extensibility Variability (delayed role embedding decisions) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 21

22 Fakultät für Informatik Institut für Software- und Multimediatechnik Advantage 1: Extensibility

23 Simplified Extension with Connectors (Role Model, Collaboration) Object-role nets can be extended by new role models (connectors, collaborations) Bought Sausage Buyer Grand Grand Child Reader Read Newspaper Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 23

24 A Connector is a Relational Module (Collaboration) Nets of roles with open ends, open plays-a tentacles, to be attached to object cores Grand Grand Child UML Notation with role-type parameter P: P Grand GrandShip GrandChild Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 24

25 Newspaper-Reading GrandpaShip Grand Grand Child Reader Read P Grand Grand Child Reading Grandship Read Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 25 N

26 Newspaper-Reading Buying GrandpaShip Buyer Bought Grand Grand Child Reader Read Buying Bought S P Grand Grand Child ReadingBuying Grandship Reader Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 26 Read N

27 Connector Superimposition in UML Connector superimposition extends designs Customership Bought Bought Sausage Buyer Buyer Grand Grand Child Grand GrandShip Grand Child Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 27

28 Connectors can be Refined Buyer net Bought Sausage seller Shop Buyer outgoing incoming Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 28

29 Extension on the Steimann Product Lattice A new role relationship extends the product lattice by another dimension. Natural (entity) Role 3 Role 1 Role 2 Thing Ancestor Accessor Customer LivingBeing Contractor Mammal Dinosaurs Mother Acquainted Negotiator Chicken Grand Grand Mother Reader Writer Buyer Seller Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 29

30 Connector Superimposition extends the Steimann Lattices of all involved Classes Role 3 Natural (entity) Role 1 Role 2 Natural (entity) Role 1 Role 2 Role 3 Customer Thing Ancestor Accessor Thing Ancestor Accessor Customer Contractor LivingBeing LivingBeing Mammal Dinosaurs Mother Acquainted Contractor Negotiator Negotiator Buyer Seller Mammal Dinosaurs Chicken Grand Mother Grand Mother Reader Acquainted Writer Chicken Grand Grand Mother Reader Writer Buyer Seller Role 3 Natural (entity) Role 1 Role 2 Customer Thing Ancestor Accessor Connector Contractor Negotiator LivingBeing Mammal Dinosaurs Mother Acquainted Buyer Seller Chicken Grand Grand Mother Reader Writer Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 30

31 Extension in the Steimann Lattice Retains Inheritance Superimposition of connectors to objects in Steimannfactored form retains all inheritance structures Stable entity inheritance hierarchies, if concepts are added relationally to a model Otherwise: extension of superclasses necessary (role classes become superclasses of entity classes) Adding of new concerns is simple (adding a collaboration) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 31

32 Identity is Fixed to Core Facet of Product Lattice Role type extensions does not change the name of the core type nor of the full type (polymorphism) Thing Ancestor Accessor Customer LivingBeing Contractor Mammal Dinosaurs Mother Acquainted Negotiator Chicken Grand Grand Mother Reader Writer Buyer Seller Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 32

33 Role Extension Retains Core Identity Distinguish role types (NON-RIGID) from natural types (RIGID) Mixin Mixin Reader ReaderMixin Reading Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 33

34 Modern Implementation of Connectors (Collaborations) Connectors (Collaborations, role models) are type functors Functions on types Model concerns and aspects Direct implementation Mixin layers [Batory] Role Object Pattern Semantic macros Generic templates (BETA, Invasive Composition Aßmann) Aspects Ceasar/J [M. Mezini, Darmstadt] [S. Herrmann, Berlin] Rewriting to standard languages Mapping (MDD process), e.g., with graph rewriting systems Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 34

35 Fakultät für Informatik Institut für Software- und Multimediatechnik Advantage 2) Scalable Refinement and Variability: Anchoring Roles into the Model-Driven Software Development (MDSD)

36 Variability by Role Embedding Mapping Roles to Implementation-Records is an Embedding Decision The plays-a relationship leaves the embedding open, defers the decision to implementation Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 36

37 Families and Banks (in a role model) Bank Child Loaner Mother Customer Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 37

38 Families and Banks (Delegation, Split Design) Bank Child Loaner Mother Customer Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 38

39 Families and Banks (Roles Embedded in Players) Child -As- Child Bank-As- Loaner Bank Loaner Mother -As- -As- Mother Customer -As- Costumer Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 39

40 Families and Banks (Roles embedded in Relations) Bank Child Child Loaner Mother Customer Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 40

41 The Role Mapping Process and Model-Driven Architecture The question Where is a role embedded? is a platform decision A role model is more platform independent than a class model In MDA, role models are found on a more platform independent level than class models Role embedding is a task in MDA Business model Role Models Merged Role Models Class Model (roles embedded) Role Model merging Role Model mapping Role embedding Code Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 41

42 Computing Physical Representation from Complex Objects The role embedding determines, which physical objects inherit from which roles computes the physical objects from maximal splits of the complex objects Role Model (maximally splitted responsibilities of the logical objects) Class models Roles in Players Roles in Relations Roles in Delegatees Code Code Code Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 42

43 Role Embedding Yields Scalability Scalability means: From one role design, derive many class designs One can play with defering the embedding decision (compile-time, run-time) Role Role embedding embedding delivers delivers variable variable implementations, implementations, scalable scalable in in splitting, splitting, locality locality and and allocation allocation Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 43

44 Ladder of Paradigms Fine-grained modeling Product-line engineering 1995-today Role-oriented development (ROD, Objects with roles) Scalability Variability Extensibility Views, aspects Object-oriented development (OOA, OOD, OOP) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 44

45 Fakultät für Informatik Institut für Software- und Multimediatechnik Step 2 Beyond Role Modeling - Satellite-Based Modeling New (preliminary; unpublished; ongoing work)

46 Ladder of Paradigms (2) today- Satellite-oriented development (Objects with Orbit) Rational Grammar 1995-today Role-oriented development (ROD, Objects with roles) Object-oriented development (OOA, OOD, OOP) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 46

47 Fakultät für Informatik Institut für Software- und Multimediatechnik Satellites (Mixins) as Predicates about Objects as contrast to natural types (standalone things)

48 Satellite Objects and Types A satellite (mixin object) is is a subobject representing a predicate about a core object Role (founded, anti-rigid) Facet (non-founded, rigid): classification value Phase (non-founded, anti-rigid) Integrated Part (nonfounded) Other unary predicates A satellite type (mixin type) is is a type, dependent on a core type (sortal universal) Role type Facet type: classification dimension Phase type Integrated Part type Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 51

49 What are Facets? Classification dimensions that belong intrisically to the object non-founded rigid (non-temporary) Library science [Ramagathan] FIND07 -- International Workshop on Dynamic Taxonomies and Faceted Search Regensburg, Germany, September 3-7, 2007 in conjunction with DEXA 2007 Facet Facet Core Facet Facet Dynamic taxonomies work on multidimensional taxonomies (usually organized by facets) and provide a single, coherent visual framework in which users can focus on one or more concepts in the taxonomy, and immediately see a conceptual summary of their focus, in the form of a reduced taxonomy derived from the original one by pruning unrelated concepts. Concepts in the reduced taxonomy can be used to set additional, dependent foci and users iterate in a guided yet unconstrained way until they reach a result set sufficiently small for manual inspection. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 52

50 What are Facets? non-founded; rigid Sausage Non- Smoker Male Eatable Smoker Eating Child Ball Player Playable Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 53

51 Satellite Holders (Complex Objects) complex object (full object) Role Facet Role Facet Core Role Holder Facet Holder Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 54

52 What are Phases? non-founded, non-rigid [Guizzardi] teen grown-up old Sausage States in a lifecycle Eatable Eating Child airfilled Player Ball Playable grown-up Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 55

53 Satellite Holder complex object (full object) phase phase role Facet role Facet core role holder Facet, Phase, Role holder Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 56

54 What are Integral Parts? Meat non-founded; rigid; non-shared Sausage Eatable Eating Skin Child Ball Playable Player Heart Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 57

55 Satellite-Core Relationships (Elementary Copula) A satellite relationship is a primary key relationship between a core and a satellite,.. an elementary copula thing plays-a role thing has-a phase thing has-a-classification-dimension thing owns-an-integral part thing is unary-predicator Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 58

56 Core Objects with Different Satellites (Joined by Elementary Triples) teen Sausage Stomach Child ship Non- Smoker Male Eatable Smoker Eating Child airfilled Player ship Ball Playable grown-up Heart Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 59

57 Satellite-Based Development Distinguish Distinguish beyond beyond roles roles facets, facets, phases, phases, integral integral parts parts Refine Refine the the Steimann Steimann factorization factorization with with more more satellite satellite types types Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 60

58 The Satellite Factorization The Steimann factorization works for other satellites Thing Ancestor Ignorant grown-up LivingBeing Mother Dead Mammal Dinosaurs Gourmet Gourmand Chicken Grand Grand Mother Young Old Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 61

59 The Satellite Factorization Consists of an extended Steimann Factorization Divide a type into a tuple type over a product lattice of a core dimension and f facet dimensions p phase dimensions r role dimensions i i integral part dimensions (Core, Facet_1,..,Facet_f, Phase_1,.., Phase_p Role_1,..., Role_r, IntegralPart_1,..,IntegralPart_i) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 62

60 The Satellite Hierarchy Universal (class) Predicate Substantial Universal Unary Predicate {identity} Sortal / Nominator Satellite {secondary dimensions} {full objects} Rigid Sortal Universal Anti-Rigid Sortal (Satellite Holder) Rigid Satellite Non-Rigid Satelite Kind Subkind Phase Holder RoleHolder Integral Part Facet Role Phase Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 63

61 More Scalability with Satellites Goal: Defering the satellite embedding decision to implementation for all satellite relationships All advantages of role modeling, but even more Variability Extensible logical designs Scalable embedding decisions Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 64

62 The Satellite-Mapping Process and Model-Driven Architecture The question Where is satellite embedded? is a platform decision Satellite embedding is a task in MDA Business model Satellite Models Satellite Model merging Merged Satellite Models Class Model (roles embedded) Satellite Model mapping Satellite embedding Code Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 65

63 Fakultät für Informatik Institut für Software- und Multimediatechnik The Object-Satellite Model (The ORBIT Object Model) New (preliminary; unpublished; ongoing work)

64 Core and Role Orbit Roles are classification dimensions, founded role role Core role role role Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 67

65 Core and Facet Orbit Facets are classification dimensions, non-founded facet facet Core facet facet facet Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 68

66 Satellites on Orbits of Cores role integral part phase role phase role facet phase integral part facet integral part phase core facet integral part role phase facet phase role integral part phase role Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 69

67 Predicator Orbits unary predicator unary predicator immutable role role facet immutable role immutable role unary predicator role immutable role facet core facet role role unary predicator immutable role role immutable role facet immutable role unary predicator unary predicator Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 70

68 Ladder of Paradigms (2) today- Satellite-oriented development (Objects with orbits, ORBIT model) Dissertation Wende 2012 Roles in Language Composition 1995-today Role-oriented development (ROD, Objects with roles) Chair Dissertation Richly 2011 Roles in Workflows Dissertation Johannes 2010 Roles in Metacomposition Object-oriented development (OOA, OOD, OOP) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 72

69 Future Why will role modeling prevail? Better typing, better polymorphism Flexible product lines for resource-aware systems for run-time-flexible systems Why will satellite modeling prevail? Because roles are not the only types of unary predicators Because plays-a is not the only elementary copula Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 73

70 Fakultät für Informatik Institut für Software- und Multimediatechnik Relations to the courses of Chair

71 st.inf.tu-dresden.de/teaching/... Diplom- und Belegarbeiten Component-Based Software Engineering (CBSE) Role models as standard services of components Role models as grey-box composition system Role models for generic composition Design Patterns and Frameworks (DPF) Role models for design patterns Composed design patterns Role object pattern Roles vs mixins Software-Management (SWM) Roles in the software process Roles in process models Software-Werkzeuge (SEW) Roles in software tools Roles for reusability II (MDA) Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 75

72 Important References T. Reenskaug, P. Wold, and O. Lehne. Working with Objects, The OOram Software Engineering Method. Manning Publications, Friedrich Steimann. On the representation of roles in object-oriented and conceptual modelling. Data Knowl. Eng, 35(1):83-106, Friedrich Steimann. A radical revision of UML s role concept. UML 2000, 3rd International Conference, Springer LNCS, and many more, see his home page at U Hagen Charles W. Bachman and Manilal Daya. The role concept in data models. In VLDB 1977: Proceedings of the third int.l conf. on Very large data bases, pages VLDB Endowment, Giancarlo Guizzardi, Heinrich Herre, and Gerd Wagner. On the general ontological foundations of conceptual modeling. 21st Int. Conf. on Conceptual Modeling (ER 2002), LNCS 2503, pages 65-78, Guizzardi, G. (2005). Ontological Foundations for Structural Conceptual Models. PhD thesis, University of Twente. S. Herrmann. Object teams: Improving modularity for crosscutting collaborations. In Proc. Net Object Days 2002, S. Herrmann. A precise model for contextual roles: The programming language objectteams/java. Applied Onthology, (to appear), a programming lanugage with roles Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 76

73 Important References D. Bäumer, D. Riehle, W. Silberski, and M. Wulf. Role object. In Conf. On Pattern Languages of Programming (PLOP), Dirk Riehle and Thomas Gross. Role model based framework design and integration. ACM SIGPLAN Notices, 33(10): , October Dirk Riehle. Framework Design - A Role Modelling Approach. PhD thesis, ETH Zürich, No Y. Smaragdakis and D. Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Transactions on Software Engineering and Methodology, 11(2): , Paul Lorenzen, Oswald Schwemmer. Konstruktive Logi, Ethik und Wissenschaftstheorie. BI Hochschultaschenbücher, Band 700, Paul Lorenzen. Lehrbuch der konstruktiven Wissenschaftstheorie, Metzler Reprint, H. Wedekind, E. Ortner, R. Inhetveen. Informatik als Grundbildung. Informatik Spektrum, Springer, April 2004 H. v. Braun, MSP München; W. Hesse, Univ. Marburg; H.B. Kittlaus, SIZ Bonn; G. Scheschonk, C.I.T. Berlin. Ist die Welt objektorientiert? Von der natürlich-sprachlichen Weltsicht zum OO-Modell. Uni Marburg. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 77

74 Works at SMT so far AOSD, MDD: U. Aßmann. Invasive Software Composition. Springer, U. Aßmann, S. Zschaler, and G. Wagner. Ontologies, Meta-Models, and the Model-Driven Paradigm, Handbook on Ontologies and Software Engineering. pages Springer, J. Henriksson, J. Johannes, S. Zschaler, U. Aßmann. Reuseware adding modularity to your language of choice. Proc. of TOOLS EUROPE 2007: Spec Iss Journal of Object Technology, Roles and aspects in ontologies and metamodeling: U Aßmann, J Johannes, J Henriksson, and Ilie Savga. Composition of rule sets and ontologies. In F. Bry, editor, Reasoning Web, Second Int. Summer School 2006, number 4126 in LNCS, pages 68-92, Sept Springer. M. Pradel, J. Henriksson, and U. Aßmann. A good role model for ontologies: Collaborations. Int. Workshop on Semantic-Based Software Development. at OOPSLA 07, Montreal, Oct 22, Matthias Bräuer and Henrik Lochmann. Towards Semantic Integration of Multiple Domain-Specific Languages Using Ontological Foundations. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 78

75 Fakultät für Informatik Institut für Software- und Multimediatechnik The End