Generating OCL specifications and class diagrams from use cases: A Newtonian approach

Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Volumn , Issue , 2003, Pages

  Roussev, B ^a  

^a SUSQUEHANNA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

BEHAVIORAL SYSTEMS; CLASS DIAGRAMS; MODEL TRANSFORMATION; OBJECT ORIENTED MODEL; OCL SPECIFICATIONS; SEAMLESS INTEGRATION; USE CASE MODEL; USE CASE SPECIFICATIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 33746091413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2003.1174886     Document Type: Conference Paper

References (30)

1. S. Ambler, "Toward Executable UML," Soft. Development, Jan. 2002.
2. B. Baber, "Software: Engineering or Pre-engineering? or How (not) to blow up the Ariane 5 and DM1,200 million in 40 seconds," Faculty of Science Lecture, Wits University, Johannesburg, SA, May, 1999.
3. A. Bahrami, Object Oriented Systems Development, McGraw-Hill, 1999.
4. K. Bittner, "Why Use Cases are not Functions," The Rational Edge, Dec. 2000.
5. G. Booch, J.Rumbaugh and I.Jacobson, The Unified Modeling Language, Addison-Wesley, 1999.
6. A. Borgida, J. Mylopoulos, and R. Reiter, "On the Frame Problem in Procedure Specification," IEEE Trans. On Soft. Eng., 21(10), 1995.
7. K. Buhrer, "From Craft to Science: Searching for First Principles of Software Development - Part I," The Rational Edge, Dec. 2000, http://www.therationaledge.com/content/dec-00/f-craftscience.html.
8. A. Clark and A. Moreira, "Use of E-Lotos in adding formality to UML", Journal of Universal Computer Science, 6(11), 2000.
9. A. Cockburn, "Structuring use cases with goals," Journal of Object-Oriented Programming, Sep/Oct and Nov/Dec, 1997.
10. R. Collard, "Small Change, Big Trouble," STQE 4(1), Jan./Feb. 2001, p.14.
11. E. Dijkstra, "The End of Computing Science," Manuscript written for the CACM, Nov. 2000.
12. A. Ek, "Telelogic, the SOMT method," 1995, http://www.telelogic.com/download/paper/somt.pdf.
13. G. Engels, J. Kuster, R. Heckel, and L. Groenewegen, "A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models," ACM ESEC/FSE, Vienna, Austria, 2001.
14. R. France, "A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts," Proc. of OOPSLA, 34(10), Oct. 1999.
15. J. Ivari, "Object-Orientation as Structural, Functional and Behavioral Modeling: A Comparison of Six Methods for Object-Oriented Analysis," Inf. and Software Technology, 37(3), 1995.
16. I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992.
17. I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process, Addison-Wesley, 1999.
18. L. Maciaszek, Requirements Analysis and System Design, Addison Wesley, 2001.
19. J. Magee and J. Kramer, Concurrency: State Models and Java Programs, John Wiley & Sons Ltd., 1999.
20. R. Milner, Communication and Concurrency, International Series in Computer Science, Prentice-Hall, 1989.
21. A. Moreira and J. Araújo, "Generating object-Z specifications from use cases," International Conference on Enterprise Information Systems, Setúbal, Portugal, March 1999
22. Object Management Group, OMG Unified Modeling Language Specification, Version 1.4, Sept. 2001, http://www.omg.org.
23. D.L. Parnas, "Software Engineering: An Unconsummated Marriage", Communications of the ACM, 40(9), September 1997, p. 128.
24. C.A. Petri, Kommunikation mit Automaten, Schriften des Rheinisch, Westfalischen Institutes fur Intrumentelle Mathematik and der Universitat Bonn, 1962.
25. B. Roussev, "The Value Added Invariant: A Newtonian Approach for Generating Class Diagrams from a Use Case Model," WITUML, 16th European Conference on Object-Oriented Programming ECOOP 2002, Malaga, Spain.
26. The Standish Group, http://www.standishgroup.com.
27. J. Warmer, "The Future of UML," OMG Information Day, Amsterdam, March, 2001.
28. J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, Reading, MA, 1998.
29. R. Wieringa, "A Survey of Structured and Object-Oriented Software Specification Methods and Techniques," ACM Computing Surveys, 30(4), Dec. 1998.
30. R. Wirfs-Brock and B. Wilkerson, "Object-oriented design: A responsibility driven approach," In Proc. of OOPSLA'89, pp.71-75, 1989.