COERCE Software Existing Software KEY: Document Generated Software Simulationist Domain Expert User...
-
Upload
theodora-sherman -
Category
Documents
-
view
223 -
download
0
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