메뉴 건너뛰기




Volumn 1 ISAS, Issue , 2008, Pages 42-49

Semantics and refinement of behavior state machines

Author keywords

Model transformations; Refinement; State machines; UML

Indexed keywords

AXIOMATIC SEMANTICS; MODEL TRANSFORMATIONS; REFINEMENT; STATE MACHINES; TRANSFORMATION RULES; UML;

EID: 55849135197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (4)

References (14)
  • 1
    • 13144259719 scopus 로고    scopus 로고
    • A discrete-time UML semantics for concurrency and communication in safety-critical applications
    • Damm, W., Josko, B., Pnueli, A., and Votintseva, A. (2005). A discrete-time UML semantics for concurrency and communication in safety-critical applications. Science of Computer Programming, 55:81-115.
    • (2005) Science of Computer Programming , vol.55 , pp. 81-115
    • Damm, W.1    Josko, B.2    Pnueli, A.3    Votintseva, A.4
  • 2
    • 0032178819 scopus 로고    scopus 로고
    • Logical specification of reactive and real-time systems
    • Lano, K. (1998). Logical specification of reactive and real-time systems. Journal of Logic and Computation, 8(5):679-711.
    • (1998) Journal of Logic and Computation , vol.8 , Issue.5 , pp. 679-711
    • Lano, K.1
  • 3
    • 47949104976 scopus 로고    scopus 로고
    • Formal specification using interaction diagrams
    • Lano, K. (2007). Formal specification using interaction diagrams. In SEFM'07.
    • (2007) SEFM , vol.7
    • Lano, K.1
  • 4
    • 55849131241 scopus 로고    scopus 로고
    • A compositional semantics of UML-RSDS
    • Lano, K. (2008a). A compositional semantics of UML-RSDS. SoSyM.
    • (2008) SoSyM
    • Lano, K.1
  • 7
    • 36048950762 scopus 로고    scopus 로고
    • From implicit specifications to explicit designs in reactive system development
    • Lano, K., Clark, D., and Androutsopolous, K. (2002). From implicit specifications to explicit designs in reactive system development. In IFM'02.
    • (2002) IFM , vol.2
    • Lano, K.1    Clark, D.2    Androutsopolous, K.3
  • 8
    • 33745129061 scopus 로고    scopus 로고
    • Invariant-based synthesis of fault-tolerant systems
    • Springer-Verlag
    • Lano, K., Clark, D., Androutsopolous, K., and Kan, P. (2000). Invariant-based synthesis of fault-tolerant systems. In FTRTFT. Springer-Verlag.
    • (2000) FTRTFT
    • Lano, K.1    Clark, D.2    Androutsopolous, K.3    Kan, P.4
  • 9
    • 55849135974 scopus 로고    scopus 로고
    • Statechart verification with istate
    • Le, D., Sekerinski, E., and West, S. (2006). Statechart verification with istate. In FM 06.
    • (2006) FM 06
    • Le, D.1    Sekerinski, E.2    West, S.3
  • 10
    • 0003949216 scopus 로고    scopus 로고
    • The semantics of UML state machines. Turku Centre for Computer Science
    • Lilius, J. and Paltor, I. (1999). The semantics of UML state machines. Turku Centre for Computer Science, TUCS technical report 273.
    • (1999) TUCS technical report , vol.273
    • Lilius, J.1    Paltor, I.2
  • 11
    • 33746031722 scopus 로고    scopus 로고
    • Merseguer, J., Campos, J., Bernardi, S., and Donatelli, S. (2002). A compositional semantics for UML state machines aimed at performance evaluation. In Silva, M., Giua, A., and Colom, J., editors, 6 Int. Workshop on Discrete Event Systems (WODES 2002).
    • Merseguer, J., Campos, J., Bernardi, S., and Donatelli, S. (2002). A compositional semantics for UML state machines aimed at performance evaluation. In Silva, M., Giua, A., and Colom, J., editors, 6 Int. Workshop on Discrete Event Systems (WODES 2002).
  • 13
    • 55849144558 scopus 로고    scopus 로고
    • OMG 2007, UML superstructure, version 2.1.1. OMG document formal/2007-02-03
    • OMG (2007). UML superstructure, version 2.1.1. OMG document formal/2007-02-03.
  • 14
    • 36048937663 scopus 로고    scopus 로고
    • A theory of regression testing for behaviourally compatible object types
    • Simons, A. (2005). A theory of regression testing for behaviourally compatible object types. In 3rd Conf. UK Software Testing Research (5-6 September), pages 103-121.
    • (2005) 3rd Conf. UK Software Testing Research (5-6 September) , pp. 103-121
    • Simons, A.1


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