Tools2011 Keynote

SynchronizingModels and Code Oscar Nierstrasz Software Composition Group scg.unibe.ch TOOLS Europe 2011 Keynote

g nizin de chro CoSyn and lsM ode or: Mind the Gap Oscar Nierstrasz Software Composition Group scg.unibe.ch TOOLS Europe 2011 Keynote

Programming is Modeling

Programming is Modeling Mind the gap

Programming is Modeling Mind the gap Bridging the gaps

Programming is Modeling Mind the gap Bridging the gaps Lessons learned ...

Programming is Modeling

What exactly is“the OO paradigm”? 9

What exactly is“the OO paradigm”? Think about it ... 9

Reuse 10

Design 11

Encapsulation 12

Objects + Classes + Inheritance 13

Programs = Objects + Messages 14

Everything is an Object! 15

So, whatʼs missing? 16

“Design your own paradigm” 18

Itʼs all about enabling change 19

Mind the gap

Does this change respect the architecture? What does thispart depend on? Why is this code the way it is?Gap between Model and Code 21

What is the run-time architecture? Where is this feature?Gap between static and dynamic views 22

Gap between application and runtime How do I getunder the hood? 23

How do I migrate to a new, clean state? What codecaused this bug? Gap between past, present and future 24

How to bridge these gaps? 25

Bridging the gap

Bridging Models and Code

Moose is a platform forsoftware and data analysis www.moosetechnology.org 28

Model repositoryThe Story of Moose, ESEC/FSE 2005 29

Model repository Navigation Metrics Querying GroupingThe Story of Moose, ESEC/FSE 2005 29

Model repository Navigation Metrics Querying Grouping SmalltalkThe Story of Moose, ESEC/FSE 2005 29

ConAn Van Hapax ... CodeCrawler Model repository Navigation Metrics Querying Grouping SmalltalkThe Story of Moose, ESEC/FSE 2005 29

ConAn Van Hapax ... CodeCrawler Extensible meta model Model repository Navigation Metrics Querying Grouping SmalltalkThe Story of Moose, ESEC/FSE 2005 29

ConAn Van Hapax ... CodeCrawlerSmalltalk Extensible meta model Java Model repositoryCOBOL Navigation C++ Metrics … Querying Grouping Smalltalk The Story of Moose, ESEC/FSE 2005 29

ConAn Van Hapax ... CodeCrawlerSmalltalk Extensible meta model Java Model repositoryCOBOL External CDIF Navigation Parser C++ Metrics … Querying Grouping XMI Smalltalk The Story of Moose, ESEC/FSE 2005 29

System complexity 30

Clone evolution 31

Class blueprint 32

Topic correlation matrix 33

Distribution map(topics spread over classes in packages 34

Hierarchy evolution view 35

Ownership map 36

The problem with heterogeneous systems 38

Inheritance * * subclass superclass 0..1 implementation JEEBean Class 1 belongsTo * MethodEntity Session MessageDriven invokedBy candidate 1 Layer * * Invocation BelongsToData Business Presentation Service Logic 39

Start an unnecessary Starts UnnecessaryStart a Transactions Start Transactions TransactionsInheritTransactions Transactions Inherit Transactions Supports Transactions Support TransactionsNo attributes deﬁned No attributes DB Accessors Staring Data base accessorDB accessors Data base accessor a Transaction starting a transaction 40

Start an unnecessary Starts Unnecessary Start a Transactions Start Transactions Transactions InheritTransactions Transactions Inherit Transactions Supports Transactions Support Transactions No attributes deﬁned No attributes DB Accessors Staring Data base accessor DB accessors Data base accessor a Transaction starting a transactionRecovery and Analysis of Transaction Scope from Scattered Information in Java Enterprise Applications, ICSM 2010 41

Mondrian: An Agile Visualization Framework, SoftVis 2006 42

Embedding Languages without Breaking Tools. ECOOP 2010 44

Bridging Static and Dynamic Views

Live Feature Analysis with 47

Live Feature Analysis with Modeling Features at Runtime, MODELS 2010 50

Hermion — linking source code to runtime 518 3

Hermion — linking source code to runtime instrumented methods 518 3

Hermion — linking source code to runtime instrumented methodsnavigate to senders 518 3

Hermion — linking source code to runtime instrumented methodsnavigate to senders navigate to receivers 518 3

Hermion — linking source code to runtime instrumented methodsnavigate to senders navigate to receivers types bound to variables 518 3

Exploiting Dynamic Information in IDEs Improves Speed andCorrectness of Software Maintenance Tasks, IEEE TSE, to appear 528 3

Bridging the Application and Runtime

Problem: some errors arise after the bug is already off the stack 54

Object Flow Analysis adapts the VM Practical Object-Oriented Back-in-Time Debugging, ECOOP 2008. 55

an extensible VM for dynamic languages Interpreter extension interpretMethod: aMethod | result | result := super interpretMethod: aMethod. ^ assignSlot: aSlot to:result) (ReturnAlias alias: anAlias overrides | alias unwrappedSelf | environment: environment. unwrappedSelf := currentSelf value. Interpreter alias := (FieldWriteAlias alias: anAlias) environment environment: environment. interpret: aClosure alias predecessor: (aSlot readFrom: unwrappedSelf). ^ self send: (Message new selector: #value) ^ aSlot assign: alias on: unwrappedSelf to: aClosure asAliased implements nativelyC Core natives Pinocchio: Bringing Reﬂection to Life with First-Class Interpreters, OOPSLA Onward! 2010 56

Bridging Past, Present and Future

Releasebranch bug ﬁx 58

merged Deployed branchReleasebranch bug ﬁx 59

merged merged Deployed branchReleasebranch bug ﬁxDevelopment branch broken refactored mergedEncapsulating and Exploiting Change with Changeboxes, ICDL 2007 60

First-class contexts enable dynamic updates 61

First-class contexts enable dynamic updates bidirectional transformation d con text Ol Method Shared object Method has one identity aPage but two states … Method Method … w co ntext Ne ongoing ... 62

SCG Present and Past 63

Lessons learned ...

Less is More

Reify EverythingConAn Van Hapax ... CodeCrawler Extensible meta model Model repository Navigation Metrics Querying Grouping Smalltalk tex t O ld con Method Method Interpreter extension aPage … Method overrides Interpreter Method environment implements natively … ActiveContext xt conte C Core natives N ew

Link complementary views

You can change a running system n text Old co Method Interpreter extension Method aPage overrides … Method Interpreter environment Method implements natively … ActiveContext C Core natives xt ew conte N

Closing thoughts

Closing thoughts An object-oriented IDE

Closing thoughts Maintain the links

Closing thoughts Manipulate models, not code

Thatʼs all, Folks! Focus on change Maintain the linksAn object-oriented IDE Manipulate models, not code http://www.slideshare.net/onierstrasz

Tools2011 Keynote

by Oscar Nierstrasz on Jun 25, 2011

Accessibility

Categories

Upload Details

Usage Rights

1 Embed 2

Statistics

Tools2011 Keynote Presentation Transcript