On behavioral descriptions in object-oriented modeling

Journal of Systems and Software

Volumn 34, Issue 2, 1996, Pages 105-121

  Mili, Hafedh ^a  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONSTRAINT THEORY; DATABASE SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; PROGRAMMING THEORY; SOFTWARE ENGINEERING; THEOREM PROVING;

BEHAVIORAL DESCRIPTIONS; BEHAVIORAL SPECIFICATIONS; DESIRABLE FUNCTIONAL PROPERTIES; FORMAL CHARACTERIZATION; OBJECT ORIENTED MODEL; OBJECTS BEHAVIORS;

OBJECT ORIENTED PROGRAMMING;

EID: 0030215126     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(95)00069-0     Document Type: Article

References (15)

1. Agha, G., and Hewitt, C., Actors: A conceptual foundation for concurrent object-oriented programming, in Research Directions in Object-Oriented Programming (P. Wegner, ed.), MIT Press, 1987, pp. 49-74.
2. Aksit, M., and Bergmans, L., Obstacles in object-oriented software development, in Proceedings of OOPSLA'92, ACM Press, 1992, pp. 341-358.
3. Borning, A., and Duisberg, R., Constraint-Based Tools for Building User Interfaces, ACM Trans. Graphics 5, 345-374 (1986).
4. Bretl, R., Maier, D., Otis, A., Penney, J., Schuchardt, B., Stein, J., Williams, E. H., and Williams, M., The Gem-Stone data management system, in Object-Oriented Concepts, Databases, and Applications (W. Kim, ed.), Addison Wesley, 1989.
5. Darden, L., and Rada, R., Hypothesis formation using part-whole interrelations, in Analogical Reasoning: Perspectives in Philosophy and Artificial Intelligence (D. Helman, ed.), Reidel, Dordrecht, Netherlands, 1988.
6. Fichman, R. G., and Kemerer, C. F., Object-Oriented and Conventional Analysis and Design Methodologies: Comparison and Critique, Computer 25 (10) 22-39 (1992).
7. Goldberg, A., SmallTalk-80: The Interactive Programming Environment, Addison-Wesley, Reading, Massachusetts, 1984.
8. Hailpern, B., and Nguyen, V., A model for object-based inheritance, in Research Directions in Object-Oriented Programming, MIT Press, Boston, 1987, pp. 147-164.
9. King, R., My cat is object-oriented, in Object-Oriented Concepts, Databases, and Applications, (W. Kim, ed.), Addison-Wesley, 1989, pp. 199-215.
10. Meyer, B., Object-Oriented Software Construction, Prentice-Hall International, 1988.
11. Mili, H., Consensus Acquisition System for Telecommunication Network: Work Document, Technical Report, Department of Mathematics and Computer Science, University of Quebec at Montreal, 1990.
12. Mili, H., Sibert, J., and Intrator, Y., Constraints in OOP: Representing the Structure and Behavior of Dynamic Systems, Department of Mathematics and Computer Science, University of Quebec at Montreal, 1990a.
13. Mili, H., Sibert, J., and Intrator, Y., An Object-Oriented Model Based on Relations, J. Syst. Software 12, 139-155 (1990b).
14. Reutenauer, C., The Mathematics of Petri Nets, Prentice-Hall, 1990.
15. Wirfs-Brock, R., and Johnson, R. E., Surveying Current Research in Object-Oriented Design, Commun. ACM 33, 105-124 (1990).