David Harel, Orna Kupferman  Home/Search
Context Related
Links: ACM DBLP | wisdom.weizmann.ac...ralInheritance.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisdom.weizmann.ac.il/~dharel/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider state-based behavior in object-oriented analysis and design, as it arises, for example, in specifying behavior in the UML using statecharts. We first provide a rigorous and analyzable model of object systems and their reactivity. The definition is for basic one-thread systems, but can be extended in appropriate ways to more elaborate models. We then address the notion of inheritance and behavioral conformity and the resulting substitutability of classes, whereby inheriting should ... (Update)
Cited by: More
Deductive Verification of UML Models in TLPVS - Arons, Hooman, Kugler.. (2004) (Correct)
Behavioral Substitutability in Component Frameworks: A.. - Moisan, Ressouche.. (2003) (Correct)
Active bibliography (related documents): More All
0.3: A Road Map for Implementing Systems Engineering - Dean, Bentz (1997) (Correct)
0.3: A Framework For Extending Object-Oriented Applications With.. - Garrido, ROSSI (1996) (Correct)
0.1: Integrating Semantics for Object-Oriented System Models - Große-Rhode (Correct)
Similar documents based on text: More All
0.2: Fair Simulation - Henzinger, Kupferman, Rajamani (1998) (Correct)
0.2: Conformity and Integration of Software Processes - Breu, Huber, Schwerin (Correct)
0.1: Alternating Refinement Relations - Alur, Henzinger, Kupferman, Vardi (1998) (Correct)
BibTeX entry: (Update)
D. Harel and O. Kupferman. On object systems and behavioral inheritance. IEEE Trans. Software Engineering, 28(9):889--903, 2002. http://citeseer.ist.psu.edu/harel02object.html More
@misc{ harel02object,
author = "D. Harel and O. Kupferman",
title = "On object systems and behavioral inheritance",
text = "D. Harel and O. Kupferman. On object systems and behavioral inheritance.
IEEE Trans. Software Engineering, 28(9):889--903, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/harel02object.html" }
Citations (may not include all citations):1174 Statecharts: A Visual Formalism for Complex Systems - Harel - 1987
1002 Programming Language (context) - Stroustrup
542 Object-Oriented Software Engineering: A Use Case Driven Appr.. (context) - Jacobson - 1992
484 A Calculus of Communicating Systems (context) - Milner
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999 ACM
183 Executable Object Modeling with Statecharts - Harel, Gery - 1997 ACM DBLP
125 Object-Oriented Analysis and Design (context) - Booch - 1994 ACM
106 An Algebraic Definition of Simulation between Programs (context) - Milner - 1971
92 A Behavioral Notion of Subtyping - Liskov, Wing - 1994
91 Inheritance as an Incremental Modification Mechanism or What.. (context) - Wegner, Zdonik - 1974
79 LSCs: Breathing Life into Message Sequence Charts - Damm, Harel - 2001 ACM DBLP
75 Designing Object Systems: Object-Oriented Modelling with Syn.. (context) - Cook, Daniels - 1994
45 Specifications and Their Use in Defining Subtypes (context) - Liskov, Wing
31 On Subtyping and Matching - Abadi, Cardelli - 1995 ACM DBLP
30 the Power of Bounded Concurrency I: Finite Automata - Drusinsky, Harel - 1994
24 Synthesizing State-Based Object Systems from LSC Specificati.. - Harel, Kugler - 2001 ACM DBLP
16 Verification of Fair Transition Systems - Kupferman, Vardi - 1998 ACM
7 Behavioural Subtyping Relations for Object-Oriented Formalis.. - Fischer, Wehrheim - 2000 ACM DBLP
3 New York: Prentice Hall (context) - Rumbaugh, Modeling - 1993
1 the Complexity of Verifying Concurrent Transisition Systems (context) - Harel, Kupferman et al. - 2002
1 available from the Object Management Group (context) - on, nified et al. - 2002
1 Regular Types for Active Objects (context) - Nierstasz - 1995 ACM DBLP
1 UML Behavior: Inheritance and Implementation in Current Obje.. (context) - Sourrouille - 1999 DBLP
1 inear and Branching Structures in the Semantics and Logics o.. (context) - Pnueli
1 The Comptementation Problem for Biichi Automata with Applica.. (context) - Sistla, Vardi et al.
http://www.ilogix.com/
Documents on the same site (http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/): More
Propositional Dynamic Logic of Nonregular Programs - Harel, Pnueli, Stavi (1983) (Correct)
Statecharts: A Visual Formalism For Complex Systems - Harel (1987) (Correct)
Beauty is in the Genes of the Beholder - Harel, Unger, Sussman (1984) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC