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-12-01T20:00", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_217.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 Nbf85e23eb1b54e2c8fd8db1df3418117
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 N9d9271114ea043489c03b6b7ceedd07d
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N08643d6da6d846749bcd1adde9d69287
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 N9c6e4383a1664d71a768ee21cf878e5e
56 Nedd9ac763b244b9bb15117f0c0116018
57 schema:publisher Nfb2c37cdec674d52918563d90f935841
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-12-01T20:00
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N808ae59423d747be953ca1ec56243801
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 N0404d4afe75b43dc80539d0f3bfd3f77 rdf:first sg:person.01167523347.71
68 rdf:rest rdf:nil
69 N08643d6da6d846749bcd1adde9d69287 schema:isbn 978-3-540-24936-8
70 978-3-540-31847-7
71 schema:name Formal Methods in Software and Systems Modeling
72 rdf:type schema:Book
73 N15fce36c093c445c8d491387dbf1ebc7 rdf:first Nca0b324a8f384b36b9652a9d8934e115
74 rdf:rest rdf:nil
75 N740ed2518a68481486c8e8dc0c6c5a62 rdf:first N9c97ba52cf62449498215a3b92232c22
76 rdf:rest N7d8c3b20382e4cb7b11c55ff1183bf7b
77 N74ef75bcfdd7472fbcb058d3dce685b9 rdf:first N7a165480a4b545a799cd4eeafbf8882e
78 rdf:rest N15fce36c093c445c8d491387dbf1ebc7
79 N7a165480a4b545a799cd4eeafbf8882e schema:familyName Rozenberg
80 schema:givenName Grzegorz
81 rdf:type schema:Person
82 N7d8c3b20382e4cb7b11c55ff1183bf7b rdf:first N97a1a2592a874b77afee784c95d45788
83 rdf:rest N74ef75bcfdd7472fbcb058d3dce685b9
84 N808ae59423d747be953ca1ec56243801 schema:name Springer Nature - SN SciGraph project
85 rdf:type schema:Organization
86 N9237f078a05f4db9882448359e4ed5af schema:familyName Kreowski
87 schema:givenName Hans-Jörg
88 rdf:type schema:Person
89 N97a1a2592a874b77afee784c95d45788 schema:familyName Orejas
90 schema:givenName Fernando
91 rdf:type schema:Person
92 N9c6e4383a1664d71a768ee21cf878e5e schema:name dimensions_id
93 schema:value pub.1016217553
94 rdf:type schema:PropertyValue
95 N9c97ba52cf62449498215a3b92232c22 schema:familyName Montanari
96 schema:givenName Ugo
97 rdf:type schema:Person
98 N9d9271114ea043489c03b6b7ceedd07d rdf:first N9237f078a05f4db9882448359e4ed5af
99 rdf:rest N740ed2518a68481486c8e8dc0c6c5a62
100 N9f0338c4c1bb4230a16fc19a987f6d94 rdf:first sg:person.0737046347.02
101 rdf:rest N0404d4afe75b43dc80539d0f3bfd3f77
102 Nbf85e23eb1b54e2c8fd8db1df3418117 rdf:first sg:person.01062327245.23
103 rdf:rest N9f0338c4c1bb4230a16fc19a987f6d94
104 Nca0b324a8f384b36b9652a9d8934e115 schema:familyName Taentzer
105 schema:givenName Gabriele
106 rdf:type schema:Person
107 Nedd9ac763b244b9bb15117f0c0116018 schema:name doi
108 schema:value 10.1007/978-3-540-31847-7_18
109 rdf:type schema:PropertyValue
110 Nfb2c37cdec674d52918563d90f935841 schema:name Springer Nature
111 rdf:type schema:Organisation
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)


...