SCOPUS 정보 검색 플랫폼

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2000, Pages 120-129

A compositional approach to statecharts semantics

(3) Luttgen G a Von der Beeck, M a Cleveland, R a

a NASA LANGLEY RESEARCH CENTER (United States)

Author keywords

Compositionality; Operational semantics; Statecharts

Indexed keywords

COMPUTATIONAL METHODS; CONCURRENCY CONTROL; FINITE AUTOMATA; SEMANTICS; SOFTWARE ENGINEERING; THEOREM PROVING;

COMPOSITIONALITY; OPERATIONAL SEMANTICS; STATECHARTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0034449675 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/357474.355062 Document Type: Conference Paper

Times cited : (37)

References (37)

1
- 84887432229
- Communicating hierarchical state machines
- Springer-Verlag
- (1999) ICALP '99, Volume 1644 of LNCS , pp. 169-178
- Alur, R.¹ Kannan, S.² Yannakakis, M.³

2
- 0026953373
- The ESTEREL synchronous programming language: Design, semantics, implementation
- (1992) SCP , vol.19 , Issue.2 , pp. 87-152
- Berry, G.¹ Gonthier, G.²

3
- 0003547470
- Addison Wesley
- (1998) The Unified Modeling Language User Guide
- Booch, G.¹ Rumbaugh, J.² Jacobson, I.³

4
- 0025464714
- Priorities in process algebra
- (1990) Inform. & Comp. , vol.87 , Issue.1-2 , pp. 58-77
- Cleaveland, R.¹ Hennessy, M.²

5
- 84957803919
- Generating front-ends for verification tools
- Springer-Verlag
- (1995) TACAS '95, Volume 1019 of LNCS , pp. 153-173
- Cleaveland, R.¹ Madelaine, E.² Sims, S.³

6
- 84957366381
- The NCSU concurrency workbench
- Springer-Verlag
- (1996) CAV '96, Volume 1102 of LNCS , pp. 394-397
- Cleaveland, R.¹ Sims, S.²

7
- 84949225743
- A compositional real-time semantics of STATEMATE designs
- In de Roever et al. [8]
- Damm, W.¹ Josko, B.² Hungar, H.³ Pnueli, A.⁴

8
- 0005062635
- W.-P. de Roever, H. Langmaack, and A. Pnueli, editors; Springer-Verlag
- (1997) Compositionality: The Significant Difference, Volume 1536 of LNCS

9
- 0023365727
- Statecharts: A visual formalism for complex
- (1987) SCP , vol.8 , pp. 231-274
- Harel, D.¹

10
- 0030261971
- The STATEMATE semantics of statecharts
- (1996) ACM Transactions on Software Engineering , vol.5 , Issue.4 , pp. 293-333
- Harel, D.¹ Naamad, A.²

11
- 0041681833
- On the formal semantics of statecharts
- IEEE Computer Society Press
- (1987) LICS '87 , pp. 56-64
- Harel, D.¹ Pnueli, A.² Schmidt, J.³ Sherman, R.⁴

12
- 0003428340
- McGraw Hill
- (1998) Modeling Reactive Systems with Statecharts: The STATEMATE Approach
- Harel, D.¹ Politi, M.²

13
- 4944243609
- A process algebra for timed systems
- (1995) Inform. & Comp. , vol.117 , pp. 221-239
- Hennessy, M.¹ Regan, T.²

14
- 18944390941
- The model checker spin
- (1997) IEEE Trans. on Software Engineering , vol.23 , pp. 279-295
- Holzmann, G.¹

15
- 0004055875
- PhD thesis, Eindhoven University of Technology
- (1991) Semantics of Reactive Systems: Comparison and Full Abstraction
- Huizing, C.¹

16
- 84957909440
- Modeling statecharts behavior in a fully abstract way
- Springer-Verlag
- (1988) CAAP '88, Volume 299 of LNCS , pp. 271-294
- Huizing, C.¹ Gerth, R.² De Roever, W.-P.³

17
- 0002404838
- Towards a formal operational semantics of UML statechart diagrams
- Kluwer
- (1999) FMOODS '99
- Latella, D.¹ Majzik, I.² Massink, M.³

18
- 0003451447
- PhD thesis, University of Pisa
- (1997) Verification of Temporal and Real-Time Properties of Statecharts
- Levi, F.¹

