Model checking dynamic UML consistency

被引：0
|
作者：
Department of Informatics, School of Math., Peking University, Beijing, China [1 ]
不详 [2 ]
机构：
来源：
Lect. Notes Comput. Sci. | 2006年 / 440-459期
关键词：
Computer aided software engineering;
D O I：
10.1007/11901433_24
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Model checking dynamic UML consistency
    Zhao, Xiangpeng
    Long, Quan
    Qiu, Zongyan
    [J]. Formal Methods and Software Engineering, Proceedings, 2006, 4260 : 440 - 459
  • [2] Consistency Checking of UML Business Model
    Vasilecas, Olegas
    Dubauskaite, Ruta
    Rupnik, Rok
    [J]. TECHNOLOGICAL AND ECONOMIC DEVELOPMENT OF ECONOMY, 2011, 17 (01) : 133 - 150
  • [3] A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING
    Simmonds, Jocelyn
    Bastarrica, Maria Cecilia
    Hitschfeld-Kahler, Nancy
    Rivas, Sebastian
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (06) : 713 - 735
  • [4] Consistency checking of UML requirements
    Li, XS
    Liu, ZM
    He, JF
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 411 - 420
  • [5] A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
    Hammal, Youcef
    [J]. ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 78 - 85
  • [6] Consistency checking of UML dynamic models based on Petri Net techniques
    Yao, Shuzhen
    Shatz, Sol M.
    [J]. CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 289 - +
  • [7] A formal methodology for semantics and time consistency checking of UML dynamic diagrams
    Hammal, Youcef
    [J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2011, 34 (02) : 197 - 211
  • [8] UML/Analyzer: A tool for the instant consistency checking of UML models
    Egyed, Alexander
    [J]. ICSE 2007: 29th International Conference on Software Engineering, Proceedings, 2007, : 793 - 796
  • [9] Consistency checking of UML model diagrams using the XML semantics approach
    [J]. Kotb, Y. (kotb@jaist.ac.jp), 1600, et al.; Fuji Xerox Co., Ltd.; Hitachi, Ltd.; NEC; World Wide Web Consortium (W3C); Yahoo (Association for Computing Machinery (ACM)):
  • [10] A toolset for supporting UML static and dynamic model checking
    Shen, WW
    Compton, K
    Huggins, J
    [J]. 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 147 - 152
12345