微信服务号

微信订阅号

2025-5-17- 23
Home > Archive>Volume 12, Issue 12, 2001 >1864-1873
PDF HTML XML Export Cite reminder
An Operational Semantics for UML Statechart Diagrams
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [10]
    • |
  • Related [20]
    • |
  • Cited by [15]
    • | |
  • Comments
    Abstract:

    As a standard object-oriented modeling language, UKL (unified modeling language) is lack of formal dynamic semantics. In this paper, an operational semantics for UML statechart diagrams is proposed according to UML1.1 specification documents. The formalization is able to deal with most of the features of UML statechart diagrams, which sets the basis for code generation, simulation and test cases generation. It has been used to generate test cases and to simulate the test process on platform of Rose98.

    Reference
    [1] Unified Modeling Language Document Set. Version1.1, Rational Software Corporation, 1997.
    [2] Ilogix Rhapsody, iLogix Corporation. http://www.ilogix.com/product.html.
    [3] Harel, D. Statecharts: a visual formalism for complex system. Science of Computer Programming, 1987,8(3):231～274.
    [4] Harel, D., Pnueli, A., Schmidt, J.P., et al. On the formal semantics of statecharts. In: Jones, D.M., ed. Proceedings of the 2nd IEEE Symposium on Logic in Computer Science. Ithaca, New York, IEEE Press, 1987. 54～64.
    [5] Harel, D. Amnon Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 1996,5(4):293～333.
    [6] Mikk, E., Lakhnech, Y., Petersohn. C. On formal semantics of statecharts as supported by STATEMATE. In: The 2nd BCS-FACS Northern Formal Methods Workshop. Spring-Verlag, 1997.
    [7] Petersohn, C. Data and control flow diagrams, statecharts and Z: their formalization, integration and real-time extension [Ph.D. Thesis]. Germany, 1997.
    [8] Latella, D., Majzik, I., Massink, M. Towards a formal operational semantics of UML statechart diagrams. In: Ciancarini, P., Gorrieri, R., eds. IFIP TC6/WG6.1 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems. Florence, Italy: Kluwer academic Publisher, 1999. 331～347.
    [9] Harel, D., Gery, E. Executable object modeling with statecharts. IEEE Computer, 1997,30(7):31～42.
    [10] Li, Liu-ying, Qi, Zhi-chang. Test Selection from UML Statechart. TOOLS31, Nanjing, 1999. 273～279.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

李留英,王戟,齐治昌. UML Statechart图的操作语义.软件学报,2001,12(12):1864-1873

Copy
Share
Article Metrics
  • Abstract:3746
  • PDF: 4717
  • HTML: 0
  • Cited by: 0
History
  • Received:November 22,1999
  • Revised:July 10,2000
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045295Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063