19
- 84974628224
- Fully-abstract statecharts semantics via intuitionistic Kripke models
- Springer-Verlag
- (2000) ICALP 2000, Volume 1853 of LNCS , pp. 163-174
- Lüttgen, G.¹ Mendler, M.²

20
- 28444482027
- Statecharts via process algebra
- Springer-Verlag
- (1999) CONCUR '99, Volume 1664 of LNCS , pp. 399-414
- Lüttgen, G.¹ Von Der Beeck, M.² Cleaveland, R.³

21
- 84955559679
- Equivalences of statecharts
- Springer-Verlag
- (1996) CONCUR '96, Volume 1119 of LNCS , pp. 687-702
- Maggiolo-Schettini, A.¹ Peron, A.² Tini, S.³

22
- 84955576026
- Operational and compositional semantics of synchronous automaton compositions
- Springer-Verlag
- (1992) CONCUR '92, Volume 630 of LNCS , pp. 550-564
- Maraninchi, F.¹

23
- 84893308009
- Compositional semantics of non-deterministic synchronous languages
- Springer-Verlag
- (1996) ESOP '96, Volume 1058 of LNCS , pp. 235-249
- Maraninchi, F.¹ Halbwachs, N.²

24
- 0003581145
- PhD thesis, Carnegie-Mellon University
- (1992) Symbolic Model Checking: An Approach to the State-Explosion Problem
- McMillan, K.¹

25
- 0007928558
- On formal semantics of statecharts as supported by STATEMATE
- Springer-Verlag
- (1997) Second BCS-FACS Northern Formal Methods Workshop
- Mikk, E.¹ Lakhnech, Y.² Petersohn, C.³ Siegel, M.⁴

26
- 84957631215
- Hierarchical automata as model for statecharts
- Springer-Verlag
- (1997) ASIAN '97, Volume 1345 of LNCS
- Mikk, E.¹ Lakhnech, Y.² Siegel, M.³

27
- 84947758978
- Formalising UML state machines for model checking
- Springer-Verlag
- (1999) UML '99, Volume 1723 of LNCS , pp. 430-445
- Paltor, I.¹ Lilius, J.²

28
- 0003931061
- A structural approach to operational semantics
- Technical Report DAIMI-FN-19, Aarhus University
- (1981)
- Plotkin, G.¹

29
- 84958790003
- What is in a step: On the semantics of statecharts
- Springer-Verlag
- (1991) TACS '91, Volume 526 of LNCS , pp. 244-264
- Pnueli, A.¹ Shalev, M.²

30
- 0005051686
- PhD thesis, Munich University of Technology
- (1998) Design of Reactive Systems and Their Distributed Implementation with Statecharts
- Scholz, P.¹

31
- 0003681146
- J. Wiley & Sons
- (1994) Real-Time Object Oriented Modeling and Design
- Selic, B.¹ Gullekson, G.² Ward, P.³

32
- 84949483471
- A translation of statecharts to ESTEREL
- Springer-Verlag
- (1999) FM '99, Volume 1708 of LNCS , pp. 983-1007
- Seshia, S.¹ Shyamasundar, R.² Bhattacharjee, A.³ Dhodapkar, S.⁴

33
- 0039101842
- A compositional semantics for statecharts using labeled transition systems
- Springer-Verlag
- (1994) CONCUR '94, Volume 836 of LNCS , pp. 2-17
- Uselton, A.¹ Smolka, S.²

34
- 0005005895
- A process-algebraic semantics for statecharts via state refinement
- North-Holland
- (1994) PROCOMET '94
- Uselton, A.¹ Smolka, S.²

35
- 0000119344
- A congruence theorem for structured operational semantics with predicates and negative premises
- (1995) Nordic J. of Comp. , vol.2 , Issue.2 , pp. 274-302
- Verhoef, C.¹

36
- 78449244619
- A comparison of statecharts variants
- Springer-Verlag
- (1994) FTRTFT '94, Volume 863 of LNCS , pp. 128-148
- Von Der Beeck, M.¹

37
- 0013029145
- A concise compositional statecharts semantics definition
- Kluwer, 2000. To appear
- FORTE/PSTV 2000
- Von Der Beeck, M.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.