Transaction-level modeling and refinement using state charts

Rainer Findenig; Thomas Leitner; Wolfgang Ecker

doi:10.1007/978-3-642-53856-8_17

Transaction-level modeling and refinement using state charts

Rainer Findenig, Thomas Leitner, Wolfgang Ecker

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Since State Charts have been introduced, they have proven to be of great use in the design of complex reactive systems. Previous work has shown that, in hardware design, they can be successfully used for transaction-level modeling as well as for cycle-callable systems. This paper presents a structure-preserving refinement approach for State Charts that allows modeling hardware on different abstraction levels, from completely untimed high-level models to cycle callable, in a single model. This single-source approach, on the one hand, eases the agility of the development since changes in any abstraction level are more easily applied in the other levels, and, on the other hand, provides a simple means for checking the consistency of the different abstraction levels.

Original language	English
Title of host publication	Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers
Publisher	Springer Verlag
Pages	134-141
Number of pages	8
Edition	PART 1
ISBN (Print)	9783642538551
DOIs	https://doi.org/10.1007/978-3-642-53856-8_17
State	Published - 2013
Externally published	Yes
Event	14th International Conference on Computer Aided Systems Theory, EUROCAST 2013 - Las Palmas de Gran Canaria, Spain Duration: 10 Feb 2013 → 15 Feb 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	8111 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Conference on Computer Aided Systems Theory, EUROCAST 2013
Country/Territory	Spain
City	Las Palmas de Gran Canaria
Period	10/02/13 → 15/02/13

Access to Document

10.1007/978-3-642-53856-8_17

Cite this

Findenig, R., Leitner, T., & Ecker, W. (2013). Transaction-level modeling and refinement using state charts. In Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers (PART 1 ed., pp. 134-141). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8111 LNCS, No. PART 1). Springer Verlag. https://doi.org/10.1007/978-3-642-53856-8_17

Findenig, Rainer ; Leitner, Thomas ; Ecker, Wolfgang. / Transaction-level modeling and refinement using state charts. Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers. PART 1. ed. Springer Verlag, 2013. pp. 134-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{485b486bb2d443a18f955fe7b0c9bcad,

title = "Transaction-level modeling and refinement using state charts",

abstract = "Since State Charts have been introduced, they have proven to be of great use in the design of complex reactive systems. Previous work has shown that, in hardware design, they can be successfully used for transaction-level modeling as well as for cycle-callable systems. This paper presents a structure-preserving refinement approach for State Charts that allows modeling hardware on different abstraction levels, from completely untimed high-level models to cycle callable, in a single model. This single-source approach, on the one hand, eases the agility of the development since changes in any abstraction level are more easily applied in the other levels, and, on the other hand, provides a simple means for checking the consistency of the different abstraction levels.",

author = "Rainer Findenig and Thomas Leitner and Wolfgang Ecker",

year = "2013",

doi = "10.1007/978-3-642-53856-8_17",

language = "English",

isbn = "9783642538551",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

number = "PART 1",

pages = "134--141",

booktitle = "Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers",

edition = "PART 1",

note = "14th International Conference on Computer Aided Systems Theory, EUROCAST 2013 ; Conference date: 10-02-2013 Through 15-02-2013",

}

Findenig, R, Leitner, T & Ecker, W 2013, Transaction-level modeling and refinement using state charts. in Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers. PART 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 8111 LNCS, Springer Verlag, pp. 134-141, 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, Las Palmas de Gran Canaria, Spain, 10/02/13. https://doi.org/10.1007/978-3-642-53856-8_17

Transaction-level modeling and refinement using state charts. / Findenig, Rainer; Leitner, Thomas; Ecker, Wolfgang.
Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers. PART 1. ed. Springer Verlag, 2013. p. 134-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8111 LNCS, No. PART 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Transaction-level modeling and refinement using state charts

AU - Findenig, Rainer

AU - Leitner, Thomas

AU - Ecker, Wolfgang

PY - 2013

Y1 - 2013

N2 - Since State Charts have been introduced, they have proven to be of great use in the design of complex reactive systems. Previous work has shown that, in hardware design, they can be successfully used for transaction-level modeling as well as for cycle-callable systems. This paper presents a structure-preserving refinement approach for State Charts that allows modeling hardware on different abstraction levels, from completely untimed high-level models to cycle callable, in a single model. This single-source approach, on the one hand, eases the agility of the development since changes in any abstraction level are more easily applied in the other levels, and, on the other hand, provides a simple means for checking the consistency of the different abstraction levels.

AB - Since State Charts have been introduced, they have proven to be of great use in the design of complex reactive systems. Previous work has shown that, in hardware design, they can be successfully used for transaction-level modeling as well as for cycle-callable systems. This paper presents a structure-preserving refinement approach for State Charts that allows modeling hardware on different abstraction levels, from completely untimed high-level models to cycle callable, in a single model. This single-source approach, on the one hand, eases the agility of the development since changes in any abstraction level are more easily applied in the other levels, and, on the other hand, provides a simple means for checking the consistency of the different abstraction levels.

UR - http://www.scopus.com/inward/record.url?scp=84892584067&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-53856-8_17

DO - 10.1007/978-3-642-53856-8_17

M3 - Conference contribution

AN - SCOPUS:84892584067

SN - 9783642538551

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 134

EP - 141

BT - Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers

PB - Springer Verlag

T2 - 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013

Y2 - 10 February 2013 through 15 February 2013

ER -

Findenig R, Leitner T, Ecker W. Transaction-level modeling and refinement using state charts. In Computer Aided Systems Theory, EUROCAST 2013 - 14th International Conference, Revised Selected Papers. PART 1 ed. Springer Verlag. 2013. p. 134-141. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1). doi: 10.1007/978-3-642-53856-8_17

Transaction-level modeling and refinement using state charts

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this