DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2002-05

AUTHORS

Jean-Luc Paillet, Norbert Giambiasi

ABSTRACT

In this paper, we present DECM (Discrete Event Calculus Model), an original discrete event mathematical model for the specification of control systems at a high level of abstraction. Because the concept of event is more natural for nonspecialists than the concept of state, the proposed model is centered on the latter concept. This in turn permits the expression of asynchronous behavior without relying on the classical concept of state. In addition, DECM-based formalism offers an explicit representation of time that allows the use of timed simulations for the validation of formal specifications. This formalism is illustrated on a real-world industrial example. More... »

PAGES

27-81

References to SciGraph publications

  • 1992. An overview and synthesis on timed process algebras in COMPUTER AIDED VERIFICATION
  • 1997. A Formal System for Correct Hardware Design in EMBEDDED SYSTEM APPLICATIONS
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1023/a:1015548507922

    DOI

    http://dx.doi.org/10.1023/a:1015548507922

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "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": "Laboratoire des Sciences de l'Information et des Syst\u00e8mes", 
              "id": "https://www.grid.ac/institutes/grid.462878.7", 
              "name": [
                "Laboratoire des Sciences de l'Information et des Syst\u00e8mes, avenue Escadrille Normandie\u2013Niemen, 13387, Marseille, Cedex 20, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Paillet", 
            "givenName": "Jean-Luc", 
            "id": "sg:person.015127355031.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015127355031.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire des Sciences de l'Information et des Syst\u00e8mes", 
              "id": "https://www.grid.ac/institutes/grid.462878.7", 
              "name": [
                "Laboratoire des Sciences de l'Information et des Syst\u00e8mes, avenue Escadrille Normandie\u2013Niemen, 13387, Marseille, Cedex 20, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Giambiasi", 
            "givenName": "Norbert", 
            "id": "sg:person.016646111315.77", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016646111315.77"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/0167-6423(92)90005-v", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000026084"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4757-2574-2_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013107756", 
              "https://doi.org/10.1007/978-1-4757-2574-2_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(94)90010-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029576598"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-55179-4_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049990209", 
              "https://doi.org/10.1007/3-540-55179-4_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/9789812831583_0008", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1088702098"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/9789812831583_0009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1088702099"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2002-05", 
        "datePublishedReg": "2002-05-01", 
        "description": "In this paper, we present DECM (Discrete Event Calculus Model), an original discrete event mathematical model for the specification of control systems at a high level of abstraction. Because the concept of event is more natural for nonspecialists than the concept of state, the proposed model is centered on the latter concept. This in turn permits the expression of asynchronous behavior without relying on the classical concept of state. In addition, DECM-based formalism offers an explicit representation of time that allows the use of timed simulations for the validation of formal specifications. This formalism is illustrated on a real-world industrial example.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1023/a:1015548507922", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1135942", 
            "issn": [
              "0921-0296", 
              "1573-0409"
            ], 
            "name": "Journal of Intelligent & Robotic Systems", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "34"
          }
        ], 
        "name": "DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems", 
        "pagination": "27-81", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "6f9139970a2d6afee4aa4d6118b19fdcd263a4569115804980ff7aca70938488"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1023/a:1015548507922"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1023417376"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1023/a:1015548507922", 
          "https://app.dimensions.ai/details/publication/pub.1023417376"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T17:24", 
        "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/0000000001_0000000264/records_8672_00000481.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1023/A:1015548507922"
      }
    ]
     

    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.1023/a:1015548507922'

    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.1023/a:1015548507922'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1015548507922'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1015548507922'


     

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

    88 TRIPLES      21 PREDICATES      33 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1023/a:1015548507922 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Nadebc8a249ef4d2cb5827551b694cd53
    4 schema:citation sg:pub.10.1007/3-540-55179-4_36
    5 sg:pub.10.1007/978-1-4757-2574-2_5
    6 https://doi.org/10.1016/0167-6423(92)90005-v
    7 https://doi.org/10.1016/0304-3975(94)90010-8
    8 https://doi.org/10.1142/9789812831583_0008
    9 https://doi.org/10.1142/9789812831583_0009
    10 schema:datePublished 2002-05
    11 schema:datePublishedReg 2002-05-01
    12 schema:description In this paper, we present DECM (Discrete Event Calculus Model), an original discrete event mathematical model for the specification of control systems at a high level of abstraction. Because the concept of event is more natural for nonspecialists than the concept of state, the proposed model is centered on the latter concept. This in turn permits the expression of asynchronous behavior without relying on the classical concept of state. In addition, DECM-based formalism offers an explicit representation of time that allows the use of timed simulations for the validation of formal specifications. This formalism is illustrated on a real-world industrial example.
    13 schema:genre research_article
    14 schema:inLanguage en
    15 schema:isAccessibleForFree false
    16 schema:isPartOf Ncf23fca29cba4a939c758ff7097cf7c5
    17 Ned5415dfe6e94ee48243a0b81f0f3b2e
    18 sg:journal.1135942
    19 schema:name DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
    20 schema:pagination 27-81
    21 schema:productId N45b284eb139f436e8d96f198922740ae
    22 Nb7aa42dc517d4b2685ac053388823402
    23 Nc46bf3227adc40dc8ceab09928748ddd
    24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023417376
    25 https://doi.org/10.1023/a:1015548507922
    26 schema:sdDatePublished 2019-04-10T17:24
    27 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    28 schema:sdPublisher N345bb357cbc8448baa8d174ac50e2c22
    29 schema:url http://link.springer.com/10.1023/A:1015548507922
    30 sgo:license sg:explorer/license/
    31 sgo:sdDataset articles
    32 rdf:type schema:ScholarlyArticle
    33 N345bb357cbc8448baa8d174ac50e2c22 schema:name Springer Nature - SN SciGraph project
    34 rdf:type schema:Organization
    35 N45b284eb139f436e8d96f198922740ae schema:name doi
    36 schema:value 10.1023/a:1015548507922
    37 rdf:type schema:PropertyValue
    38 N76d17e7131004b2db517ad1b5df99282 rdf:first sg:person.016646111315.77
    39 rdf:rest rdf:nil
    40 Nadebc8a249ef4d2cb5827551b694cd53 rdf:first sg:person.015127355031.42
    41 rdf:rest N76d17e7131004b2db517ad1b5df99282
    42 Nb7aa42dc517d4b2685ac053388823402 schema:name dimensions_id
    43 schema:value pub.1023417376
    44 rdf:type schema:PropertyValue
    45 Nc46bf3227adc40dc8ceab09928748ddd schema:name readcube_id
    46 schema:value 6f9139970a2d6afee4aa4d6118b19fdcd263a4569115804980ff7aca70938488
    47 rdf:type schema:PropertyValue
    48 Ncf23fca29cba4a939c758ff7097cf7c5 schema:volumeNumber 34
    49 rdf:type schema:PublicationVolume
    50 Ned5415dfe6e94ee48243a0b81f0f3b2e schema:issueNumber 1
    51 rdf:type schema:PublicationIssue
    52 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    53 schema:name Information and Computing Sciences
    54 rdf:type schema:DefinedTerm
    55 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    56 schema:name Computer Software
    57 rdf:type schema:DefinedTerm
    58 sg:journal.1135942 schema:issn 0921-0296
    59 1573-0409
    60 schema:name Journal of Intelligent & Robotic Systems
    61 rdf:type schema:Periodical
    62 sg:person.015127355031.42 schema:affiliation https://www.grid.ac/institutes/grid.462878.7
    63 schema:familyName Paillet
    64 schema:givenName Jean-Luc
    65 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015127355031.42
    66 rdf:type schema:Person
    67 sg:person.016646111315.77 schema:affiliation https://www.grid.ac/institutes/grid.462878.7
    68 schema:familyName Giambiasi
    69 schema:givenName Norbert
    70 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016646111315.77
    71 rdf:type schema:Person
    72 sg:pub.10.1007/3-540-55179-4_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049990209
    73 https://doi.org/10.1007/3-540-55179-4_36
    74 rdf:type schema:CreativeWork
    75 sg:pub.10.1007/978-1-4757-2574-2_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013107756
    76 https://doi.org/10.1007/978-1-4757-2574-2_5
    77 rdf:type schema:CreativeWork
    78 https://doi.org/10.1016/0167-6423(92)90005-v schema:sameAs https://app.dimensions.ai/details/publication/pub.1000026084
    79 rdf:type schema:CreativeWork
    80 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
    81 rdf:type schema:CreativeWork
    82 https://doi.org/10.1142/9789812831583_0008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1088702098
    83 rdf:type schema:CreativeWork
    84 https://doi.org/10.1142/9789812831583_0009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1088702099
    85 rdf:type schema:CreativeWork
    86 https://www.grid.ac/institutes/grid.462878.7 schema:alternateName Laboratoire des Sciences de l'Information et des Systèmes
    87 schema:name Laboratoire des Sciences de l'Information et des Systèmes, avenue Escadrille Normandie–Niemen, 13387, Marseille, Cedex 20, France
    88 rdf:type schema:Organization
     




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


    ...