Checking consistency in UML diagrams: Classes and state machines

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

Volumn 2884, Issue , 2003, Pages 229-243

  Rasch, Holger ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SEMANTICS;

COMPLETE SYSTEM; CONSISTENCY CHECKS; CONSISTENCY PROBLEMS; DYNAMIC DIAGRAMS; FORMAL SEMANTICS; MODEL CHECKER; STATE MACHINE; UML DIAGRAMS;

MODEL CHECKING;

EID: 0344118790     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39958-2_16     Document Type: Article

References (21)

1. C. Bernardeschi, J. Dustzadeh, A. Fantechi, E. Najm, A. Nimour, and F. Olsen. Transformations and Consistent Semantics for ODP Viewpoints. In Proceedings of Second IFIP conference on Formal Methods for Open Object-based Distributed Systems - FMOODS'97. Chapman & Hall, 1997.
2. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. A formal framework for viewpoint consistency. Formal Methods in System Design, 21:111-166, 2002.
3. J. Davies and Ch. Crichton. Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science, 70(3), 2002.
4. J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Application. Springer, 2001.
5. G. Engels, R. Heckel, and J. Küster. Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In Martin Gogolla, editor, UML 2001. Springer, 2001.
6. G. Engels, R. Heckel, J. M. Küster, and L. Groenewegen. Consistency-preserving model evolution through transformations. In J.-M. Jézéquel, H. Hussmann, and S. Cook, editors, UML 2002 - Model Engineering, Concepts, and Tools, volume 2460 of LNCS, pages 212-226. Springer-Verlag, 2002.
7. G. Engels, J. Küster, R. Heckel, and L. Groenewegen. A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In 9th ACM Sigsoft Symposium on Foundations of Software Engineering, volume 26 of ACM Software Engineering Notes, 2001.
8. K. Farooqui and L. Logrippo. Viewpoint Transformation. In Proc. of the International Conference on Open Distributed Processing, pages 352-562, 1993.
9. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), volume 2, pages 423-438. Chapman & Hall, 1997.
10. C. Fischer and S. Hallerstede. Data-Refinement in CSP-OZ. Technical Report TRCF-97-3, University of Oldenburg, June 1997.
11. C. Fischer and H. Wehrheim. Model-checking CSP-OZ specifications with FDR. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pages 315-334. Springer, 1999.
12. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, Oct 1997.
13. N. Francez. Fairness. Texts and Monographs in Computer Science. Springer, 1986.
14. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
15. M.B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9-18, 1988.
16. L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors. UML 2002 - Workshop on Consistency Problems in UML-based Software Development, volume 06 of Blekinge IOT Research Report, 2002.
17. D. Lehmann, A. Pnueli, and J. Stavi. Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. In G. Goos and J. Hartmanis, editors, Automata, Languages and Programming, number 115 in LNCS, pages 264-277. Springer, 1981.
18. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
19. G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.
20. G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M. Hinchey and Shaoying Liu, editors, Int. Conf. of Formal Engineering Methods (ICFEM), pages 293-302. IEEE, 1997.
21. OMG Unified Modeling Language specification, version 1.5, March 2003. http://www.omg.org.