David A. Schmidt
ABSTRACT
Widely used in object-oriented programming, the Unified Modelling Language (UML) is largely ignored by the declarative programming community. this paper attempts to introduce the UML and provide reasons for its adoption by declarative programmers as both a design methodology and as a novel application area.
- G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison Wesley, 1999. Google Scholar
Digital Library
- M. Fowler. UML Distilled. Addison-Wesley, 1997.Google Scholar
- D. Garlan. Course notes for architectures for software systems, Carnegie Mellon University, Spring 1998. http://www.cs.cmu.edu/afs/cs/project/tinker-arch/www/html/index.html, 1998.Google Scholar
- D. Garlan and M. Shaw, An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge, pages 1--39. World Scientific, 1993Google ScholarCross Ref
- IBM. Object constraint language. http://www-4.ibm.com/software/ad/standards/ocl.html, 2000.Google Scholar
- D. Jackson. Alloy: a lightweight modelling notation. Technical Report 797, MIT Lab. for Computer Science, http://sdg.lcs.mit.edu/"jackson, 2000.Google Scholar
- D. Jackson, I. Schechter, and I. Shlyakhter. Alcoa: the Alloy constraint analyzer. In Proc. International Conference on Software Engineering, Limerick, Ireland 2000. Google ScholarDigital Library
- I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999. Google ScholarDigital Library
- B. Jayaraman and P. Tambay. Constrained objects for modeling complex structures. In Proc. ACM Conf. OOPSLA, 2000. Google ScholarDigital Library
- G. Kiczales, et al. Aspect-oriented programming. In Proceedings of European Conf. on Object-Oriented Programming, LNCS 1241, Springer, 1997.Google ScholarCross Ref
- M. Mizuno. A pattern-based approach to developing concurrent programs in UML--Parts 1 and 2. Technical Reports 2001--2 and 2001--3, Computing and Info. Sciences Department, Kansas State University, 2001.Google Scholar
- M. Mizuno, G. Singh, and M. Nielsen. A structured approach to develop concurrent programs in UML. In Proc. Third International Conference on UML, pages 541--565. LNCS 1939, Springer, 2000. Google ScholarDigital Library
- R. Pooley and P. Stevens, Using UML. Addison Wesley, 1999.Google Scholar
- Precise UML Group. http://www.cs.york.ac.uk/puml.Google Scholar
- M. Shaw and D. Garlan. Software Architecture: Pespectives on an Emerging Discipine. Prentice Hall, 1996. Google ScholarDigital Library
- P. Wolper. The meaning of "formal": from weak to strong formal methods. Int'l J. Software Tools for Technology Transfer, 1:6--8, 1997Google ScholarDigital Library
Index Terms
- Should UML be used for declarative programming?
Recommendations
A Predicate Construct for Declarative Programming in Imperative Languages
PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative ProgrammingImperative and object-oriented programming languages are among the most common languages for general-purpose programming. These languages work well for handling many common tasks necessary for most applications. However, there are still many hard ...
Comments