Iterate logic

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

Volumn 2183, Issue , 2001, Pages 191-201

  Schmitt, Peter H ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

EXPRESSIVE POWER; FINITE STRUCTURES; FIRST ORDER; FIRST ORDER LOGIC;

COMPUTER CIRCUITS;

EID: 84944036638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45504-3_12     Document Type: Conference Paper

References (18)

1. ACM, editor. Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA’99, volume 34 (10) of ACM SIGPLAN notices. ACM, ACM Press, 1999.
2. R. France. A problem-oriented analysis of basic uml static modeling concepts. In ACM [1].
3. M. Gogolla and M. Richters. On constraints and queries in UML. In Schader and Korthaus [15], pages 109–121.
4. A. Hamie. A formal semantics for checking and analysing UML models. In L. Andrade, A. Moreira, A. Deshpande, and S. Kent, editors, Proceedings of the OOPSLA’ 98 Workshop on Formalizing UML. Why? How?, 1998.
5. A. Hamie, J. Howse, and S. Kent. Navigation expressions in object-oriented modelling. In FASE’98.
6. A. Hamie, J. Howse, and S. Kent. Interpreting the object constraint language. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, July 1998.
7. N. Immerman. Languages that capture complexity classes. SIAM J. of Computing, 16(4):760–778, 1987.
8. S.-K. Kim and D. Carrington. Formalizing the UML class diagram using Object-Z. volume 1723 of LNCS, pages 83–98. Springer, 1999.
9. P. Krishnan. Consistency Checks for UML. In Proceedings of the Asia Pacific Software Engineering Conference (APSEC 2000), pages 162–169, December 2000.
10. L. Mandel and M. V. Cengarle. On the expressive power of OCL. In FM’99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I, volume 1708 of LNCS, pages 854–874. Springer, 1999.
11. OMG. Object constraint language specification, version 1.3. chapter 7 in [12]. OMG Document, March 2000.
12. OMG. OMG unified modeling language spezification, version 1. 3. OMG Document, March 2000.
13. J.-E. Pin. Logic on words. Bulletin of the EATCS, 54:145–165, 1994.
14. M. Richters and M. Gogolla. On formalizing the UML object constraint language OCL. In T. W. Ling, S. Ram, and M. L. Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER’98), pages 449–464. Springer, Berlin, LNCS 1507, 1998.
15. M. Schader and A. Korthaus, editors. The Unified Modeling Language: technical aspects and applications. Physica-Verlag, 1998.
16. H. Straubing, Finite Automata, Formal Logic, and Circuit Complexity. Progress in Theoretical Computer Science. Birkh;auser, 1994.
17. W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics, pages 135–192. Elsevier, Amsterdam, 1990.
18. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Object Technology Series. Addison-Wesley, Reading/MA, 1999.