메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 156, Issue 1 SPEC. ISS., 2006, Pages 79-96
Compositional Operational Semantics of a UML-Kernel-Model Language
Author keywords

activity groups; compositionality; deterministic passing of control; run to completion steps; state machines; structured operational semantics; UML
Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER OPERATING SYSTEMS; COMPUTER SCIENCE; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;
EID: 33646338172     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.08.008     Document Type: Article
Times cited : (4)
References (10)
  • 2
    • 0011122747 scopus 로고    scopus 로고
    • Structural operational semantics
    • Bergstra J.A., Ponse A., and Smolka S.A. (Eds), North-Holland
    • Aceto L., Fokkink W., and Verhoef C. Structural operational semantics. In: Bergstra J.A., Ponse A., and Smolka S.A. (Eds). Handbook of Process Algebra (2001), North-Holland 197-292
    • (2001) Handbook of Process Algebra , pp. 197-292
    • Aceto, L.1    Fokkink, W.2    Verhoef, C.3
  • 3
    • 0142214575 scopus 로고    scopus 로고
    • Understanding UML: A formal semantics of concurrency and communication in real-time UML
    • FMCO 2002. de Boer F., Bonsangue M., Graf S., and de Roever W.-P. (Eds)
    • Damm W., Josko B., Pnueli A., and Votintseva A. Understanding UML: A formal semantics of concurrency and communication in real-time UML. In: de Boer F., Bonsangue M., Graf S., and de Roever W.-P. (Eds). FMCO 2002. LNCS 2852 (2003) 71-98
    • (2003) LNCS , vol.2852 , pp. 71-98
    • Damm, W.1    Josko, B.2    Pnueli, A.3    Votintseva, A.4
  • 4
    • 18944370135 scopus 로고    scopus 로고
    • Integrating semantics for object-oriented system models
    • ICALP 2001. Orejas F., Spirakis P.G., and van Leeuwen J. (Eds)
    • Große-Rhode M. Integrating semantics for object-oriented system models. In: Orejas F., Spirakis P.G., and van Leeuwen J. (Eds). ICALP 2001. LNCS 2076 (2001) 40-60
    • (2001) LNCS , vol.2076 , pp. 40-60
    • Große-Rhode, M.1
  • 5
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
    • (1987) Science of Computer Programming , vol.8 , pp. 231-274
    • Harel, D.1
  • 6
    • 0031187475 scopus 로고    scopus 로고
    • Executable object modeling with statecharts
    • Harel D., and Gery E. Executable object modeling with statecharts. Computer 30 (1997) 31-42
    • (1997) Computer , vol.30 , pp. 31-42
    • Harel, D.1    Gery, E.2
  • 7
    • 33646384759 scopus 로고    scopus 로고
    • Hooman, J. and M. van der Zwaag, A semantics of communicating reactive objects with timing, Journal on Software Tools for Technology Transfer (2005), accepted for Publication
  • 8
    • 84944223651 scopus 로고    scopus 로고
    • An integrated semantics for UML class, object and state diagrams based on graph transformation
    • IFM 2002. Butler M., Petre L., and Sere K. (Eds)
    • Kuske S., Gogolla M., Kollmann R., and Kreowski H.-J. An integrated semantics for UML class, object and state diagrams based on graph transformation. In: Butler M., Petre L., and Sere K. (Eds). IFM 2002. LNCS 2335 (2002) 11-28
    • (2002) LNCS , vol.2335 , pp. 11-28
    • Kuske, S.1    Gogolla, M.2    Kollmann, R.3    Kreowski, H.-J.4
  • 10
    • 84945288192 scopus 로고    scopus 로고
    • Analysing UML active classes and associated state machines - a lightweight formal approach
    • FASE 2000. Maibaum T. (Ed)
    • Reggio G., Astesiano E., Choppy C., and Hussmann H. Analysing UML active classes and associated state machines - a lightweight formal approach. In: Maibaum T. (Ed). FASE 2000. LNCS 1783 (2000) 127-146
    • (2000) LNCS , vol.1783 , pp. 127-146
    • Reggio, G.1    Astesiano, E.2    Choppy, C.3    Hussmann, H.4

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