Abstract
Object-oriented software development emphasizes the use of abstractions. Inheritance is used for factoring common structure and functionality to abstract classes, providing abstract interfaces to objects. This helps in avoiding premature implementation bias.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Awad, M. and Ziegler, J. (1997). A pracatical approach to object-oriented state modeling. Software - Practice and Experience, 27 (3): 311 - 328, Mar. 1997.
Back, R.J.R and Kurki-Suonio, R. (1988). Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, (10):513-445.
Buschmann, F., Meunier, R., Rohneert, H., Sommerlad, P., and Stal, M. (1996) A System of Patterns. John Wiley & Sons.
Durr, E.H. and van Katwijk, J. (1992). VDM++ - A formal specification language for object-oriented designs. In Technology of Object-oriented Languages and Systems,Prentice-Hall International, pages 63-78. Proceedings of Tools Europe '92.
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley.
Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8 (3): 231 - 274, June 1987.
Isojärvi, S. (1997). DisCo and Nokia: Experiences of DisCo with modeling real-time system in multiprocessor environment. FMEIndSem'97, Otaniemi, Finland, February 20, 1997.
Järvinen, H.-M. and Kurki-Suonio, R. (1991). DisCo specification language: marriage of actions and objects. In Proceedings of the 11th International Conference on Distributed Computing Systems, IEEE Computer Society Press, pages 142 - 151.
Järvinen, H.-M., Kurki-Suonio, R., Sakkinen, M., and Systä, K. (1990). Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, IEEE Computer Society Press, pages 63 - 71.
Kellomäki, P. (1997). Verification of reactive systems using DisCo and PVS. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, number 1313 in Lecture Notes in Computer Science, Springer-Verlag, pages 589 - 604.
Kurki-Suonio, R. and Mikkonen, T. (1997). Liberating object-oriented modeling from programming-level abstractions. In J. Bosch and S. Mitchell, editors, Object-Oriented Technology: ECOOP'97 Workshop Reader, number 1357 in Lecture Notes in Computer Science, Springer-Verlag, pages 195 - 199.
Lamport, L. (1994). The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16 (3): 872 - 923, May 1994.
Lano, K.C. (1991). Z++, an object-orientated extension to Z. In J.E. Nicholls, editor, Z User Workshop, Oxford 1990, Workshops in Computing, Springer-Verlag, pages 151 - 172.
Owre, S., Rushby, J.M., and Shankar, N. (1992). PVS: A prototype verification system. In D. Kapur, editor, 11th International Conference on Automated Deduction, number 607 in Lecture Notes in Artificial Intelligence, Springer-Verlag, pages 748 - 752.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. (1991). Object-Oriented Modeling and Design. Prentice Hall.
Systä, K. (1991). A graphical tool for specification of reactive systems. In Proceedings of the Euromicro'91 Workshop on Real-Time Systems, IEEE Computer Society Press, pages 12 - 19.
Weiser, M. (1982). Programmers use slices when debugging. Communication of the ACM, 25 (7): 446 - 452, July 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Kellomäki, P., Mikkonen, T. (1999). Modeling Distributed State as an Abstract Object. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems. DIPES 1998. IFIP — The International Federation for Information Processing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35570-2_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive