COERCE Software Existing Software KEY: Document Generated Software Simulationist Domain Expert User...

Post on 14-Jan-2016

223 views 0 download

Tags:

Transcript of COERCE Software Existing Software KEY: Document Generated Software Simulationist Domain Expert User...

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation without COERCE

talks

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation without COERCE

COERCESoftware

talks

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

modifies SourceCode

Simulation Adaptation without COERCE

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

modifies

Compiler

Simulation Adaptation without COERCE

talks

uses

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

modifies

Compiler

reads

ProgramInstance

writes

Simulation Adaptation without COERCE

talks

uses

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Compiler

reads

ProgramInstance

writes

runs, observes

Simulation Adaptation without COERCE

talks

modifies

uses

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Compiler

reads

ProgramInstance

writes

runs, observes

Simulation Adaptation without COERCE

talks

modifies

uses

... and repeatuntil the programinstance fulfillsthe requirements.

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

talks

COERCESoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

uses

talks

ExistingSoftware

uses

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

usesFlex MLLibraries

SAX, DOMLibraries

writes Flex MLDocument

calls

talks

uses

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

usesFlex MLLibraries

SAX, DOMLibraries

writes Flex MLDocument

calls

talks

uses

Do we manuallymodify orautomaticallysearch?

COERCESoftware

ExistingSoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

usesFlex MLLibraries

SAX, DOMLibraries

writes Flex MLDocument

calls

talks

uses

modifies

COERCESoftware

OptimizationGUI

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

SAX, DOMLibraries

Flex MLDocument

uses

talks

uses writescalls

ExistingSoftware

uses

modifies

COERCESoftware

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

SAX, DOMLibraries

Flex MLDocument

calls

talks

uses

uses

writescalls

ExistingSoftware

uses

modifies

COERCESoftware

OptimizationGUI

OptimizationLibraries

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

SAX, DOMLibraries

readsFlex ML

Document

calls

talks

uses

calls

uses

writescalls

ExistingSoftware

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

calls

uses

ConstraintChecker

writescalls

SAX, DOMLibraries

ExistingSoftware

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

calls

uses

ConstraintChecker

ExistingSoftware

writescalls

SAX, DOMLibraries

calls

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

KEY: DocumentGeneratedSoftware

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writescalls

SAX, DOMLibraries

calls

ExistingSoftware

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

KEY: Document

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

modifies

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

talks

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes

modifies

talks

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes

modifies

talks

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes

modifies

talks

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

Do we manuallymodify orautomaticallysearch?

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes

talks

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

modifies

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes

modifies

talks

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes

modifies

talks

KEY: Document

ProgramInstance

Simulationist

DomainExpert

User

SourceCode

Simulation Adaptation with COERCE

Flex MLEditor

Swing GUILibraries

Flex MLLibraries

Flex MLDocument

calls

uses

uses

calls

uses

InstanceGenerator

ConstraintChecker

BeautyJLibraries

writes

calls

SAX, DOMLibraries

calls

ExistingSoftware

GeneratedSoftware

writescalls

uses

... and repeatuntil the programinstance fulfillsthe requirements.

OptimizationGUI

COERCESoftware

OptimizationLibraries

reads

reads

observes