Execution engine in an object modeling tool

Details Execution engine in an object modeling tool Execution engine in an object modeling tool

1996-11-12

1999-11-09

Downs, Robert W.

395702, 395704, G06F 945

Patent

active

059830166

ABSTRACT:
A method, apparatus, and article of manufacture for modeling object-oriented systems includes an object modeling tool that defines methods and event transitions in an object-oriented system and generates an executable program that exhibits the behavior of the object-oriented system and interfaces with the object-oriented system. The object modeling tool further translates the event transitions to an execution language, wraps methods written in the target language, wraps event transitions corresponding to an event, and gathers one or more wrapped events and methods into an executable program.

REFERENCES:
patent: 4845665 (1989-07-01), Heath et al.
patent: 5247651 (1993-09-01), Clarisse
patent: 5257363 (1993-10-01), Shapiro et al.
patent: 5315709 (1994-05-01), Alston, Jr. et al.
patent: 5325533 (1994-06-01), McInerney et al.
patent: 5339433 (1994-08-01), Frid-Nielsen
patent: 5390320 (1995-02-01), Smithline
patent: 5390330 (1995-02-01), Talati
patent: 5421015 (1995-05-01), Khoyi et al.
patent: 5437037 (1995-07-01), Furuichi
patent: 5485600 (1996-01-01), Joseph et al.
patent: 5491821 (1996-02-01), Kilis
patent: 5515497 (1996-05-01), Itri et al.
patent: 5528503 (1996-06-01), Moore et al.
patent: 5537630 (1996-07-01), Berry et al.
patent: 5542040 (1996-07-01), Chang et al.
patent: 5555365 (1996-09-01), Selby et al.
patent: 5557518 (1996-09-01), Rosen
patent: 5590330 (1996-12-01), Coskun et al.
patent: 5608908 (1997-03-01), Barghouti et al.
patent: 5652884 (1997-07-01), Palevich
patent: 5699310 (1997-12-01), Garloff et al.
patent: 5774725 (1998-06-01), Yadav et al.
patent: 5790117 (1998-08-01), Halviatti et al.
patent: 5790863 (1998-08-01), Simonyi
patent: 5794043 (1998-08-01), Kolb
patent: 5799193 (1998-08-01), Sherman et al.
Citrin, Wayne, et al., "Using Formalized Temporal Message-flow Diagrams," Software--Practice and Experience, vol. 25, No. 12, pp. 1367-1401, Dec. 1995.
Coats, Mark, et al., "Constructing Operational Specifications," Dr. Dobb's Journal of Software Tools for Professional Programmer, vol. 20, No. 6, pp. 18-33, Jun. 1995.
De Man, Josef, et al., "Towards a formal Semantics of Message Sequence Charts", SDL "93 Using Objects. Proceedings of the Sixth SDL Forum 1993, pp. 157-165, 1993.
De Man, Jozef, et al., "Developing Formal Specifications with Message Sequence Charts", XIV International Switching Symposium, vol. 2, pp. 134-137, Oct. 1992.
Ek, Anders, "Verifying Message Sequence Charts with the SDT Validator," SDL '93. Using Objects. Proceedings of the Sixth SDL Forum 1993, pp. 237-249.
Grabowski, Jens, et al.,"The Standardization of Message Sequence Charts," Proceedings 1993: Software Engineering Standards Symposium, pp. 48-63, 1993.
Graubmann, Peter, et al., "Towards a Petri Net Based Semantics Definition for Message Sequence Charts,"SDL 93: Using Objects, pp. 179-190, 1993.
Hadzilacos, Thanasis, et al., "Transaction Synchronisation in Object Bases", Journal of Computer and System Sciences, vol. 43, pp. 2-24, 1991.
Ito, Atsushi, et al., "Transformation Technique Between Specification in SDL and Specification in Message Sequence Charts for Designing Protocol Specifications," Supercomm/ICC '92: Discovering a New World of Communications, IEEE vol. 1, pp. 0442-0447, 1992.
Ladkin, Peter B., et al., "What do Message Sequence Charts Mean?", IFIP Trans., C, Commun. Syst., vol. C, No. 22, pp. 301-316, 1994.
Ladkin, Peter B., et al., "Interpreting Message Flow Graphs," Formal Aspects of Computing 1995, vol. 7, No. 5, pp. 473-509, 1995.
Mauw, S., et al., "An Algebraic Semantics of Basic Message Sequence Charts," The Computer Journal, vol. 37, No. 4, pp. 269-277, 1994.
Mauw, S., et al., "A Formal Semantics of Synchronous Interworkings," SDL '93 Using Objects: Proceedings of the Sixth SDL Forum 1993, pp. 167-178.
Moriyasu, Kenji, et al., "A Method of Applying Message Sequence Chart Specifications for Services with Variant Process Structure," Electronics and Communications in Japan, Part 1, vol. 78, No. 9, pp. 12-24, 1995.
Okamoto, Mitsuhiro, et al., "A Verification Scheme for Service Specifications Described by Information Sequence Charts," IEICE Trans. Commun., vol. E75-B, No. 10, pp. 978-985, Oct. 1992.
Thrampoulidis, K.X., et al., "Object Interaction Diagram: A New Technique in Object-oriented Analysis and Design," Journal of Object-Oriented Programming, vol. 8, No. 3, pp. 25-32, Jun. 1995.
"Transition Control Statements for State Models"; IBM Technical Disclosure Bulletin; vol. 38, No. 11, pp. 387-389, Nov. 1995.
"Event Data Management in an Object Oriented System"; IBM Technical Disclosure Bulletin; vol. 38, No. 11, pp. 431-435, Nov. 1995.
The VIEWS Method and Tool, IBM Technical Disclosure Bulletin, vol. 37, No. 12, pp. 645-647, Dec. 1994.

Affiliated with

Also associated with

Rating

Execution engine in an object modeling tool does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Execution engine in an object modeling tool, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Execution engine in an object modeling tool will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1467880