Advanced Search
Volume 33 Issue 02
Feb.  2007
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2007  >  33(02): 248-252.
Guo Feng, Yao Shuzhen. Formal models of UML statechart diagrams based on Petri nets[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(02): 248-252. (in Chinese)
Citation: Guo Feng, Yao Shuzhen. Formal models of UML statechart diagrams based on Petri nets[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(02): 248-252. (in Chinese)
shu

Formal models of UML statechart diagrams based on Petri nets

  • School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

  • Received Date: 05 Jan 2006
  • Publish Date: 28 Feb 2007
    Abstract
  • A formal model named SC_Net which can precisely describe the dynamic features of UML statechart diagrams was presented. Firstly a formal syntactic of UML statechart diagrams was given and a series of auxiliary functions to describe the structure features of UML statechart diagrams were presented in which target determinator and source restriction were used to describe the inter-level transitions and open events and close events were used to describe the communication among UML statechart diagrams. Then, based on C_Net an extended Petri net model named SC_Net was defined which can be used for the semantic models of UML statechart diagrams. Besides the control parts, SC_Net also included the data process parts which was lacked in the research area of formal semantics of UML statechart diagrams. The translation process from UML statechart diagrams to SC_Net was defined. At last, an example in flexible manufacture systems was given. Results show that SC_Net can be used to verify the properties of the UML statecharts.

     

    • FullText(HTML)
  • loading
    • References(1)
  • [1] Harel D. Statecharts:a visual formalism for complex systems[J]. Science of Computer Programming, 1987,8(3):231-274 [2] OMG unified modelling language version 1.5 . Object Management Group, 2003, http://www.omg.org/uml/ [3] Wieringa R, Broersen J. A minimal transition system semantics for lightweight class and behavior diagrams Broy M, Coleman D, Maibaum T, et al. Proceedings of the ICSE98 Workshop on Precise Semantics for Software Modeling techniques. Munich:Technical University Munich,1998:129-151 [4] Latella D, Majzik I, Massink M. Towards a formal operational semantics of UML statechart diagrams Ciancarini P, Fantechi A, Gorrieri R. Proceedings of the 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems. Boston:Kluwer Academic Publishers, 1999:15-18 [5] Lilius J, Paltor P I. The semantics of UML state machines . TUCS Technical Report No 273, 1999 [6] Baresi L, Pezzè M. On formalizing UML with high-level Petri nets Cindio F De, Agha G. Concurrent Object-oriented Programming and Petri Nets:Advances in Petri Nets. New york:Springer-Verlag, 2001:276-304 [7] Saldhana J A, Shatz S M, Hu Zh X. Formalization of object behavior and interactions from UML models[J]. International Journal of Software Engineering and Knowledge Engineering, 2001,11(6):643-673 [8] Eshuis R, Wieringa R. Requirements-level semantics for UML statecharts Smith S F, Talcott C L. Processings of Fourth International Conference on Formal methods for open object-based distributed systems. Boston:Kluwer Academic Publishers, 2000:121-140 [9] 袁崇义. Petri网原理与应用[M].北京:电子工业出版社, 2005:213-225 Yuan Chongyi. The theory and application of Petri nets[M]. Beijing:Publishing House of Electronics Industry, 2005:213-225(in Chinese) [10] Busi N. Analysis issues in Petri nets with inhibitor arcs[J]. Theoretical Computer Science, 2002, 275(1/2):127-177 [11] Strrle H. Models of software architecture . Munich:Institute for Information, Ludwig Maximilians University, 2000
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(3048) PDF downloads(1568) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return