Generalized interface automata with multicast synchronization View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2014-10-24

AUTHORS

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun

ABSTRACT

Interface automata are one of the prominent formalisms for specifying interface behaviors of component-based systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability. More... »

PAGES

1-14

References to SciGraph publications

  • 2005-01-01. Interface-Based Design in ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS
  • 2002-10-24. Timed Interfaces in EMBEDDED SOFTWARE
  • 2001-09-27. Interface Theories for Component-Based Design in EMBEDDED SOFTWARE
  • 2005. 2/3 Alternating Simulation Between Interface Automata in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2003. A Process-Algebraic Language for Probabilistic I/O Automata in CONCUR 2003 - CONCURRENCY THEORY
  • 2005. Sociable Interfaces in FRONTIERS OF COMBINING SYSTEMS
  • 2004. Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 1998. Alternating refinement relations in CONCUR'98 CONCURRENCY THEORY
  • 2002-09-20. Synchronous and Bidirectional Component Interfaces in COMPUTER AIDED VERIFICATION
  • 2003. Resource Interfaces in EMBEDDED SOFTWARE
  • 2002-09-20. Interface Compatibility Checking for Software Modules in COMPUTER AIDED VERIFICATION
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s11704-014-4016-7

    DOI

    http://dx.doi.org/10.1007/s11704-014-4016-7

    DIMENSIONS

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


    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/10", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Technology", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1005", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Communications Technologies", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
              "id": "http://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, 100084, Beijing, China", 
                "Key Laboratory for Information System Security, Ministry of Education, 100084, Beijing, China", 
                "School of Software, Tsinghua University, 100084, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "He", 
            "givenName": "Fei", 
            "id": "sg:person.012660400766.65", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012660400766.65"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Electrical & Computer Engineering, Portland State University, 97207, Oregon, USA", 
              "id": "http://www.grid.ac/institutes/grid.262075.4", 
              "name": [
                "Department of Electrical & Computer Engineering, Portland State University, 97207, Oregon, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Song", 
            "givenName": "Xiaoyu", 
            "id": "sg:person.016014060175.88", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016014060175.88"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
              "id": "http://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, 100084, Beijing, China", 
                "Key Laboratory for Information System Security, Ministry of Education, 100084, Beijing, China", 
                "School of Software, Tsinghua University, 100084, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gu", 
            "givenName": "Ming", 
            "id": "sg:person.015646302766.82", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015646302766.82"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
              "id": "http://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, 100084, Beijing, China", 
                "Key Laboratory for Information System Security, Ministry of Education, 100084, Beijing, China", 
                "School of Software, Tsinghua University, 100084, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sun", 
            "givenName": "Jiaguang", 
            "id": "sg:person.011411464635.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bfb0055622", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050968218", 
              "https://doi.org/10.1007/bfb0055622"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45828-x_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053051693", 
              "https://doi.org/10.1007/3-540-45828-x_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11559306_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051289817", 
              "https://doi.org/10.1007/11559306_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11576280_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021131923", 
              "https://doi.org/10.1007/11576280_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/1-4020-3532-2_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053714289", 
              "https://doi.org/10.1007/1-4020-3532-2_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30482-1_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007379886", 
              "https://doi.org/10.1007/978-3-540-30482-1_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45657-0_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023503911", 
              "https://doi.org/10.1007/3-540-45657-0_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-45187-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050279455", 
              "https://doi.org/10.1007/978-3-540-45187-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-45212-6_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034896734", 
              "https://doi.org/10.1007/978-3-540-45212-6_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45657-0_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020714184", 
              "https://doi.org/10.1007/3-540-45657-0_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45449-7_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020181765", 
              "https://doi.org/10.1007/3-540-45449-7_11"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014-10-24", 
        "datePublishedReg": "2014-10-24", 
        "description": "Interface automata are one of the prominent formalisms for specifying interface behaviors of component-based systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s11704-014-4016-7", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1358305", 
            "issn": [
              "2095-2228", 
              "2095-2236"
            ], 
            "name": "Frontiers of Computer Science", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "9"
          }
        ], 
        "keywords": [
          "interface automata", 
          "component-based systems", 
          "prominent formalisms", 
          "communication mechanism", 
          "incremental design", 
          "independent implementability", 
          "automata", 
          "design methodology", 
          "multicast", 
          "communication", 
          "implementability", 
          "synchronization", 
          "theoretical results", 
          "formalism", 
          "interface behavior", 
          "system", 
          "paper", 
          "methodology", 
          "compatibility", 
          "design", 
          "refinement", 
          "results", 
          "behavior", 
          "mechanism", 
          "composition", 
          "multicast interface automata", 
          "classic interface automata", 
          "multicast communication mechanism", 
          "multicast synchronization"
        ], 
        "name": "Generalized interface automata with multicast synchronization", 
        "pagination": "1-14", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1015360242"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s11704-014-4016-7"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s11704-014-4016-7", 
          "https://app.dimensions.ai/details/publication/pub.1015360242"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-01-01T18:35", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_643.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s11704-014-4016-7"
      }
    ]
     

    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/s11704-014-4016-7'

    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/s11704-014-4016-7'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11704-014-4016-7'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11704-014-4016-7'


     

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

    157 TRIPLES      22 PREDICATES      65 URIs      46 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s11704-014-4016-7 schema:about anzsrc-for:10
    2 anzsrc-for:1005
    3 schema:author N38996aa097ad4bbda094d4b713c34c59
    4 schema:citation sg:pub.10.1007/1-4020-3532-2_3
    5 sg:pub.10.1007/11559306_5
    6 sg:pub.10.1007/11576280_13
    7 sg:pub.10.1007/3-540-45449-7_11
    8 sg:pub.10.1007/3-540-45657-0_34
    9 sg:pub.10.1007/3-540-45657-0_35
    10 sg:pub.10.1007/3-540-45828-x_9
    11 sg:pub.10.1007/978-3-540-30482-1_25
    12 sg:pub.10.1007/978-3-540-45187-7_13
    13 sg:pub.10.1007/978-3-540-45212-6_9
    14 sg:pub.10.1007/bfb0055622
    15 schema:datePublished 2014-10-24
    16 schema:datePublishedReg 2014-10-24
    17 schema:description Interface automata are one of the prominent formalisms for specifying interface behaviors of component-based systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.
    18 schema:genre article
    19 schema:inLanguage en
    20 schema:isAccessibleForFree false
    21 schema:isPartOf N58c41ec7d9804a13b7d595bf57f0eb2a
    22 N63228195a85941ea844fc59527c11616
    23 sg:journal.1358305
    24 schema:keywords automata
    25 behavior
    26 classic interface automata
    27 communication
    28 communication mechanism
    29 compatibility
    30 component-based systems
    31 composition
    32 design
    33 design methodology
    34 formalism
    35 implementability
    36 incremental design
    37 independent implementability
    38 interface automata
    39 interface behavior
    40 mechanism
    41 methodology
    42 multicast
    43 multicast communication mechanism
    44 multicast interface automata
    45 multicast synchronization
    46 paper
    47 prominent formalisms
    48 refinement
    49 results
    50 synchronization
    51 system
    52 theoretical results
    53 schema:name Generalized interface automata with multicast synchronization
    54 schema:pagination 1-14
    55 schema:productId Nc34ba1c546504da5b8604991c3412f72
    56 Ne3eb483bfb8f4bce9787291b8d72c2e3
    57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015360242
    58 https://doi.org/10.1007/s11704-014-4016-7
    59 schema:sdDatePublished 2022-01-01T18:35
    60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    61 schema:sdPublisher N024ca8c253804e8c9723617675e8d31f
    62 schema:url https://doi.org/10.1007/s11704-014-4016-7
    63 sgo:license sg:explorer/license/
    64 sgo:sdDataset articles
    65 rdf:type schema:ScholarlyArticle
    66 N024ca8c253804e8c9723617675e8d31f schema:name Springer Nature - SN SciGraph project
    67 rdf:type schema:Organization
    68 N38996aa097ad4bbda094d4b713c34c59 rdf:first sg:person.012660400766.65
    69 rdf:rest Nc572b4a84fed440cb9534c2a45fa4525
    70 N58c41ec7d9804a13b7d595bf57f0eb2a schema:volumeNumber 9
    71 rdf:type schema:PublicationVolume
    72 N63228195a85941ea844fc59527c11616 schema:issueNumber 1
    73 rdf:type schema:PublicationIssue
    74 N8d49628c0ff5427cbd1473e2465ccc48 rdf:first sg:person.015646302766.82
    75 rdf:rest Nc0768d2316484e93b2f507a3c4793877
    76 Nc0768d2316484e93b2f507a3c4793877 rdf:first sg:person.011411464635.59
    77 rdf:rest rdf:nil
    78 Nc34ba1c546504da5b8604991c3412f72 schema:name doi
    79 schema:value 10.1007/s11704-014-4016-7
    80 rdf:type schema:PropertyValue
    81 Nc572b4a84fed440cb9534c2a45fa4525 rdf:first sg:person.016014060175.88
    82 rdf:rest N8d49628c0ff5427cbd1473e2465ccc48
    83 Ne3eb483bfb8f4bce9787291b8d72c2e3 schema:name dimensions_id
    84 schema:value pub.1015360242
    85 rdf:type schema:PropertyValue
    86 anzsrc-for:10 schema:inDefinedTermSet anzsrc-for:
    87 schema:name Technology
    88 rdf:type schema:DefinedTerm
    89 anzsrc-for:1005 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Communications Technologies
    91 rdf:type schema:DefinedTerm
    92 sg:journal.1358305 schema:issn 2095-2228
    93 2095-2236
    94 schema:name Frontiers of Computer Science
    95 schema:publisher Springer Nature
    96 rdf:type schema:Periodical
    97 sg:person.011411464635.59 schema:affiliation grid-institutes:grid.12527.33
    98 schema:familyName Sun
    99 schema:givenName Jiaguang
    100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59
    101 rdf:type schema:Person
    102 sg:person.012660400766.65 schema:affiliation grid-institutes:grid.12527.33
    103 schema:familyName He
    104 schema:givenName Fei
    105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012660400766.65
    106 rdf:type schema:Person
    107 sg:person.015646302766.82 schema:affiliation grid-institutes:grid.12527.33
    108 schema:familyName Gu
    109 schema:givenName Ming
    110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015646302766.82
    111 rdf:type schema:Person
    112 sg:person.016014060175.88 schema:affiliation grid-institutes:grid.262075.4
    113 schema:familyName Song
    114 schema:givenName Xiaoyu
    115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016014060175.88
    116 rdf:type schema:Person
    117 sg:pub.10.1007/1-4020-3532-2_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053714289
    118 https://doi.org/10.1007/1-4020-3532-2_3
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/11559306_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051289817
    121 https://doi.org/10.1007/11559306_5
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/11576280_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021131923
    124 https://doi.org/10.1007/11576280_13
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/3-540-45449-7_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020181765
    127 https://doi.org/10.1007/3-540-45449-7_11
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/3-540-45657-0_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020714184
    130 https://doi.org/10.1007/3-540-45657-0_34
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/3-540-45657-0_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023503911
    133 https://doi.org/10.1007/3-540-45657-0_35
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/3-540-45828-x_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053051693
    136 https://doi.org/10.1007/3-540-45828-x_9
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/978-3-540-30482-1_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007379886
    139 https://doi.org/10.1007/978-3-540-30482-1_25
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/978-3-540-45187-7_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050279455
    142 https://doi.org/10.1007/978-3-540-45187-7_13
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/978-3-540-45212-6_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034896734
    145 https://doi.org/10.1007/978-3-540-45212-6_9
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/bfb0055622 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050968218
    148 https://doi.org/10.1007/bfb0055622
    149 rdf:type schema:CreativeWork
    150 grid-institutes:grid.12527.33 schema:alternateName School of Software, Tsinghua University, 100084, Beijing, China
    151 schema:name Key Laboratory for Information System Security, Ministry of Education, 100084, Beijing, China
    152 School of Software, Tsinghua University, 100084, Beijing, China
    153 Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, 100084, Beijing, China
    154 rdf:type schema:Organization
    155 grid-institutes:grid.262075.4 schema:alternateName Department of Electrical & Computer Engineering, Portland State University, 97207, Oregon, USA
    156 schema:name Department of Electrical & Computer Engineering, Portland State University, 97207, Oregon, USA
    157 rdf:type schema:Organization
     




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


    ...