Constraint animation using an object-oriented declarative language

Proceedings of the Annual Southeast Conference

Volumn 2000-April, Issue , 2000, Pages 1-10

  Gray, Jeff ^a   Schach, Stephen ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; SPECIFICATION LANGUAGES;

DECLARATIVE LANGUAGES; END USERS; OBJECT ORIENTED; SPECIFICATION ANIMATIONS; UML DIAGRAMS; UML/OCL;

FORMAL SPECIFICATION;

EID: 84952667117     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1127716.1127718     Document Type: Conference Paper

References (51)

1. Berry, Daniel M., "Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep," Requirements Engineering Journal, 3:3&4, 1999, pp. 242-244.
2. Blum, Bruce, "A Taxonomy of Software Development Methods," Communications of the ACM, November 1994, pp. 82-94.
3. Booth, Grady, James Rumbaugh, and Ivar Jacobson, The Unified Modeling Language User Guide, Addison-Wesley. Reading, Ma, 1999.
4. Bourdeau, Robert H., and Betty C. Cheng, "A Formal Semantics for Object Model Diagrams," IEEE Transactions on Software Engineering, October 1995, pp. 799-821.
5. Boyd, Nik, "Using Natural Language in Software Development," The Journal of Object-Oriented Programming, February 1999, pp. 45-55.
6. Bruel, J.M., R.B. France, and E.B. Femdandez, "Formal Specification of a Multimedia Conferencing Authorization System," Proceedings of the Fifth OOPSLA Workshop on Specification of Behavioral Semantics, Haim Kilov and V.J. Harvey, Eds., San Jose, CA, October 1996, pp. 19-32.
7. Carrington, David, David Duke, Roger Duke, Paul King, Gordon Rose, and Graeme Smith, "Object-Z: An Object-Oriented Extension to Z," Formal Description Techniques 11 (1989), North-Holland, 1990, pp. 281-296.
8. Davis, Herbert, Ed., "A Critical Essay Upon the Faculties of the Mind," in Jonathan Swirl-Tale of a Tub: With Other Early Works, Basil Blackwell & Mott Ltd., Oxford, UK, 1965.
9. D∫rr, E.H., and N. Plat, "VDM++ Language Reference Manual," Afrodite (ESPRIT-HI project number 6500) document AFRO/CG/ED/LRM/V10, Cap Volmac, August 1995, pp. 1-85.
10. Easterbrook, Steve M., and John Callahan, "Formal Methods for V&V of Partial Specifications: An Experience Report," Proceedings of the Third 1EEE International Symposium on Requirements Engineering, Annapolis, Maryland, January 5-8, 1997.
11. Finney, Kate, "Mathematical Notation in Formal Specification: Too Difficult for the Masses?" IEEE Transactions on Software Engineering, February 1996, pp. 158-159.
12. Fuchs, Norbert, "Specifications are (Preferably) Executable", lEE Software Engineering Journal, September 1992, pp. 323-334.
13. Goodenough, John, and Susan Gerhart, "Towards a Theory of Test Data Selection," 1EEE Transactions on Software Engineering, June 1975, pp. 156-173.
14. Goodman, Howard S., "Animating Z Specifications in Haskell Using a Monad," School of Computer Science, University of Birmingham, England, November 1993, pp. 1-28.
15. Gordon, V.S., and J.M. Bieman, "Rapid Prototype Lessons Learned," IEEE Software, January 1995, pp. 85-95.
16. Gravell, Andrew and Peter Henderson, "Executing Formal Specifications Need Not Be Harmful," IEE Software Journal, March 1996, pp. 104-110.
17. Gray, Jeff, "Improving Completeness and Consistency in Object-Oriented Analysis through Adaptable Formalisms," ACM Mid-Southeast Conference, Gatlinburg, TN, November 1995.
18. Hall, Anthony, "Seven Myths of Formal Methods," IEEE Software, September 1990, pp. 11-19.
19. Harel, David, "On Modeling and analyzing Object Behavior," Keynote Address, OOPSLA '97, Atlanta, GA, October 1997.
20. Harel, David, and Eran Gery, "Executable Object Modeling with Statecharts," IEEE Computer, July 1997, pp. 31-42.
21. Hayes, I.J., and C.B. Jones, "Specifications are Not (Necessarily) Executable," lEE Software Engineering Journal, November 1989, pp. 330-338.
22. Hasselbring, W., "Animation of Object-Z Specifications with a Set-Oriented Prototyping Language," Z User Workshop, June 1994, pp. 337-356.
23. Hazel, Daniel, Paul Strooper, and Owen Traynor, "Possum: An Animator for the SUM Specification Language," Technical Report 97-10, Software Verification Research Centre, Department of Computer Science, The University of Queensland, Brisbane, Queensland, Australia, 1997.
24. Hewitt, M.A., C.M. O'Halloran, and C.T. Sennett, "Experiences with PiZa, an Animator for Z", ZUM '97: The Z Formal Specification Notation, Lecture Notes in Computer Science 1221, Springer-Verlag pp. 37-51.
25. Hill, I.D., "Wouldn't It Be Nice If We Could Write Computer Programs in Ordinary English-or Would It?" The Computer Bulletin, June 1972, pp. 306-312.
26. Hoare, C,A.R, "An Overview of Some Formal Methods for Program Design," 1EEE Computer, September 1987, pp. 85-91.
27. Keil, Mark, and Erran Carmel, "Customer-Developer Links in Software Development," Communications of theACM, May 1995, pp. 33-44.
28. Kent, Stuart, "Constraint Diagrams: Visualizing Invariants in Object-Oriented Models," Twelfth Annual OOPSLA Conference, Atlanta, GA, October 1997, pp. 327-341.
29. Kilov, Hairn, Bernhard Rnmpe, and Ian Simmonds, Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, TUM-I9820, Technische Universit←t M∫nchen, 1998.
30. Knott, Ron, and Paul Krause, "The Implementation of Z Specifications using Program Transformation Systems: The SuZan Project," The Unified Computation Laboratory, C.M.I. Rattray and R.G. Clark (eds.), The Institute of Mathematics and Its Applications, Oxford University Press, 1992, pp. 207-220.
31. Lano, Kevin, and Howard Haughton, Object-Oriented Specification Case Studies, Prentice-Hall International, London, UK, 1994.
32. Ledeczi A., Maroti M., Karsai G., Nordstrom G.: "Metaprogrammable Toolkit for Model-Integrated Computing", Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, Nashville, TN, March 1999.
33. Lewis, C. S., Studies in Words, 2 "ded., Cambridge University Press, Cambridge, England, 1967.
34. Meyer, Bertrand, "On Formalism in Specifications," IEEE Software, January 1985, pp. 6-26.
35. Moss, Chris, Prolog++: The Power of Object-Oriented Programming, Addison-Wesley, 1994.
36. Naur, Peter, "Programming by Action Clusters," BIT, vol. 9, no. 3, 1969, pp. 250-258.
37. Neumann, Peter G., "Only His Only Grammarian Can Only Say What Only He Means," ACM SIGSOFT Software Engineering Notes, January 1984, pg. 6.
38. Nordstrum, Greg, Janos Sztipanovits, Gabor Karsai, and Akos Ledeczi, "Metamodeling-Rapid Design and Evolution of Domain-Specific Modeling Environments," Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, March 1999.
39. Object Constraint Language Specification, Version 1.1, Object Management Group, September 1997.
40. The Oxford English Dictionary, 2 "d ed., Oxford University Press, Oxford, England, I989.
41. Petre, Marian, "Why Looking Isn't Always Seeing: Readership Skills and Graphical Programming," Communications of the ACM, June 1995, pp. 33-44.
42. Schach, Stephen R., Classical and Object-Oriented Software Engineering with UML and C + +, WCB/McGraw-Hill, 1999.
43. Siddiqi, Jawed, Ian Morrey, Graham Buckberry, and Richard Hibberd, "Towards CASE Tools for Prototyping Z Specifications," CASE '93, pp. 166-173.
44. Spivey, J.M., The Z Notation: A Reference Manual, Prentice-Hall, New York, NY, 1992.
45. Stepney, Susan, Rosalind Barden, and David Cooper, Eds., Object Orientation in Z, Springer-Verlag, 1992.
46. Sztipanovits Janos, and Gabor Karsai, "Model-Integrated Computing", IEEE Computer, April 1997, pp. 110-112.
47. Utting, Mark, "Animating Z: Interaetivity, Transparency and Equivalence," Technical Report No. 94-40, Software Verification Research Centre, Department of Computer Science, The University of Queensland, Brisbane, Queensland, Australia, 1994.
48. Warmer, Jos, and Anneke Kleppe, The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, Reading, MA, 1999.
49. Warmer, Jos, and Anneke Kleppe, "OCL: The Constraint Language for UML," The Journal of Object-Oriented Programming, May 1999, pp. 10-13.
50. West, Margaret M., and Barry M. Eaglestone, "Software Development: Two Approaches to Animation of Z Specifications Using Prolog," IEE Software Engineering Journal, July 1992, pp. 264-276.
51. Xiaoping, Jia, "ZANS: A Z Animation System," School of Computer Science, DePaul University, Chicago, Illinois, 1995.