An extended version of mini-statecharts:
Abstract: "Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In [NRS96] we presented Mini...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
1996
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9628 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In [NRS96] we presented Mini-Statecharts, a lean version of Statecharts. Mini- Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enugh to specify complex systems. In this contribution, we extend the core language with local variables and integer-valued signals to avoid state explosion. We show that the formal semantics, presented in [NRS96], smoothly carries over to the semantics of the extended language." |
| Beschreibung: | 26 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013491050 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 001212s1996 |||| 00||| eng d | ||
| 035 | |a (OCoLC)37940080 | ||
| 035 | |a (DE-599)BVBBV013491050 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Scholz, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An extended version of mini-statecharts |c Peter Scholz |
| 264 | 1 | |a München |c 1996 | |
| 300 | |a 26 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9628 | |
| 520 | 3 | |a Abstract: "Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In [NRS96] we presented Mini-Statecharts, a lean version of Statecharts. Mini- Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enugh to specify complex systems. In this contribution, we extend the core language with local variables and integer-valued signals to avoid state explosion. We show that the formal semantics, presented in [NRS96], smoothly carries over to the semantics of the extended language." | |
| 650 | 4 | |a Distributed parameter systems |x Simulation methods | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Syntax | |
| 650 | 4 | |a System design | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9628 |w (DE-604)BV006185376 |9 9628 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009207673 | ||
Datensatz im Suchindex
| _version_ | 1804128281269633024 |
|---|---|
| any_adam_object | |
| author | Scholz, Peter |
| author_facet | Scholz, Peter |
| author_role | aut |
| author_sort | Scholz, Peter |
| author_variant | p s ps |
| building | Verbundindex |
| bvnumber | BV013491050 |
| ctrlnum | (OCoLC)37940080 (DE-599)BVBBV013491050 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01779nam a2200325 cb4500</leader><controlfield tag="001">BV013491050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001212s1996 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37940080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013491050</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Scholz, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An extended version of mini-statecharts</subfield><subfield code="c">Peter Scholz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">26 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9628</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In [NRS96] we presented Mini-Statecharts, a lean version of Statecharts. Mini- Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enugh to specify complex systems. In this contribution, we extend the core language with local variables and integer-valued signals to avoid state explosion. We show that the formal semantics, presented in [NRS96], smoothly carries over to the semantics of the extended language."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Distributed parameter systems</subfield><subfield code="x">Simulation methods</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Syntax</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9628</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9628</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009207673</subfield></datafield></record></collection> |
| id | DE-604.BV013491050 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:46:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009207673 |
| oclc_num | 37940080 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 26 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Scholz, Peter Verfasser aut An extended version of mini-statecharts Peter Scholz München 1996 26 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9628 Abstract: "Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In [NRS96] we presented Mini-Statecharts, a lean version of Statecharts. Mini- Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enugh to specify complex systems. In this contribution, we extend the core language with local variables and integer-valued signals to avoid state explosion. We show that the formal semantics, presented in [NRS96], smoothly carries over to the semantics of the extended language." Distributed parameter systems Simulation methods Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax System design Technische Universität <München>: TUM-I 9628 (DE-604)BV006185376 9628 |
| spellingShingle | Scholz, Peter An extended version of mini-statecharts Technische Universität <München>: TUM-I Distributed parameter systems Simulation methods Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax System design |
| title | An extended version of mini-statecharts |
| title_auth | An extended version of mini-statecharts |
| title_exact_search | An extended version of mini-statecharts |
| title_full | An extended version of mini-statecharts Peter Scholz |
| title_fullStr | An extended version of mini-statecharts Peter Scholz |
| title_full_unstemmed | An extended version of mini-statecharts Peter Scholz |
| title_short | An extended version of mini-statecharts |
| title_sort | an extended version of mini statecharts |
| topic | Distributed parameter systems Simulation methods Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax System design |
| topic_facet | Distributed parameter systems Simulation methods Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax System design |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT scholzpeter anextendedversionofministatecharts |