Liberating object-oriented modeling from programming-level abstractions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1357, Issue , 1998, Pages 195-199

  Kurki Suonio, Reino ^a   Mikkonen, Tommi ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; SPECIFICATIONS;

DESIGN DECISIONS; IMPLEMENTABILITY; INTERMEDIATE LEVEL; LEVEL OF ABSTRACTION; OBJECT ORIENTED; OBJECT ORIENTED MODEL; OPERATIONAL MODEL; TEMPORAL PROPERTY;

OBJECT ORIENTED PROGRAMMING;

EID: 84957600967     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69687-3_40     Document Type: Conference Paper

References (17)

1. Achuthan, R., Alagar, V. S., Radhakrishnan, T., A formal methodology for object-oriented development of real-time reactive systems, Workshop on Object-Oriented Real-Time Systems (OOPSLA'94), Oct 1994.
2. Back, R. J. R., Kurki-Suonio, R., Decentralization of process nets with a centralized control, Proc. 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Aug 1983, 131-142.
3. Chandy, K. M., Misra, J., Parallel Program Design, A Foundation, Addison-Wesley 1988.
4. Dijkstra, E. W., A Discipline of Programming, Prentice Hall 1976.
5. Järvinen, H.-M., Kurki-Suonio, R., Sakkinen, M, Systä, K., Object-oriented specification of reactive systems, Proc. 12th Int. Conf. on Software Eng., 1990, 63-71.
6. Kilov, H., Mogill, H., Simmonds, I., Invariants in the trenches, Object-Oriented Behavioral Specifications (Eds. H. Kilov and W. Harvey), Kluwer 1996, 77-100.
7. Kilov, H., Ross, J., Information Modeling: An Object-Oriented Approach, Prentice Hall 1994.
8. Korson, T., McGregor, J. D., Understanding object-oriented: a unifying paradigm, Comm. ACM 33, 9, Sep 1990, 40-60.
9. Kurki-Suonio, R., Fundamentals of object-oriented specification and modeling of collective behaviors, Object-Oriented Behavioral Specifications (Eds. H. Kilov and W. Harvey), Kluwer 1996, 101-120.
10. Lamport, L., The temporal logic of actions, Transactions on Programming Languages and Systems 16, 3, May 1994, 872-923.
11. Lano, K., Haughton, H., (Eds.), Object-Oriented Specification Case Studies, Prentice Hall 1994.
12. Madsen, O. L., Open issues in object-oriented programming-a Scandinavian perspective, Software-Practice and Experience 25(S4), Dec 1995, 3-43.
13. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W., Object-Oriented Modeling and Design, Prentice Hall 1991.
14. Wegner, P., Why interaction is more powerful than algorithms, Comm. ACM 40, 5, May 1997, 80-91.
15. Willis, C. P., Analysis of inheritance and multiple inheritance, Software Engineering Journal, July 1996, 215-224.
16. ANSI X3H7 OODBTG Reference Model, Available at .
17. DisCo, Available at .