Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2005

AUTHORS

David Harel , Hillel Kugler , Amir Pnueli

ABSTRACT

Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since finding good synthesis algorithms could bring about a major improvement in the reliable development of complex systems. In this paper we describe a methodology for synthesizing statechart models from scenario-based requirements. The requirements are given in the language of live sequence charts (LSCs), and may be played in directly from the GUI, and the resulting statecharts are of the object-oriented variant, as adopted in the UML. We have implemented our algorithms as part of the Play-Engine tool and the generated statechart model can then be executed using existing UML case tools. More... »

PAGES

309-324

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-31847-7_18

DOI

http://dx.doi.org/10.1007/978-3-540-31847-7_18

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel", 
          "id": "http://www.grid.ac/institutes/grid.13992.30", 
          "name": [
            "Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Harel", 
        "givenName": "David", 
        "id": "sg:person.01062327245.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01062327245.23"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel", 
          "id": "http://www.grid.ac/institutes/grid.13992.30", 
          "name": [
            "Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kugler", 
        "givenName": "Hillel", 
        "id": "sg:person.0737046347.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0737046347.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel", 
          "id": "http://www.grid.ac/institutes/grid.13992.30", 
          "name": [
            "Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pnueli", 
        "givenName": "Amir", 
        "id": "sg:person.01167523347.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01167523347.71"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2005", 
    "datePublishedReg": "2005-01-01", 
    "description": "Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since finding good synthesis algorithms could bring about a major improvement in the reliable development of complex systems. In this paper we describe a methodology for synthesizing statechart models from scenario-based requirements. The requirements are given in the language of live sequence charts (LSCs), and may be played in directly from the GUI, and the resulting statecharts are of the object-oriented variant, as adopted in the UML. We have implemented our algorithms as part of the Play-Engine tool and the generated statechart model can then be executed using existing UML case tools.", 
    "editor": [
      {
        "familyName": "Kreowski", 
        "givenName": "Hans-J\u00f6rg", 
        "type": "Person"
      }, 
      {
        "familyName": "Montanari", 
        "givenName": "Ugo", 
        "type": "Person"
      }, 
      {
        "familyName": "Orejas", 
        "givenName": "Fernando", 
        "type": "Person"
      }, 
      {
        "familyName": "Rozenberg", 
        "givenName": "Grzegorz", 
        "type": "Person"
      }, 
      {
        "familyName": "Taentzer", 
        "givenName": "Gabriele", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-31847-7_18", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-24936-8", 
        "978-3-540-31847-7"
      ], 
      "name": "Formal Methods in Software and Systems Modeling", 
      "type": "Book"
    }, 
    "keywords": [
      "live sequence charts", 
      "statechart model", 
      "Play-Engine tool", 
      "scenario-based requirements", 
      "object-oriented variant", 
      "UML CASE tools", 
      "CASE tools", 
      "Sequence Charts", 
      "synthesis algorithm", 
      "reliable development", 
      "complex systems", 
      "fundamental problem", 
      "algorithm", 
      "requirements", 
      "UML", 
      "statecharts", 
      "GUI", 
      "tool", 
      "specification", 
      "language", 
      "theoretical interest", 
      "scenarios", 
      "major improvement", 
      "model", 
      "system", 
      "methodology", 
      "Practical implications", 
      "improvement", 
      "interest", 
      "program", 
      "part", 
      "development", 
      "charts", 
      "variants", 
      "questions", 
      "implications", 
      "synthesis", 
      "paper", 
      "problem", 
      "good synthesis algorithms", 
      "generated statechart model"
    ], 
    "name": "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements", 
    "pagination": "309-324", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1016217553"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-31847-7_18"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-31847-7_18", 
      "https://app.dimensions.ai/details/publication/pub.1016217553"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:56", 
    "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_342.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-31847-7_18"
  }
]
 

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-540-31847-7_18'

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-540-31847-7_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-31847-7_18'

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-540-31847-7_18'


 

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

135 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-31847-7_18 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Nb191d4fdd4824f33a1da36bb7208164c
4 schema:datePublished 2005
5 schema:datePublishedReg 2005-01-01
6 schema:description Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since finding good synthesis algorithms could bring about a major improvement in the reliable development of complex systems. In this paper we describe a methodology for synthesizing statechart models from scenario-based requirements. The requirements are given in the language of live sequence charts (LSCs), and may be played in directly from the GUI, and the resulting statecharts are of the object-oriented variant, as adopted in the UML. We have implemented our algorithms as part of the Play-Engine tool and the generated statechart model can then be executed using existing UML case tools.
7 schema:editor Nfb1a1f866e104fd199c467911e66f910
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N44f06a14f63b4dc19c6034e0bda1fbfd
12 schema:keywords CASE tools
13 GUI
14 Play-Engine tool
15 Practical implications
16 Sequence Charts
17 UML
18 UML CASE tools
19 algorithm
20 charts
21 complex systems
22 development
23 fundamental problem
24 generated statechart model
25 good synthesis algorithms
26 implications
27 improvement
28 interest
29 language
30 live sequence charts
31 major improvement
32 methodology
33 model
34 object-oriented variant
35 paper
36 part
37 problem
38 program
39 questions
40 reliable development
41 requirements
42 scenario-based requirements
43 scenarios
44 specification
45 statechart model
46 statecharts
47 synthesis
48 synthesis algorithm
49 system
50 theoretical interest
51 tool
52 variants
53 schema:name Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
54 schema:pagination 309-324
55 schema:productId N15770fd353fb4dee8447bcada27e94d4
56 Nc2639b1f50f2433eac4def2c3dcafc19
57 schema:publisher N03d306a2499b4abdb568eb1892862424
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016217553
59 https://doi.org/10.1007/978-3-540-31847-7_18
60 schema:sdDatePublished 2021-11-01T18:56
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N41abee56a2a645068847ecd400068b84
63 schema:url https://doi.org/10.1007/978-3-540-31847-7_18
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N03d306a2499b4abdb568eb1892862424 schema:name Springer Nature
68 rdf:type schema:Organisation
69 N142a052c45a542d1a1c4ce9680034056 schema:familyName Kreowski
70 schema:givenName Hans-Jörg
71 rdf:type schema:Person
72 N15770fd353fb4dee8447bcada27e94d4 schema:name doi
73 schema:value 10.1007/978-3-540-31847-7_18
74 rdf:type schema:PropertyValue
75 N3528da777cc64d16a538b9aaefaf3508 schema:familyName Taentzer
76 schema:givenName Gabriele
77 rdf:type schema:Person
78 N40f4af0ee6f64307baf532b3f7343b60 rdf:first N6c4f8e98d4ac4b8db4fb8c98c2d35dd7
79 rdf:rest N506c741980d64a3183de30e31ef7a6db
80 N41abee56a2a645068847ecd400068b84 schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 N44f06a14f63b4dc19c6034e0bda1fbfd schema:isbn 978-3-540-24936-8
83 978-3-540-31847-7
84 schema:name Formal Methods in Software and Systems Modeling
85 rdf:type schema:Book
86 N506c741980d64a3183de30e31ef7a6db rdf:first Nbc077bda0d5b4c4eb2360fb4b7e26896
87 rdf:rest Na28a144fd1b34b6e98de3dde309ce774
88 N555e41a33fb440ba8f85867e64fea45a rdf:first sg:person.01167523347.71
89 rdf:rest rdf:nil
90 N6c4f8e98d4ac4b8db4fb8c98c2d35dd7 schema:familyName Orejas
91 schema:givenName Fernando
92 rdf:type schema:Person
93 N6c72e52b6b1a4227b1f18a38a0cc9ece schema:familyName Montanari
94 schema:givenName Ugo
95 rdf:type schema:Person
96 Na28a144fd1b34b6e98de3dde309ce774 rdf:first N3528da777cc64d16a538b9aaefaf3508
97 rdf:rest rdf:nil
98 Nb191d4fdd4824f33a1da36bb7208164c rdf:first sg:person.01062327245.23
99 rdf:rest Nd6e956abcf7f4e4b8295e504a421ee6e
100 Nbc077bda0d5b4c4eb2360fb4b7e26896 schema:familyName Rozenberg
101 schema:givenName Grzegorz
102 rdf:type schema:Person
103 Nc2639b1f50f2433eac4def2c3dcafc19 schema:name dimensions_id
104 schema:value pub.1016217553
105 rdf:type schema:PropertyValue
106 Nd6e956abcf7f4e4b8295e504a421ee6e rdf:first sg:person.0737046347.02
107 rdf:rest N555e41a33fb440ba8f85867e64fea45a
108 Ne6e9bfa3e22b4891a9117d09c366f56d rdf:first N6c72e52b6b1a4227b1f18a38a0cc9ece
109 rdf:rest N40f4af0ee6f64307baf532b3f7343b60
110 Nfb1a1f866e104fd199c467911e66f910 rdf:first N142a052c45a542d1a1c4ce9680034056
111 rdf:rest Ne6e9bfa3e22b4891a9117d09c366f56d
112 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
113 schema:name Information and Computing Sciences
114 rdf:type schema:DefinedTerm
115 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
116 schema:name Computer Software
117 rdf:type schema:DefinedTerm
118 sg:person.01062327245.23 schema:affiliation grid-institutes:grid.13992.30
119 schema:familyName Harel
120 schema:givenName David
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01062327245.23
122 rdf:type schema:Person
123 sg:person.01167523347.71 schema:affiliation grid-institutes:grid.13992.30
124 schema:familyName Pnueli
125 schema:givenName Amir
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01167523347.71
127 rdf:type schema:Person
128 sg:person.0737046347.02 schema:affiliation grid-institutes:grid.13992.30
129 schema:familyName Kugler
130 schema:givenName Hillel
131 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0737046347.02
132 rdf:type schema:Person
133 grid-institutes:grid.13992.30 schema:alternateName Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
134 schema:name Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
135 rdf:type schema:Organization
 




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


...