RoSI Kickoff Meeting. Beyond Simple Objects

Transcription

1 Fakultät für Informatik Institut für Software- und Multimediatechnik RoSI Kickoff Meeting Beyond Simple Objects Prof. Dr. Uwe Aßmann Institut für Software- und Multimediatechnik (SMT) Fakultät für Informatik, TU Dresden , Nov 28, 2013

2 Fakultät für Informatik Institut für Software- und Multimediatechnik What is RoSI? The simple answer

3 The Simple Answer.. Luca Biada, CCBY-2.0, Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 3

4 Fakultät für Informatik Institut für Software- und Multimediatechnik Partitioning Objects and Types for Separation of Concerns the more complex answer...

5 Different Attributes :Person name = Peter taxid = marriedto = Silvie fatherto = Vanessa employeeof = Folgswagen heart = heart12303 knee = knee23 foodinstomach = apple age = grown-up Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 5

6 Different Attributes :Person name = Peter taxid = marriedto = Silvie fatherto = Vanessa employeeof = Folgswagen heart = heart12303 knee = knee23 foodinstomach = apple age = grown-up <<core>> <<roles>> <<intrinsic parts>> <<transient parts>> <<phases>> Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 6

7 Cores and Mixins ( Subobjects, Satellites ) :Person <<core>> name = Peter taxid = <<role>> marriedto = Silvie fatherto = Vanessa employeeof = Folgswagen <<transient part>> foodinstomach = apple <<intrinsic part>> heart = heart12303 knee = knee23 <<phase>> age = grown-up Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 7

8 Separation of Concerns with Roles: Distinguishing Life-Times Roles are contextually dependent (founded) Different life-time to the core Memory allocation must be different Roles Roles can can improve improve knowledge knowledge about about life-time life-time and and co-life-time co-life-time of of memory memory Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 8

9 Role Modelling Separate the functional core of an object of its context-based and fluid features Person Employee Employer Company plays-a plays-a Restrictions so far: only used in singular fields of Computer Science no cross-layer correspondance no formalization Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 9

10 Example: Business Objects Extend behavior dynamically by roles (context-based and fluid Typen) Person plays-a Customer Vendor plays-a Company Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 10

11 Example: Business Objects Extend behavior dynamically by roles (context-based and fluid types) Refinement by role inheritance Person plays-a Customer Vendor plays-a Company is-a Premium Customer is-a Long - Term Customer Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 11

12 Separation of Concerns with Roles: Alias Freedom and Data Independence Distinguish natural memory (core-local memory) founded memory (context-dependent memory) role-shared memory Core and role-local memory are alias free Shared memory is still problematic (competitive writes) Roles Roles can can improve improve knowledge knowledge about about life-time life-time and and independence independence of of objects objects Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 12

13 Separation of Concerns with Roles: Role-Based Contracts are Context-Based Contracts describe conditions for substitutability Life-time and Alias Independence enable Encapsulation Less dependence between parallel processes Roles Roles can can improve improve contract contract theory theory for for sequential sequential and and parallel parallel classes classes Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 13

14 RoSI Architectural Style for Parallel Programming How to find parallelism many-cores? Execute all role models and all objects in parallel Collaborations Collaborations are are natural natural parallel parallel units units with with local local memory memory Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 14

15 Role Types are Mixin Types; Mixin Types are Metatypes A metatype describes a type (is a type of a type) Natural Type Part Type Role Type Hypothesis: Hypothesis: The The distinction distinction of of metatypes metatypes promotes promotes Separations Separations of of Concerns. Concerns. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 15

16 Distinguishing Mixin Types ( Colors, Metatypes, Satellite Types ) Person <<natural type>> <<sortal>> name: String taxid: int <<role type>> marriedto: Person fatherto: Person employeeof: Company <<transient part type>> foodinstomach:food <<intrinsic part type>> heart: Heart knee: Knee <<phase type>> age: enum Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 16

17 Separation of Concerns Helps in Parallelism The distinction of mixin types (and metatypes) enables us to identify more natural parallelism because of SoC And bring it to run-time: Life-time, independence,. Cross-cutting: traceability, certification,... Roles Roles can can improve improve parallel parallel programming. programming. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 17

18 The Next Steps of OO: Three RoSI Object Models Cyber-Physical Objects (role contracts) with contracts on all qualitites and metatypes Metatype-based Objects (with mixins) of other metatypes (parts..) Amoeba Objects (memory roles) Memory-tuned Distributed Objects Memory-autotuned Distributed Objects Enterprise Objects Role-based Objects Record-based Objects Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 18

19 A Common Vision of the cfaed and RoSI Orchestration Path Distribution Tuning Layout Tuning Resilience Path Imprecision contracts for Resilience SMAGs ADL and infrastructure RoSI Life times of complex objects with OntoClean metatypes Separation of Concerns HAEC Quality Contracts Energy Contracts MQuAT Quality predicate dispatching Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 19

20 Dijkstra on Separation of Concerns Roles Roles and and mixins mixins introduce introduce separations separations of of concerns. concerns. E. W. Dijkstra On the Role of Scientific Thought, EWD 447 Selected Writings on Computing: A Personal Perspective, pages 60 66, "Let me try to explain to you, what to my taste is characteristic for all intelligent thinking. It is, that one is willing to study in depth an aspect of one's subject matter in isolation for the sake of its own consistency, all the time knowing that one is occupying oneself only with one of the aspects. Prof. Dr. U. Aßmann TU Dresden, Institut für Software- und Multimediatechnik 20

21 Hope... Luca Biada, CCBY-2.0, 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 The End