Abstract
ObjChart is a new visual formalism to specify objects and their reactive behavior. A system is specified as a collection of asynchronously communicating objects arranged in a part-of hierarchy, where the reactive behavior of each object is described by a finite state machine. Value propagation is effected using functional invariants over attributes of objects. A compositional semantics for concurrent object behavior is sketched using the equational framework of Misra.
In contrast to other Object Oriented modeling notations, ObjChart uses object decomposition as the single refinement paradigm, maintains orthogonality between control flow and value propagation, introduces Sequence object which embodies structural induction, and allows tracing causality chains in time linear in the size of the system. ObjChart’s minimality of notations and precise semantics make ObjChart models of systems coherent and executable.
“The term ObjChart was introduced in a video tutorial (Object-oriented paradigm, IEEE Video Press, No. 2096AV, May 1990).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Beax, D. Coleman, F. Hayes and P. Allen. Graphical specification of object-oriented systems. In Proc. OOPSLA/ECOOP’ 90 Vol. 25, No. 10, pages 28–37, 1990.
G. Booch. Object-oriented design with applications. The Benjamin Cummings Publishing Company Inc., 1991.
J. D. Brock and W. B. Ackerman. Scenarios: a model of nondeterminate computation. In Formalization of programming concepts, LNCS 107, pages 252–259, 1981.
B. Bruegge, J. Blythe, J. Jackson and J. Shufelt. Object-oriented system modeling with OMT. In Proc. OOPSLA’ 92 Vol. 27, No. 10, pages 359–376, 1992.
K. M. Chandy and J. Misra. Parallel program design. Addison-Wesley, 1989.
D. Coleman, F. Hayes and S. Bear. Introducing ObjectCharts or how to use Statecharts in object-oriented design. IEEE Transactions on Software Engineering, Vol. 18, No. 1, 1992.
N. Davis. Problem Set for the Fourth Int. Workshop on Software Specification and Design. In Proc. of the Fourth IEEE Int. Workshop on Software Specification and Design, Monterey, USA, 1989.
D. Gangopadhyay, S. Mitra and S. S. Dhaliwal. ObjChart-Builder: An environment for executing visual object models. IBM Technical Report. Submitted for publication. 1993.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, Vol. 8, pages 231–274, 1987.
D. Harel, A. Pnueli, J. P. Schmidt and R. Sherman. On the formal semantics of Statecharts. In Proc. of the Second IEEE Symp. on Logic in Computer Science, pages 54–64, 1987.
D. Harel. On visual formalisms. Communications of the ACM, Vol. 31(5).
D. Harel et al. Statemate: A working environment for the development of complex reactive systems. In Proc. of the Tenth Int. Conf. on Software Engg., pages 396–406, 1988.
F. Hayes and D. Coleman. Coherent models for object-oriented analysis. In Proc. OOPSLA’ 91, Vol. 26, No. 11, pages 171–183, 1991.
R. Helm, I. M. Holland and D. Gangopadhyay. Contracts: specifying behavioral compositions in object-oriented systems. In Proc. OOPSLA/ECOOP’ 90, Vol. 25, No. 10, pages 169–180, 1990.
B. Jonsson. A Fully Abstract Trace Model for Dataflow Networks. In Proceedings of the sixteenth annual Symposium on Principles of Programming Languages, pages 155–165, 1989.
Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent Systems. Springer-Verlag, 1992.
J. Misra. Equational reasoning about nondeterministic processes. Formal Aspects of Computing, Vol. 2, pages 167–195, 1990.
A. Pnueli. Application of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency, LNCS 224, pages 510–584, 1986.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen. Object-oriented modeling and design. Prentice-Hall, 1991.
S. Shlaer and S. Mellor. Object-oriented systems analysis. Yourdon Press, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gangopadhyay, D., Mitra, S. (1993). ObjChart: Tangible Specification of Reactive Object Behavior. In: Nierstrasz, O.M. (eds) ECOOP’ 93 — Object-Oriented Programming. ECOOP 1993. Lecture Notes in Computer Science, vol 707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47910-4_22
Download citation
DOI: https://doi.org/10.1007/3-540-47910-4_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57120-9
Online ISBN: 978-3-540-47910-9
eBook Packages: Springer Book Archive