메뉴 건너뛰기




Volumn , Issue , 2003, Pages 137-144

Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATIONS; INTERACTION PARADIGM; PROCESS EXPRESSION; STATE CHART DIAGRAMS; STATECHARTS; STRUCTURAL CONGRUENCES; UML STATECHART DIAGRAMS;

EID: 7744225662     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCC.2003.1260217     Document Type: Conference Paper
Times cited : (13)

References (24)
  • 2
    • 0023365727 scopus 로고
    • STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS.
    • DOI 10.1016/0167-6423(87)90035-9
    • Harel, D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 1987, 8(3), pp. 231-274. (Pubitemid 17617706)
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 4
    • 0000511698 scopus 로고
    • The Polyadic π-Calculus: A Tutorial
    • Springer-Verlag
    • Milner, R. The Polyadic π-Calculus: A Tutorial. Logic and Algebra of Specification. Springer-Verlag, 1993, pp. 203-246.
    • (1993) Logic and Algebra of Specification , pp. 203-246
    • Milner, R.1
  • 6
    • 0010728871 scopus 로고    scopus 로고
    • An Introduction to the π-Calculus
    • Elsevier Science
    • Parrow, J. An Introduction to the π-Calculus. In: Handbook of Process Algebra. Elsevier Science, 2001, pp. 479-543.
    • (2001) Handbook of Process Algebra , pp. 479-543
    • Parrow, J.1
  • 8
    • 0346704528 scopus 로고
    • A Theory of Bisimulation for the π-Calculus
    • Proceedings of CONCUR '93
    • Sangiorgi, D. A Theory of Bisimulation for the π-Calculus. In: Proceedings of CONCUR '93, LNCS 715, 1993, pp. 127-142.
    • (1993) LNCS , vol.715 , pp. 127-142
    • Sangiorgi, D.1
  • 9
    • 85006239926 scopus 로고
    • The Mobility Workbench: A Tool for the π-Calculus
    • CAV '94
    • Victor, B. and Moller, F. The Mobility Workbench: A Tool for the π-Calculus. In: CAV '94, LNCS 818, 1994, pp. 428-440.
    • (1994) LNCS , vol.818 , pp. 428-440
    • Victor, B.1    Moller, F.2
  • 10
    • 4243538235 scopus 로고    scopus 로고
    • The π-Calculus: Notes on Labelled Semantics
    • Quaglia, P. The π-Calculus: Notes on Labelled Semantics. Bulletin of the EATCS, 1999, 68.
    • (1999) Bulletin of the EATCS , pp. 68
    • Quaglia, P.1
  • 11
    • 0024016415 scopus 로고    scopus 로고
    • On Visual Formalisms
    • Harel, D. On Visual Formalisms. Communications of the ACM, 1998, 31(5), pp. 514-530.
    • (1998) Communications of the ACM , vol.31 , Issue.5 , pp. 514-530
    • Harel, D.1
  • 13
    • 78449244619 scopus 로고
    • A Comparison of Statecharts Variants
    • Formal Techniques in Real-Time and Fault-Tolerant Systems
    • von der Beeck, M. A Comparison of Statecharts Variants. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994, pp. 128-148.
    • (1994) LNCS , vol.863 , pp. 128-148
    • Von Der Beeck, M.1
  • 14
    • 84958790003 scopus 로고
    • What is a Step: On the Semantics of Statecharts
    • TACS '91
    • Pnueli, A. and Shalev, M. What is a Step: On the Semantics of Statecharts. In: TACS '91, LNCS 526, 1991, pp. 244-264.
    • (1991) LNCS , vol.526 , pp. 244-264
    • Pnueli, A.1    Shalev, M.2
  • 16
    • 84949483471 scopus 로고    scopus 로고
    • A Translation of Statecharts to Esterel
    • Proceedings of FM'99
    • Seshia, S.A., Shyamasundar, R.K., Bhattacharjee, A.K. and Dhodapkar, S.D. A Translation of Statecharts to Esterel. Proceedings of FM'99, LNCS 1709, 1999, pp. 983-1007.
    • (1999) LNCS , vol.1709 , pp. 983-1007
    • Seshia, S.A.1    Shyamasundar, R.K.2    Bhattacharjee, A.K.3    Dhodapkar, S.D.4
  • 19
    • 0000381112 scopus 로고    scopus 로고
    • Automatic Verification of a Behavioural Subset of UML Statechart Diagrams using the SPIN Model-Checker
    • Latella, D., Majzik, I. and Massink, M. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams using the SPIN Model-Checker. In: Formal Aspects of Computing, 1999, 11, pp. 637-664.
    • (1999) Formal Aspects of Computing , vol.11 , pp. 637-664
    • Latella, D.1    Majzik, I.2    Massink, M.3
  • 20
    • 84947758978 scopus 로고    scopus 로고
    • Formalising UML State Machines for Model Checking
    • UML'99
    • Lilius, J. and Paltor, I.P. Formalising UML State Machines for Model Checking. In: UML'99, LNCS 1723, 1999, pp. 430-445.
    • (1999) LNCS , vol.1723 , pp. 430-445
    • Lilius, J.1    Paltor, I.P.2
  • 21
    • 84945288192 scopus 로고    scopus 로고
    • Analyzing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
    • FASE 2000
    • Reggio, G., Astesiano, E., Choppy, C. and Hussmann, H. Analyzing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In: FASE 2000, LNCS 1783, 2000, pp. 127-146.
    • (2000) LNCS , vol.1783 , pp. 127-146
    • Reggio, G.1    Astesiano, E.2    Choppy, C.3    Hussmann, H.4
  • 22
    • 84948994883 scopus 로고    scopus 로고
    • Formalization of UML-Statecharts
    • UML 2001
    • von der Beeck, M. Formalization of UML-Statecharts. In: UML 2001, LNCS 2185, 2001, pp. 406-421.
    • (2001) LNCS , vol.2185 , pp. 406-421
    • Von Der Beeck, M.1
  • 23
    • 84955559679 scopus 로고    scopus 로고
    • Equivalences of Statecharts
    • Proceedings of CONCUR '96
    • Maggiolo-Schettini, A., Peron, A. and Tini, S. Equivalences of Statecharts. In: Proceedings of CONCUR '96, LNCS 1119, 1996, pp. 687-702.
    • (1996) LNCS , vol.1119 , pp. 687-702
    • Maggiolo-Schettini, A.1    Peron, A.2    Tini, S.3


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