A type system for object models

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2004, Pages 189-199

  Edwards, Jonathan ^a   Jackson, Daniel ^a   Torlak, Emina ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Alloy; Object models; OCL; Relational logic; Specification languages; Type systems; Vacuity detection; Z

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; ERRORS; MATHEMATICAL MODELS; ONLINE SYSTEMS; ROBUSTNESS (CONTROL SYSTEMS);

LANGUAGE CONSTRUCTS; OBJECT MODELS; RELATIONAL LOGIC; TYPE SYSTEMS; VACUITY DETECTION;

OBJECT ORIENTED PROGRAMMING;

EID: 20344384564     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1041685.1029921     Document Type: Conference Paper

References (14)

1. The Alloy Modelling Language and Analyzer. Papers and tool available at: http://alloy.mit.edu. Software Design Group, Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, MA.
2. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer and Moshe Y. Vardi. Enhanced Vacuity Detection in Linear Temporal Logic. Computer-Aided Verification, Boulder, Colorado, July 2003.
3. R. Duke, G. Rose, and G. Smith. Object-Z: A Specification Language Advocated for the Description of Standards. Technical Report 94-45, Software Verification Research Centre, School of Information Technology, The University of Queensland, December 1994.
4. Jonathan Edwards, Daniel Jackson, Emina Torlak and Vincent Yeung. Subtypes for Constraint Decomposition. International Symposium on Software Testing and Analysis, Boston, MA, July 2004.
5. Nevin Heinze. Set-based analysis of ML programs. Proceedings of the ACM Conference on Lisp and Functional Programming, pp. 306-317.
6. Daniel Jackson. Automating First-Order Relational Logic. Proc. ACM SIGSOFT Conf. Foundations of Software Engineering, November 2000.
7. Daniel Jackson, Ilya Shlyakhter and Manu Sridharan. A Micromodularity Mechanism. Proc. ACM SIGSOFT Conf. Foundations of Software Engineering/European Software Engineering Conference, Vienna, September 2001.
8. Leslie Lamport and Lawrence C. Paulson. Should your specification language be typed? ACM Transactions on Programming Languages and Systems, 21 (3): 502-526, 1999.
9. Response to the UML 2.0 OCL RFP. Submitters: Boldsoft, Iona, Rational Software Corporation, and Adaptive Ltd. OMG Document ad/2003-01-07. Available at: http://www.klasse.nl/ocl/.
10. John Rushby. Subtypes for Specification. IEEE Transactions on Software Engineering, Volume 24, Number 9. September 1998, pp. 709-720.
11. Andy Schürr. New Type Checking Rules for OCL Expressions. Proc. Workshop Modellierung 2001, Bad Lippspringe, Germany, March 2001, pp. 91-100.
12. J. Michael Spivey. The Z Notation: A Reference Manual. Second edition, Prentice Hall, 1992.
13. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999.
14. Information technology - Z formal specification notation - Syntax, type system and semantics. ISO Standard ISO/IEC 13568:2002.