Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate
1997-10-14
2001-01-30
Stamber, Eric W. (Department: 2763)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Software program
C717S152000, C717S152000, C717S152000, C345S440000
Reexamination Certificate
active
06182024
ABSTRACT:
BACKGROUND OF THE INVENTION
1. Field of the Invention
This invention relates in general to object-oriented programming systems, and in particular, to a method for adding sequentiality to an arc language in an object modeling tool used in an object-oriented programming system.
2. Description of Related Art
Object modeling tools are available that provide an executable visual specification language for modeling the dynamic behavior of objects. An example is object modeling tools that are used to specify finite state machines (FSMs) of the Mealy machine variety, which are used extensively in telecommunication protocol design and object-oriented computer-assisted software engineering (CASE).
The reactive behavior of each object is specified by associating an extended finite-state machine with the object or by using object integration diagrams. The finite-state machines use an arc-language for behavioral specifications, while object interaction diagrams use constructs similar to the arc-language. Generally, each arc consists of an event-condition-actions triple: an “event” is a trigger in time, which may result in a state transition, concurrently initiating the actions, provided the corresponding condition holds.
However, existing arc-languages are weak on two counts: they cannot directly express sequencing of actions, and there is no way to refine conditions within the visual framework. The present invention solves these problems by introducing an additional connective for sequencing of actions and extending conditions to invoke events. Since it is preferable to remove some of the duality between methods and events, the present invention also incorporates return values from events.
SUMMARY OF THE INVENTION
To overcome the limitations in the prior art described above, and to overcome other limitations that will become apparent upon reading and understanding the present specification, the present invention discloses a method, apparatus, and article of manufacture for object modeling. An object model is created in a computer using an executable visual specification language to model behaviors of one or more objects within the object model. A sequence of actions can then be expressed within the executable visual specification language for the behaviors of the objects within the object model.
REFERENCES:
patent: 4885717 (1989-12-01), Beck et al.
patent: 5297150 (1994-03-01), Clark
patent: 5408597 (1995-04-01), Kita et al.
patent: 5555201 (1996-09-01), Dangelo et al.
patent: 5615333 (1997-03-01), Juettner et al.
patent: 5680332 (1997-10-01), Raimi et al.
patent: 5794040 (1998-08-01), Ono et al.
patent: 5870590 (1999-02-01), Kita et al.
patent: 5893913 (1999-04-01), Brodsky et al.
patent: 5895472 (1999-04-01), Brodsky et al.
patent: 5907706 (1999-05-01), Brodsky et al.
patent: 5910958 (1999-06-01), Jay et al.
patent: 5917498 (1999-06-01), Korenshtein
patent: 5960199 (1999-09-01), Brodsky et al.
patent: 5983016 (1999-11-01), Brodsky et al.
patent: 5991536 (1999-11-01), Brodsky et al.
patent: 6011559 (2000-01-01), Gangopadhyay et al.
Gangopadhyay, Dipayan, et al., Research Report, “ObjChart-Builder: An Environment for Executing Visual Object Models”, IBM Research Division, pp. 1-16, Apr. 29, 1993.
Gangopayhyay, Dipayan, et al., “ObjChart: Tangible Specification of Reactive Object Behavior”,Proceedings of the Seventh European Conference on Object Oriented Programming, Jul. 26-30, 1993, pp. 432-457.
Misra, Jayadev, “Equational Reasoning About Nondeterministic Processes”,Formal Aspects of Computing, vol. 2, No. 2, pp. 167-195, Apr.-Jun. 1990.
“ObjChart-builder: An Environment for Executing Visual Models”, Gangopadhyay et al., 1993.
“ObjChart: Tangible Specification of Reactive Object Behavior”, Gangopadhyay et al., 1993, Object-Oriented Programming, 7th European Conference.
“Contracts: Specifying Behavioral Compositions in Object Oriented Systems”, Helm et al., ECOOP/OOPSLA 1990 Proceedings.
“Monitoring Semantics: A Formal Framework for Specifying Implementing, and Reasoning about Execution Monitors”, Kishon et al., ACM 1991.
“The UAN: A User Oriented Representation for Direct Manipulation Interface Designs”, Hartson et al. ACM Transactions on Information Systems, vol. 8, No. 3, Jul. 1990, pp. 181-203.
Rational Rose, “Using Rational Rose 4.0”, Rational Software Company, 1996.
“Object Oriented Specification and its Generation for Compiler”, Wu et al, ACM 1992.
“A New Formalism for Discrete Event Simulation”, Radiya et al., 1987.
“Report on the Workshop Framework—Centered Software Development”, Gangopadhyay et al., 1995.
“Attribute GrammarParadigms—A High Level Methodology in Language Implementation”, Paakki, 1995.
Gangopadhyay Dipayan
Mitra Subrata
Gates & Cooper
International Business Machines - Corporation
Stamber Eric W.
Thomson William
LandOfFree
Modeling behaviors of objects associated with finite state... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Modeling behaviors of objects associated with finite state..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling behaviors of objects associated with finite state... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2497690