System-Level Design Languages: Orthogonalizing the Issues. Kees Vissers

Transcription

1 System-Level Design Languages: Orthogonalizing the Issues Tom Henzinger Jörn W. Janneck Luciano Lavagno Edward Lee Alberto Sangiovanni-Vincentelli Kees Vissers Kees Vissers Ptolemy Miniconference Berkeley, CA, March 22-23, 2001 The GSRC Semantics Project The Problem: System Level Design Modeling Simulation Visualization Synthesis Verification Modularization The problem we are here to address is interoperability and design productivity. Not standardization. Ptolemy Miniconference, Berkeley, 2 1

2 Component-Based Design interoperability hierarchy modularity reusability Ptolemy Miniconference, Berkeley, 3 Interoperability Levels Code can be written to translate the data from one tool to be used by another. Tools can open each other s files and extract useful information (not necessarily all useful information). Tools can interoperate dynamically, exchanging information at run time. Ptolemy Miniconference, Berkeley, 4 2

3 Principle: Orthogonalize Concerns in System Level Design Languages Abstract Syntax Concrete Syntax Syntactic Transformations Type System Component Semantics Interaction Semantics Ptolemy Miniconference, Berkeley, 5 Abstract Syntax hierarchy connectivity Ptolemy Miniconference, Berkeley, 6 3

4 Concrete Syntaxes Persistent file formats Close to the abstract syntax Make it extensible to capture other aspects Enable design data exchange without customization of the tools Most language discussions focus on concrete syntaxes, which are arguably the least important part of the design Ptolemy Miniconference, Berkeley, 7 MoML An XML Concrete Syntax <?xml version="1.0" standalone="no"?> <!DOCTYPE model PUBLIC " " " "> <model name="top" class="path name"> <entity name="source" class="path name"> <port name="output"/> </entity> <entity name="sink" class="path name"> <port name="input"/> </entity> <relation name="r1" class="path name"/> <link port="source.output" relation="r1"/> <link port="sink.input" relation="r1"/> </model> Ptolemy Miniconference, Berkeley, 8 4

5 Component semantics Entities are: States? Processes? Threads? Differential equations? Constraints? Objects? Ptolemy Miniconference, Berkeley, 9 Producer Consumer example process { write(); } process { channel read(); port port } receiver Are actors active? passive? reactive? Are communications timed? synchronized? buffered? Ptolemy Miniconference, Berkeley, 10 5

6 Domains CSP concurrent threads with rendezvous CT continuous-time modeling DE discrete-event systems DT discrete time (cycle driven) PN process networks SDF synchronous dataflow SR synchronous/reactive Each of these defines a component ontology and an interaction semantics between components. There are many more possibilities! Ptolemy Miniconference, Berkeley, 11 Ptolemy Project: Research Ptolemy II A reference implementation Testbed for abstract syntax Block diagram MoML editor Mutable models Extensible type system Testbed for system-level type Ptolemy Miniconference, Berkeley, 12 6

7 Ptolemy: structure = definitions NamedObj CrossRefList Port -_r : Entity -_relationslist : CrossRefList +Port() +Port(w : Workspace) +Port(r : Entity, name : String) Entity r +connectedportlist() : List +insertlink(int : index, r : Relation) link Relation islinked(r : Relation) : boolean -_portlist: NamedList +Entity() e -_portlist : CrossRefList +linkedrelations() : Enumeration +Relation() +Entity(name : String) +Entity(w : Workspace, name : +link(r : Relation) +Relation(name : String) +numlinks() : int +Relation(w : Workspace, name : String) +connectedportlist() : List +setcontainer(c : Entity) link String) +connectionschanged(p : Port) +unlink(index :int) +linkedportlist() : List +unlink(r : Relation) +linkedportlist(except : Port) : List +getport(name : String) : Port +unlinkal() +linkedports() : Enumeration #_checkcontainer(r : Entity) +numlinks() :int +newport(name : String) : Port #_checklink(relation : Relation) +unlinkall() +portlist() : List +removeallports() portsinlist ComponentPort port list NamedList -_insidelinks : CrossRefList +ComponentPort() ComponentEntity ComponentPort(w : Workspace) +ComponentPort(r : ComponentEntity, name : String) -_r:compositeentity +deepconnectedportlist() : List deepinsideportlist() : List +ComponentEntity() +ComponentEntity(w : Workspace) +insideportlist() : List +ComponentEntity(r : CompositeEntity, name : String) +insiderelationlist() : List +isatomic() : boolean +isdeeplyconnected(p : ComponentPort) : boolean +isinsidelinked(r : Relation) : boolean +isopaque() : boolean +isopaque() : boolean +setcontainer(r : CompositeEntity) #_checkcontainer(r : CompositeEntity) +liberallink(r : Relation) +numinsidelinks() :int +unlinkallinside() e +unlinkinside(index : int) +unlinkinside(r : Relation) 0..1 r #_checkliberallink(relation:relation) CompositeEntity -_dentities: NamedList -_drelations:namedlist +CompositeEntity() +CompositeEntity(w : Workspace) +CompositeEntity(r : CompositeEntity, name : String) +allowlevelcrossingconnect(b : boolean) +connect(p1 : ComponentPort, p2 : ComponentPort) : ComponentRelation +connect(p1 : ComponentPort, p2 : ComponentPort, name : String) : ComponentRelation +deepentitylist() : List +entitylist() : List +entitylist(filter : Class) : List +exportlinks(indentation : int, filter : Collection) : String +getentity(name : String) : ComponentEntity +getrelation(name : String) : ComponentRelation +newrelation(name : String) : ComponentRelation +numentities() : int +numrelations() : int +relationlist() : List +removeallentities() +removeallrelations() #_addentity(entity : ComponentEntity) #_addrelation(relation: ComponentRelation) #_removeentity(entity : ComponentEntity) #_removerelation(relation: ComponentRelation) ComponentRelation -_r : CompositeEntity e +ComponentRelation() +ComponentRelation(w : Workspace) +ComponentRelation(r : CompositeEntity, name : String) +deeplinkedportlist() :List +setcontainer(r : CompositeEntity) #_checkcontainer(r : CompositeEntity) 0..1 r Ptolemy Miniconference, Berkeley, 13 Ptolemy: structure = definitions kernel NamedObj Port -_portlist : NamedList +Entity() +Entity(name : String) Entity +Entity(w : Workspace, name : String) +connectedportlist() : List +connectionschanged(p : Port) +getport(name : String) : Port +newport(name : String) : Port +portlist() : List +removeallports() r 0..1 e ports in list -_r : Entity -_relationslist : CrossRefList +Port() +Port(w : Workspace) +Port(r : Entity, name : String) +connectedportlist() : List +insertlink(int : index, r : Relation) +islinked(r : Relation) : boolean +linkedrelations() : Enumeration +link(r : Relation) +numlinks() : int +setcontainer(c : Entity) +unlink(index : int) +unlink(r : Relation) +unlinkall() #_checkcontainer(r : Entity) #_checklink(relation : Relation) Ptolemy Miniconference, Berkeley, 14 7