Vergil: Component-Based Design Environment

Size: px

Start display at page:

Download "Vergil: Component-Based Design Environment"

Dwain Newton
5 years ago
Views:

1 Vergil: Component-Based Design Environment Steve Neuendorffer Ptolemy Miniconference Berkeley, CA, March 22-23, 2001 Graph Editor editable model visualization A library of actors and directors hierarchical models atomic models Ptolemy Miniconference, Berkeley, 2 1

2 Why Component Based? Design Environment Design Tools Design Artifacts Ptolemy Miniconference, Berkeley, 3 Digital Design Tools Ptolemy Model Text View Tree View Graph View Ptolemy Miniconference, Berkeley, 4 2

3 Digital Design Artifacts HTML Document Ptolemy Model Text View Ptolemy Miniconference, Berkeley, 5 Design Environment Configuration Given a file, what type of artifact does the file contain? Given a digital artifact, what type of tool can manipulate it? Vergil configuration uses a Ptolemy Model! <?xml version="1.0" standalone="no"?> <!DOCTYPE entity PUBLIC "-//UC Berkeley//DTD MoML 1//EN" " <entity name="configuration" class="ptolemy.actor.gui.configuration"> <doc>configuration to edit and run Ptolemy II models</doc>  <entity name="directory" class="ptolemy.actor.gui.modeldirectory"/>  <entity name="effigyfactory" class="ptolemy.actor.gui.effigyfactory"> <entity name="graph Editor" class=" ptolemy.actor. gui.ptolemyeffigy$factory"> <entity name="blank" class="ptolemy.actor.typedcompositeactor"/> </entity> (etc.) Ptolemy Miniconference, Berkeley, 6 3

design artifacts, such as a Ptolemy model

4 Effigies An effigy represents an open design artifact Subclasses contains design artifacts, such as a Ptolemy model or an HTML string Ptolemy Miniconference, Berkeley, 7 Tableaux Every design tool displaying an Effigy is represented by a Tableau. Subclasses for the Graph Editor, Icon Editor, etc. Ptolemy Miniconference, Berkeley, 8 4

5 Model Directory The model directory contains all of the open effigies and tableaux. Effigies are indexed from the location they were loaded from. ModelDirectory +ModelDirectory(container : Configuration, name : String) +geteffigy(identifier : String) : Effigy 1..n 1..1 Effigy n n Tableau Ptolemy Miniconference, Berkeley, 9 Configurations EffigyFactories create effigies for a file. TableauFactories create tableaux for an effigy. Alternate configurations customize interaction and integrate new tools. CompositeEntity Configuration 1..1 actor library 1..1 directory ModelDirectory EffigyFactory effigyfactory tableaufactory TableauFactory Ptolemy Miniconference, Berkeley, 10 5

Vergil configuration! <!ELEMENT class (class configure deleteentity deleteport deleterelation director doc entity group import input link port property relation rename rendition unlink)*> <!

6 Vergil Configuration Effigy factories Tableau factories But how do we build the design tools themselves? Ptolemy Miniconference, Berkeley, 11 MoML Concrete Syntax in XML for describing component architectures Support for class derivation and modification Represents all Ptolemy models, including the Vergil configuration! <!ELEMENT class (class configure deleteentity deleteport deleterelation director doc entity group import input link port property relation rename rendition unlink)*> <!ATTLIST class name CDATA #REQUIRED extends CDATA #IMPLIED source CDATA #IMPLIED> <!ELEMENT configure (#PCDATA)> <!ATTLIST configure source CDATA #IMPLIED> <!ELEMENT deleteentity EMPTY> <!ATTLIST deleteentity name CDATA #REQUIRED> <!ELEMENT deleteport EMPTY> <!ATTLIST deleteport name CDATA #REQUIRED> <!ELEMENT deleteproperty EMPTY> <!ATTLIST deleteproperty name CDATA #REQUIRED> <!ELEMENT deleterelation EMPTY> <!ATTLIST deleterelation name CDATA #REQUIRED> <!ELEMENT doc (#PCDATA)> <!ATTLIST doc name CDATA #IMPLIED> <!ELEMENT entity (class configure deleteentity deleteport deleterelation director doc entity group import input link port property relation rename rendition unlink)*> <!ATTLIST entity name CDATA #REQUIRED class CDATA #IMPLIED source CDATA #IMPLIED> <!ELEMENT group ANY> <!ATTLIST group name CDATA #IMPLIED> <!ELEMENT input EMPTY> <!ATTLIST input source CDATA #REQUIRED> <!ELEMENT link EMPTY> <!ATTLIST link insertat CDATA #IMPLIED port CDATA #REQUIRED relation CDATA #REQUIRED vertex CDATA #IMPLIED> <!ELEMENT port (configure doc property rename)*> <!ATTLIST port class CDATA #IMPLIED name CDATA #REQUIRED> <!ELEMENT property (configure doc property rename)*> <!ATTLIST property class CDATA #IMPLIED name CDATA #REQUIRED value CDATA #IMPLIED> <!ELEMENT relation (configure doc property rename vertex)*> <!ATTLIST relation name CDATA #REQUIRED class CDATA #IMPLIED> <!ELEMENT rename EMPTY> <!ATTLIST rename name CDATA #REQUIRED> <!ELEMENT unlink EMPTY> <!ATTLIST unlink index CDATA #IMPLIED insideindex CDATA #IMPLIED port CDATA #REQUIRED relation CDATA #REQUIRED> <!ELEMENT vertex (configure doc location property rename)*> <!ATTLIST vertex name CDATA #REQUIRED pathto CDATA #IMPLIED value CDATA #IMPLIED> Ptolemy Miniconference, Berkeley, 12 6

