CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000-06-09

AUTHORS

Jochen Beister , Gernot Eckstein , Ralf Wollowski

ABSTRACT

CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible. More... »

PAGES

445-454

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-44988-4_25

DOI

http://dx.doi.org/10.1007/3-540-44988-4_25

DIMENSIONS

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


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/03", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Chemical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0305", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Organic Chemistry", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7645.0", 
          "name": [
            "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Beister", 
        "givenName": "Jochen", 
        "id": "sg:person.07756024441.51", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07756024441.51"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Infineon Technologies, P.O. Box 801760, D-81617, Munich, Germany", 
          "id": "http://www.grid.ac/institutes/grid.410337.2", 
          "name": [
            "Infineon Technologies, P.O. Box 801760, D-81617, Munich, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Eckstein", 
        "givenName": "Gernot", 
        "id": "sg:person.013170155531.25", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013170155531.25"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7645.0", 
          "name": [
            "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wollowski", 
        "givenName": "Ralf", 
        "id": "sg:person.013666313531.32", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013666313531.32"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2000-06-09", 
    "datePublishedReg": "2000-06-09", 
    "description": "CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.", 
    "editor": [
      {
        "familyName": "Nielsen", 
        "givenName": "Mogens", 
        "type": "Person"
      }, 
      {
        "familyName": "Simpson", 
        "givenName": "Dan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-44988-4_25", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-67693-5", 
        "978-3-540-44988-1"
      ], 
      "name": "Application and Theory of Petri Nets 2000", 
      "type": "Book"
    }, 
    "keywords": [
      "asynchronous controller", 
      "design method", 
      "certain problems", 
      "controller", 
      "synthesis tools", 
      "kernel", 
      "comprehensive design method", 
      "design entry", 
      "problem", 
      "decomposition", 
      "appropriate design method", 
      "tool", 
      "behavior", 
      "specification", 
      "designers", 
      "concurrency", 
      "initial specification", 
      "interface", 
      "cascade", 
      "entry", 
      "synthesis", 
      "STG", 
      "style", 
      "method", 
      "tool kernel", 
      "generalized STG", 
      "unified design entry", 
      "output concurrency", 
      "MOC behaviour"
    ], 
    "name": "CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers", 
    "pagination": "445-454", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1034661306"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-44988-4_25"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-44988-4_25", 
      "https://app.dimensions.ai/details/publication/pub.1034661306"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:03", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_90.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-44988-4_25"
  }
]
 

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/3-540-44988-4_25'

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/3-540-44988-4_25'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-44988-4_25'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-44988-4_25'


 

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

111 TRIPLES      23 PREDICATES      54 URIs      47 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-44988-4_25 schema:about anzsrc-for:03
2 anzsrc-for:0305
3 schema:author N754a86de8c37436ea4efab025ae0a503
4 schema:datePublished 2000-06-09
5 schema:datePublishedReg 2000-06-09
6 schema:description CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.
7 schema:editor Nd459337bff694a1c9a14cfa03163b97c
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N4954088ed45e4e08a8f54c94c500eace
12 schema:keywords MOC behaviour
13 STG
14 appropriate design method
15 asynchronous controller
16 behavior
17 cascade
18 certain problems
19 comprehensive design method
20 concurrency
21 controller
22 decomposition
23 design entry
24 design method
25 designers
26 entry
27 generalized STG
28 initial specification
29 interface
30 kernel
31 method
32 output concurrency
33 problem
34 specification
35 style
36 synthesis
37 synthesis tools
38 tool
39 tool kernel
40 unified design entry
41 schema:name CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers
42 schema:pagination 445-454
43 schema:productId N15771b9372c34ffaa507c4930a217aa9
44 N63378300b85c4b7caf93df8b5c1dde32
45 schema:publisher N6b3de5535f2d43d79864f879e15f0af7
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034661306
47 https://doi.org/10.1007/3-540-44988-4_25
48 schema:sdDatePublished 2021-11-01T19:03
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher Nacad273aa3a5478fac998d1f5f67e6e2
51 schema:url https://doi.org/10.1007/3-540-44988-4_25
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N15771b9372c34ffaa507c4930a217aa9 schema:name dimensions_id
56 schema:value pub.1034661306
57 rdf:type schema:PropertyValue
58 N24b68948990c48b686da269eead446ce rdf:first sg:person.013170155531.25
59 rdf:rest N4d0d499eb02e4e5ab0e13e7248846b2a
60 N4409778d690e4f29ad7cc874ef4ff1b7 schema:familyName Simpson
61 schema:givenName Dan
62 rdf:type schema:Person
63 N4954088ed45e4e08a8f54c94c500eace schema:isbn 978-3-540-44988-1
64 978-3-540-67693-5
65 schema:name Application and Theory of Petri Nets 2000
66 rdf:type schema:Book
67 N4d0d499eb02e4e5ab0e13e7248846b2a rdf:first sg:person.013666313531.32
68 rdf:rest rdf:nil
69 N63378300b85c4b7caf93df8b5c1dde32 schema:name doi
70 schema:value 10.1007/3-540-44988-4_25
71 rdf:type schema:PropertyValue
72 N6b3de5535f2d43d79864f879e15f0af7 schema:name Springer Nature
73 rdf:type schema:Organisation
74 N6b9ad1a441544c6690a679bc87e320ac schema:familyName Nielsen
75 schema:givenName Mogens
76 rdf:type schema:Person
77 N754a86de8c37436ea4efab025ae0a503 rdf:first sg:person.07756024441.51
78 rdf:rest N24b68948990c48b686da269eead446ce
79 Nacad273aa3a5478fac998d1f5f67e6e2 schema:name Springer Nature - SN SciGraph project
80 rdf:type schema:Organization
81 Nd459337bff694a1c9a14cfa03163b97c rdf:first N6b9ad1a441544c6690a679bc87e320ac
82 rdf:rest Nf020c9c376ae4d9aaaa45f1087d084b5
83 Nf020c9c376ae4d9aaaa45f1087d084b5 rdf:first N4409778d690e4f29ad7cc874ef4ff1b7
84 rdf:rest rdf:nil
85 anzsrc-for:03 schema:inDefinedTermSet anzsrc-for:
86 schema:name Chemical Sciences
87 rdf:type schema:DefinedTerm
88 anzsrc-for:0305 schema:inDefinedTermSet anzsrc-for:
89 schema:name Organic Chemistry
90 rdf:type schema:DefinedTerm
91 sg:person.013170155531.25 schema:affiliation grid-institutes:grid.410337.2
92 schema:familyName Eckstein
93 schema:givenName Gernot
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013170155531.25
95 rdf:type schema:Person
96 sg:person.013666313531.32 schema:affiliation grid-institutes:grid.7645.0
97 schema:familyName Wollowski
98 schema:givenName Ralf
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013666313531.32
100 rdf:type schema:Person
101 sg:person.07756024441.51 schema:affiliation grid-institutes:grid.7645.0
102 schema:familyName Beister
103 schema:givenName Jochen
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07756024441.51
105 rdf:type schema:Person
106 grid-institutes:grid.410337.2 schema:alternateName Infineon Technologies, P.O. Box 801760, D-81617, Munich, Germany
107 schema:name Infineon Technologies, P.O. Box 801760, D-81617, Munich, Germany
108 rdf:type schema:Organization
109 grid-institutes:grid.7645.0 schema:alternateName Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany
110 schema:name Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653, Kaiserslautern, Germany
111 rdf:type schema:Organization
 




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


...