|
|
|
|
|
|
|
|
| ( 1 of 1 ) |
| United States Patent | 5,907,706 |
| Brodsky , et al. | May 25, 1999 |
| **Please see images for: ( Certificate of Correction ) ** |
Modeling a system using object-oriented programming tools is enhanced using a monitor built into the programming tool. The monitor can monitor in the background or in real time. Programming times are reduced and efficiency of code generation is increased by the interactive modeling agent monitoring the ongoing efforts of a user and interactive with the user through the use of windows and suggestive text on how to better use the programming language, tools, and constructs to create a better resulting model and program.
| Inventors: | Brodsky; Stephen Andrew (Los Gatos, CA), Lau; Rebecca Mei-Har (San Jose, CA) |
|---|---|
| Assignee: |
International Business Machines Corporation
(Armonk,
NY)
|
| Family ID: | 25003491 |
| Appl. No.: | 08/747,057 |
| Filed: | November 12, 1996 |
| Current U.S. Class: | 717/105; 715/764; 715/866; 715/967; 434/350; 715/707; 719/315; 714/E11.217 |
| Current CPC Class: | G06F 9/4488 (20180201); G06F 8/71 (20130101); G06F 11/3664 (20130101); Y10S 715/967 (20130101) |
| Current International Class: | G06F 9/44 (20060101); G06F 11/36 (20060101); G06F 009/44 () |
| Field of Search: | ;345/335,340,337,967,347,326,333,336,339,348,352,433 ;395/683,701,704,682 ;434/350,366 |
| 4845665 | July 1989 | Heath et al. |
| 4964077 | October 1990 | Eisen et al. |
| 5247651 | September 1993 | Clarisse |
| 5257363 | October 1993 | Shapiro et al. |
| 5315709 | May 1994 | Alston, Jr. et al. |
| 5325533 | June 1994 | McInerney et al. |
| 5327529 | July 1994 | Fults et al. |
| 5390320 | February 1995 | Smithline |
| 5390330 | February 1995 | Talati |
| 5421015 | May 1995 | Khoyi et al. |
| 5434965 | July 1995 | Matheny et al. |
| 5437037 | July 1995 | Furuichi |
| 5475817 | December 1995 | Waldo et al. |
| 5499371 | March 1996 | Henninger et al. |
| 5515497 | May 1996 | Itri et al. |
| 5528503 | June 1996 | Moore et al. |
| 5537630 | July 1996 | Berry et al. |
| 5542040 | July 1996 | Chang et al. |
| 5555365 | September 1996 | Selby et al. |
| 5557518 | September 1996 | Rosen |
| 5727950 | March 1998 | Cook et al. |
| 5732271 | March 1998 | Berry 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. . Banerji et al. "The Substrate Object Modeland Architecture", IEEE, 1993, pp. 31-40, Dec. 10, 1993.. |
|
|