7 Graph Visualization in Diva Interactors specify how mouse events are handled. Renderers specify how nodes and edges appear. Other nice things: Context Menus Automatic Layout Cut and Paste Printing Direct Manipulation Ptolemy Miniconference, Berkeley, 13 Direct Manipulation Editing MoMLChangeRequest <port name="input /> Specified in MoML Requests are queued and executed when possible Graph Editor listens for mutations Allows dynamically edit executing models! Ptolemy Miniconference, Berkeley, 14 7

Graph Editor Configuration Java Interfaces Placeable actors Attributes of the Vergil Configuration Actor libraries Parameter Styles Attributes of the Model Parameter Styles Ptolemy Miniconference,

8 Graph Editor Configuration Java Interfaces Placeable actors Attributes of the Vergil Configuration Actor libraries Parameter Styles Attributes of the Model Parameter Styles Ptolemy Miniconference, Berkeley, 15 User Interfaces for Actors Actors with specialized interaction implement the Placeable interface. public class Plotter extends TypedAtomicActor implements Configurable, Placeable { public void place(container container) { } } Ptolemy Miniconference, Berkeley, 16 8

9 Actor Libraries Objects specified in the Configuration are available in the Palette. <entity name="sources" class="ptolemy.moml.entitylibrary"> <doc>domain-polymorphic sources</doc> <entity name="bernoulli" class="ptolemy.actor.lib.bernoulli"/> <entity name="clock" class="ptolemy.actor.lib.clock"/> <entity name="const" class="ptolemy.actor.lib.const"/> <entity name="currenttime" class="ptolemy.actor.lib.currenttime"/>.. </entity> Ptolemy Miniconference, Berkeley, 17 Parameter Styles Attributes in a model, or the configuration specify the style of parameter editing. <property name="ct" class="ptolemy.domains.ct.kernel.ctmixedsignaldirector"> <property name="odesolver"> <property name="style" class="ptolemy.actor.gui.style.editablechoicestyle"> <property name="choice0" class="ptolemy.data.expr.parameter" value=""ptolemy.domains.ct.kernel.solver.explicitrk23solver""/> <property name="choice1" class="ptolemy.data.expr.parameter" value=""ptolemy.domains.ct.kernel.solver.backwardeulersolver""/> <property name="choice2" class="ptolemy.data.expr.parameter" value=""ptolemy.domains.ct.kernel.solver.forwardeulersolver""/> </property> </property> </property> Ptolemy Miniconference, Berkeley, 18 9

10 Current Research Meta-Modeling of diagrams. Such as in Dome, GME, Moses. Applying Models of Computation to interacting design tools More than just Design Flow Management. Ptolemy Miniconference, Berkeley, 19 Meta-Modeling Diagram structure specified using a description language. «composite node» Entity «node» Relation «node» Port «edge» Connection «node» External Port Ptolemy Miniconference, Berkeley, 20 10

11 Tool Configuration Design Space Exploration Graph Editor Performance Performance Metrics Metrics Debugger Code Generator Ptolemy Miniconference, Berkeley, 21 Tool Interaction Design Space Exploration Graph Editor Performance Performance Metrics Metrics Debugger Code Generator Ptolemy Miniconference, Berkeley, 22 11

12 Tool Model???Director Design Space Exploration Graph Editor Performance Performance Metrics Metrics Debugger Code Generator Ptolemy Miniconference, Berkeley, 23 Conclusion An extensible design environment for integrating arbitrary digital design tools Configuration is a Ptolemy model Creating digital tools should be simple Especially graphical, direct manipulation tools User Interfaces could be a rich new area for the application of models of computation JavaBeans done right Ptolemy Miniconference, Berkeley, 24 12

The Gigascale Silicon Research Center

The Gigascale Silicon Research Center The GSRC Semantics Project Tom Henzinger Luciano Lavagno Edward Lee Alberto Sangiovanni-Vincentelli Kees Vissers Edward A. Lee UC Berkeley What is GSRC? The MARCO/DARPA