Actors without Directors: A Kahnian View of Heterogeneous Systems View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2009

AUTHORS

P. Caspi , A. Benveniste , R. Lublinerman , S. Tripakis

ABSTRACT

This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant functional theory of deterministic tag systems that is a generalisation of Kahn Process Network theory (KPN). Our theory extends KPN by encompassing networks of processes labelled by tags from partially ordered sets and makes deeper use of Scott theory of Complete Partial Orders (CPO). Since CPO compose well under direct sums, heterogeneous systems are simply captured by direct sums of homogeneous systems, which are in turn constructed by connecting systems over different tag sets by means of tag conversion processes. For the (large) class of tag systems of “stream” type, we show how to define tag conversion processes and how to implement process communication. The resulting architecture is fully decentralised and does not require Ptolemy’s directors. Last but not least, it provides distribution for free. More... »

PAGES

46-60

References to SciGraph publications

  • 2000-10. An Implementation of Constructive Synchronous Programs in POLIS in FORMAL METHODS IN SYSTEM DESIGN
  • 2003. On the Causality of Mixed-Signal and Hybrid Models in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • Book

    TITLE

    Hybrid Systems: Computation and Control

    ISBN

    978-3-642-00601-2
    978-3-642-00602-9

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-00602-9_4

    DOI

    http://dx.doi.org/10.1007/978-3-642-00602-9_4

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1034107131


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Verimag", 
              "id": "https://www.grid.ac/institutes/grid.464170.0", 
              "name": [
                "Verimag, Grenoble, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Caspi", 
            "givenName": "P.", 
            "id": "sg:person.010062202103.20", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010062202103.20"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "INRIA/IRISA, Rennes, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Benveniste", 
            "givenName": "A.", 
            "id": "sg:person.011174600625.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Pennsylvania State University", 
              "id": "https://www.grid.ac/institutes/grid.29857.31", 
              "name": [
                "Pennsylvania State University, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Lublinerman", 
            "givenName": "R.", 
            "id": "sg:person.016126535545.38", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016126535545.38"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Verimag", 
              "id": "https://www.grid.ac/institutes/grid.464170.0", 
              "name": [
                "Verimag, Grenoble, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Tripakis", 
            "givenName": "S.", 
            "id": "sg:person.014143517655.12", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014143517655.12"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-36580-x_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014141843", 
              "https://doi.org/10.1007/3-540-36580-x_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1289927.1289949", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018037312"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2008.08.044", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020250205"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-6423(02)00096-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025219485"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-6423(02)00096-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025219485"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1289971.1289981", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043436900"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1159/000093688", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044475142"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1376804.1376811", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048171026"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1008796718837", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051890430", 
              "https://doi.org/10.1023/a:1008796718837"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/43.736561", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061173935"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.97297", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061180431"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0205037", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841323"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sefm.2006.27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093356181"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2009", 
        "datePublishedReg": "2009-01-01", 
        "description": "This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant functional theory of deterministic tag systems that is a generalisation of Kahn Process Network theory (KPN). Our theory extends KPN by encompassing networks of processes labelled by tags from partially ordered sets and makes deeper use of Scott theory of Complete Partial Orders (CPO). Since CPO compose well under direct sums, heterogeneous systems are simply captured by direct sums of homogeneous systems, which are in turn constructed by connecting systems over different tag sets by means of tag conversion processes. For the (large) class of tag systems of \u201cstream\u201d type, we show how to define tag conversion processes and how to implement process communication. The resulting architecture is fully decentralised and does not require Ptolemy\u2019s directors. Last but not least, it provides distribution for free.", 
        "editor": [
          {
            "familyName": "Majumdar", 
            "givenName": "Rupak", 
            "type": "Person"
          }, 
          {
            "familyName": "Tabuada", 
            "givenName": "Paulo", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-00602-9_4", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-642-00601-2", 
            "978-3-642-00602-9"
          ], 
          "name": "Hybrid Systems: Computation and Control", 
          "type": "Book"
        }, 
        "name": "Actors without Directors: A Kahnian View of Heterogeneous Systems", 
        "pagination": "46-60", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1034107131"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-00602-9_4"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "a279c89985834edc116d322cd68241e9b29bfdf8fd862dbdf6da02720f20df43"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-00602-9_4", 
          "https://app.dimensions.ai/details/publication/pub.1034107131"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T07:16", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000353_0000000353/records_45376_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-642-00602-9_4"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00602-9_4'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00602-9_4'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00602-9_4'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00602-9_4'


     

    This table displays all metadata directly associated to this object as RDF triples.

    134 TRIPLES      23 PREDICATES      39 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-00602-9_4 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N915a281ede654e06bf9d8aababdb13d2
    4 schema:citation sg:pub.10.1007/3-540-36580-x_25
    5 sg:pub.10.1023/a:1008796718837
    6 https://doi.org/10.1016/j.tcs.2008.08.044
    7 https://doi.org/10.1016/s0167-6423(02)00096-5
    8 https://doi.org/10.1109/43.736561
    9 https://doi.org/10.1109/5.97297
    10 https://doi.org/10.1109/sefm.2006.27
    11 https://doi.org/10.1137/0205037
    12 https://doi.org/10.1145/1289927.1289949
    13 https://doi.org/10.1145/1289971.1289981
    14 https://doi.org/10.1145/1376804.1376811
    15 https://doi.org/10.1159/000093688
    16 schema:datePublished 2009
    17 schema:datePublishedReg 2009-01-01
    18 schema:description This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant functional theory of deterministic tag systems that is a generalisation of Kahn Process Network theory (KPN). Our theory extends KPN by encompassing networks of processes labelled by tags from partially ordered sets and makes deeper use of Scott theory of Complete Partial Orders (CPO). Since CPO compose well under direct sums, heterogeneous systems are simply captured by direct sums of homogeneous systems, which are in turn constructed by connecting systems over different tag sets by means of tag conversion processes. For the (large) class of tag systems of “stream” type, we show how to define tag conversion processes and how to implement process communication. The resulting architecture is fully decentralised and does not require Ptolemy’s directors. Last but not least, it provides distribution for free.
    19 schema:editor N20f95b1048df418c9e82f9974c6f7885
    20 schema:genre chapter
    21 schema:inLanguage en
    22 schema:isAccessibleForFree true
    23 schema:isPartOf N4c98f108e199471487d07b0772e5050c
    24 schema:name Actors without Directors: A Kahnian View of Heterogeneous Systems
    25 schema:pagination 46-60
    26 schema:productId N6386a7f2aec34ca4ba6f8d38d5e389b1
    27 Nb1d236a9db7142f39ffbde17622d5f39
    28 Nd02e3f4295524c5ca4da5fcf9dd6297c
    29 schema:publisher N0b20cd41532d4873ad6844dc07f00430
    30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034107131
    31 https://doi.org/10.1007/978-3-642-00602-9_4
    32 schema:sdDatePublished 2019-04-16T07:16
    33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    34 schema:sdPublisher N01959f57aeea4da6a44848ca9d5dd41a
    35 schema:url https://link.springer.com/10.1007%2F978-3-642-00602-9_4
    36 sgo:license sg:explorer/license/
    37 sgo:sdDataset chapters
    38 rdf:type schema:Chapter
    39 N01959f57aeea4da6a44848ca9d5dd41a schema:name Springer Nature - SN SciGraph project
    40 rdf:type schema:Organization
    41 N0b20cd41532d4873ad6844dc07f00430 schema:location Berlin, Heidelberg
    42 schema:name Springer Berlin Heidelberg
    43 rdf:type schema:Organisation
    44 N1cc1df83ad334b758dbb23abd9d30de0 rdf:first sg:person.016126535545.38
    45 rdf:rest N58cfaed34aae495cb64ef70a695a5aa6
    46 N20f95b1048df418c9e82f9974c6f7885 rdf:first N81f417f28e4c4d118c07100776007a90
    47 rdf:rest Nbd42434781754178aa0ce6ff814c5da2
    48 N22ba10cc139446cba59114bc184e6a46 schema:name INRIA/IRISA, Rennes, France
    49 rdf:type schema:Organization
    50 N2c3dbc41ef6b4493ab93e99788882cf1 rdf:first sg:person.011174600625.42
    51 rdf:rest N1cc1df83ad334b758dbb23abd9d30de0
    52 N4c98f108e199471487d07b0772e5050c schema:isbn 978-3-642-00601-2
    53 978-3-642-00602-9
    54 schema:name Hybrid Systems: Computation and Control
    55 rdf:type schema:Book
    56 N58cfaed34aae495cb64ef70a695a5aa6 rdf:first sg:person.014143517655.12
    57 rdf:rest rdf:nil
    58 N6386a7f2aec34ca4ba6f8d38d5e389b1 schema:name doi
    59 schema:value 10.1007/978-3-642-00602-9_4
    60 rdf:type schema:PropertyValue
    61 N81f417f28e4c4d118c07100776007a90 schema:familyName Majumdar
    62 schema:givenName Rupak
    63 rdf:type schema:Person
    64 N915a281ede654e06bf9d8aababdb13d2 rdf:first sg:person.010062202103.20
    65 rdf:rest N2c3dbc41ef6b4493ab93e99788882cf1
    66 N9fc241b2fdca4fed8e66c7ea335b26ae schema:familyName Tabuada
    67 schema:givenName Paulo
    68 rdf:type schema:Person
    69 Nb1d236a9db7142f39ffbde17622d5f39 schema:name readcube_id
    70 schema:value a279c89985834edc116d322cd68241e9b29bfdf8fd862dbdf6da02720f20df43
    71 rdf:type schema:PropertyValue
    72 Nbd42434781754178aa0ce6ff814c5da2 rdf:first N9fc241b2fdca4fed8e66c7ea335b26ae
    73 rdf:rest rdf:nil
    74 Nd02e3f4295524c5ca4da5fcf9dd6297c schema:name dimensions_id
    75 schema:value pub.1034107131
    76 rdf:type schema:PropertyValue
    77 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Information and Computing Sciences
    79 rdf:type schema:DefinedTerm
    80 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Information Systems
    82 rdf:type schema:DefinedTerm
    83 sg:person.010062202103.20 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
    84 schema:familyName Caspi
    85 schema:givenName P.
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010062202103.20
    87 rdf:type schema:Person
    88 sg:person.011174600625.42 schema:affiliation N22ba10cc139446cba59114bc184e6a46
    89 schema:familyName Benveniste
    90 schema:givenName A.
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    92 rdf:type schema:Person
    93 sg:person.014143517655.12 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
    94 schema:familyName Tripakis
    95 schema:givenName S.
    96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014143517655.12
    97 rdf:type schema:Person
    98 sg:person.016126535545.38 schema:affiliation https://www.grid.ac/institutes/grid.29857.31
    99 schema:familyName Lublinerman
    100 schema:givenName R.
    101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016126535545.38
    102 rdf:type schema:Person
    103 sg:pub.10.1007/3-540-36580-x_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014141843
    104 https://doi.org/10.1007/3-540-36580-x_25
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1023/a:1008796718837 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051890430
    107 https://doi.org/10.1023/a:1008796718837
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1016/j.tcs.2008.08.044 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020250205
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1016/s0167-6423(02)00096-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025219485
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.1109/43.736561 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061173935
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1109/5.97297 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180431
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1109/sefm.2006.27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093356181
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1137/0205037 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841323
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1145/1289927.1289949 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018037312
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1145/1289971.1289981 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043436900
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1145/1376804.1376811 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048171026
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1159/000093688 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044475142
    128 rdf:type schema:CreativeWork
    129 https://www.grid.ac/institutes/grid.29857.31 schema:alternateName Pennsylvania State University
    130 schema:name Pennsylvania State University, USA
    131 rdf:type schema:Organization
    132 https://www.grid.ac/institutes/grid.464170.0 schema:alternateName Verimag
    133 schema:name Verimag, Grenoble, France
    134 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...