Model checking dynamic UML consistency

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4260 LNCS, Issue , 2006, Pages 440-459

  Zhao, Xiangpeng ^a   Long, Quan ^a,b   Qiu, Zongyan ^a  

^a PEKING UNIVERSITY   (China)

^b IBM China Research Laboratory   (China)

Author keywords

Algorithm; Consistency; Model checking; Semantics; Simulation; UML

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; HIERARCHICAL SYSTEMS; RISK ASSESSMENT; SEMANTICS;

MODEL CHECKING; SPLIT AUTOMATA; STATECHART DIAGRAMS; UML CONSISTENCY;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33845267234     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11901433_24     Document Type: Article

References (17)

1. E. Astesiano and G. Reggio. An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. In WADT 2002, LNCS 2755. Springer, 2003.
2. J. R. Burch, E. M. Clarke, K. L. McMillan, and David L. Dill. Sequential circuit verification using symbolic model checking. In DAC '90: Proceedings of the 27th ACM/IEEE conference on Design automation, pages 46-51, New York, NY, USA, 1990. ACM Press.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2000.
4. M. Fowler. What is the point of UML. In LNCS 1618. Springer, 1998.
5. J.M. Kuester G. Engels and L. Groencwegen. Consistent interaction of software components. Proc. of IDPT 2002, 2002.
6. M. M. Gallardo, P. Merino, and E. Pimentel. Debugging UML designs with model checking. Journal of Object Technology, 1(2): 101-117, 2002.
7. J. He, X. Li, and Z. Liu. rCOS : A refinement calculus for object-oriented systems. Accepted for publication in Theoretical Computer Science. Also available as Technical Report 322. UNU/IIST, P.O.Box 3058, Macao SAR China (http://www.list.unu.edu).
8. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
9. P. Inverardi, H. Muccini, and P. Pelliccione. Checking consistency between architectural models using SPIN. In Proc. of STRAW'01, 2001.
10. I. Jacobson, J. Rumbaugh, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 1999.
11. A. Knapp, S. Merz, and C. Rauh. Model checking timed UML state machines and collaborations. In 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems, volume 2469 of LNCS, pages 395-416. Springer, 2002.
12. J.M. Küster and J. Stehr. Towards explicit behavioral consistency concepts in the UML. In Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Portland, USA, 2003.
13. J. Lilius and I. P. Paltor. Formalising UML state machines for model checking. In Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS, pages 430-445. Springer, 1999.
14. Q. Long, Z. Liu, X. Li, and J. He. Consistent code generation from UML models. In Proc. of Australian Software Engineering Conference (ASWEC'2005), Brisbane, Australia, 2005. IEEE Computer Society.
15. Q. Long, Z. Qiu, and S. Qin. The equivalence of statecharts. In Jin Song Dong and Jim Woodcock, editors, Formal Methods and Software Engineering, ICFEM'03, LNCS 2885, Singapore, 2003. Springer.
16. T. Schäfer, A. Knapp, and S. Merz. Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science, 55(3), 2001.
17. W. Visser, K. Havelund, G. Brat, and S.J. Park. Model checking programs. In ASE'00, Washington, DC, USA, 2000. IEEE Computer Society.