Data processing: presentation processing of document – operator i – Presentation processing of document – Structured document
Reexamination Certificate
2007-04-03
2010-12-07
Rutledge, Amelia (Department: 2176)
Data processing: presentation processing of document, operator i
Presentation processing of document
Structured document
Reexamination Certificate
active
07849404
ABSTRACT:
It is determined whether a plurality of screens to be sequentially displayed by a process of a program satisfies a specification without executing this program. A system of the present invention stores a first schema prescribing a specification of a first screen, a second schema prescribing a specification of a second screen, and an event switching the display by program from the first screen to the second screen. First, a partial program executed in response to an event generated during displaying the screen satisfying the first schema is extracted from a program on the basis of the first schema and the event. Next, an intermediate program for calculating a set of screens being displayed in response to an event generated during displaying screens in a set of screens satisfying the first schema from this set is generated on the basis of the partial program. Next, it is determined that these screens satisfy a specification on condition that the first screen satisfies the first schema and a set of screens obtained by applying the intermediate program to the first schema satisfies the second schema.
REFERENCES:
patent: 6772395 (2004-08-01), Hyman et al.
patent: 7237225 (2007-06-01), Kompalli et al.
patent: 7269664 (2007-09-01), Hutsch et al.
patent: 7424671 (2008-09-01), Elza et al.
patent: 7496837 (2009-02-01), Larcheveque et al.
patent: 7530107 (2009-05-01), Ono et al.
patent: 7672957 (2010-03-01), Cotichini et al.
patent: 2002/0156814 (2002-10-01), Ho
patent: 2005/0132284 (2005-06-01), Lloyd et al.
Kirkegaard, et al., “Static analysis of XML transformations in Java” IEEE Transactions on Software Engineering. vol. 30, No. 3, pp. 181-192, published Mar. 2004.
Crick, “A BCPL Front End for GCC”, Thesis, University of Bath, May 2004, p. 1-94.
Kazunori Washio, Makoto Matsushita, Katsuo Inoue:“Syntan verification technique using data flow analysis for HTML documents including JavaScript”, The Institute of Electronics, Information and Communication Engineers, SS2002-22, vol. 102, No. 370, pp. 13-18, 2002.
Yasuhiko Minamide: “Static approximation of dynamically generated Web pages”, World Wide Web (WWW), 2005, pp. 432-441.
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: “Context Logic and Tree Update”, Principles of Programming Languages (POPL), 2005, pp. 271-282.
Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: “Web applications design and maintenance using Symbolic Model Checking”, European Conference On Software Maintenance And Reengineering (CSMR), 2003, pp. 1-10.
(Eun-Hye), Hiroshi Watanabe: “Modeling and verification for class design specifications of Web applicaton”, Software text symposium, 2005, pp. 1-8.
H. Comon, et al.: “Tree Automata Techniques and Applications”, http://www.grappa.univ-lille3.fr/tata/, 1997, pp. 1-222.
Kazunori Washio, Makoto Matsushita, Katsuo Inoue:“Syntan verification technique using data flow analysis for HTML documents including JavaScript”, The Institute of Electronics, Information and Communication Engineers, SS2002-22, vol. 102, No. 370, 2002, pp. 1-8.
Dreamweaver 8 (Macromedia) http://www.adobe.com/products/dreamweaver/, Mar. 2, 2007, pp. 1-2.
aDesigner (IBM) http://www.research.ibm.com/trl/projects/acc—tech/adesigner—e.htm, Mar. 2, 2007, pp. 1-2.
Haruo Hosoya and Benjamin Pierce: “Regular expression pattern matching for XML”, Principles of programming languages (POPL), 2001, pp. 67-80.
Takaaki Tateishi, Shin Saitoh, Hisashi Miyashita, “Accessibility check tool for DHTML, ” Poster Presentation, The 9th Workshop on Systems for Programming and Applications (SPA'06), Tochigi, Japan, Mar. 6, 2006 (Summary Attached), 1 page.
Miyashita Hisashi
Saito Shin
Tabuchi Naoshi
Tateishi Takaaki
Tozawa Akihiko
Gibb I.P. Law Firm LLC
International Business Machines - Corporation
Rutledge Amelia
LandOfFree
System for determining whether screen displayed by program... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System for determining whether screen displayed by program..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for determining whether screen displayed by program... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4195237