Automatic software production system

Details Automatic software production system Automatic software production system

2007-10-02

2007-10-02

Chavis, John (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Software project management

Reexamination Certificate

active

09872413

ABSTRACT:
An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

REFERENCES:
patent: 4734854 (1988-03-01), Afshar
patent: 4841441 (1989-06-01), Nixon et al.
patent: 5185867 (1993-02-01), Ito
patent: 5371895 (1994-12-01), Bristol
patent: 5459866 (1995-10-01), Akiba et al.
patent: 5481718 (1996-01-01), Ryu et al.
patent: 5485601 (1996-01-01), Ching
patent: 5561802 (1996-10-01), Orimo et al.
patent: 5586329 (1996-12-01), Knudsen et al.
patent: 5603018 (1997-02-01), Terada et al.
patent: 5640576 (1997-06-01), Kobayashi et al.
patent: 5742754 (1998-04-01), Tse
patent: 5742827 (1998-04-01), Ohkubo et al.
patent: 5758160 (1998-05-01), McInerney et al.
patent: 5805891 (1998-09-01), Bizuneh et al.
patent: 5826086 (1998-10-01), Arima et al.
patent: 5842205 (1998-11-01), Brann
patent: 5878262 (1999-03-01), Shoumura et al.
patent: 5956725 (1999-09-01), Burroughs et al.
patent: 5960200 (1999-09-01), Eager et al.
patent: 5966534 (1999-10-01), Cooke et al.
patent: 5995969 (1999-11-01), Lee et al.
patent: 6058493 (2000-05-01), Talley
patent: 6199195 (2001-03-01), Goodwin et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6681383 (2004-01-01), Pastor et al.
patent: 6721807 (2004-04-01), Vlissides
patent: 6877153 (2005-04-01), Konnersman
Loughry et al., IEEE Standard Dictionary . . . , 6thEd., IEEE, 747, 962.
John Hsia, “Your Guide to Rational Rose Add-Ins”, Jun. 1999, pp. 1-9.
IFAD, VDMTools, “VDM ++ Toolbox User Manual”, 1999, pp. 1-27.
J.P. Jacquot, et. al., “Early Specification of User-Interfaces: Toward a Formal Approach”, 1997, pp. 150-160.
IFAD, VDMTools, “Features of VDMTools”, Sep. 23, 1998, pp. 1-8.
“Towards a More Rigorous Expression of Requirements,” pp. 1-16, Chapter 8, Dec. 13, 1999.
“Jtrl—Object Specification with TROLL Light,” pp. 1-14, Dec. 13, 1999.
OBLONG Software,“Software Product Description,” pp. 1-5, Dec. 13, 1999.
“Formula Specification Languages in Conformance Testing,” Kathy Liburdy, Meerkat Computing. Martha M. Gray and Lynne S. Rosenthal, Information Technology Laboratory, National Institute of Standards and Technology, pp. 1-15, 1998.
CHG-001 office actions dated May 25, 2001, Apr. 4, 2003, Oct. 23, 2002.
PCT and foreign counterparts of CHG-001 IPER dated Jul. 3, 2003 and international search report dated Jun. 13, 2002.
CHG-001.1P office actions dated Oct. 7, 2004; Jun. 7, 2005, Feb. 26, 2004 and Feb. 2, 2005.
CHG-001.2P office actions dated Apr. 25, 2005, Aug. 16, 2004 and Apr. 22, 2004.
CHG-001.3P office action dated Jul. 9, 2004, Jan. 26, 2005 and Jul. 14, 2005.
Romero, J., “Diseño de un Entorno de Producción de Software basado en el Lenguaje de Especificación OASIS y en la utilización de PowerBuilder como Herramienta de Desarrollo Gráfica y C/S” (In Spanish). Master Thesis, Valencia, Mar. 1996.
Pastor, O., et al., “An Object Oriented Methodological Approach for Making Automated Prototyping Feasible”, Database and Expert Systems Applications. Lecture Notes in Computer Science (1134) pp. 29-39 Springer-Verlag, 1996, ISBN: 3-540-61656-x, ISSN: 0302, 9743, Zurich (Suisse).
Pelechano, V., et al., “Implementación y comprobación de restricciones de integridad dinámicas en entomos de programación orientados a objectos” (In Spanish), II Jornadas Nacionales de Ingenieria de Software, Universidad el Pais Vasco, San Sebastián, 3-5 Septiembre 1997, pp. 101-117.
Pastor, O., et al., “Linking Object-Oriented Conceptual Modeling with Object-Oriented Implementation in Java”, VIII Conference on Database and Expert Systems Applications, (DEXA′1997), ISGN: 3-540-63478-9, LNCS (1308), Toulouse, France, 1997.
Pastor, O., et al., “OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods”, 9th International Conference on Advanced Information Systems Engineering, (CaiSE′ 1997) ISGN: 3-540-63107-0, LNCS (1250), Barcelona, Spain, 1997.
Pastor, O., et al., “Object Oriented Conceptual Modeling Techniques to Design and Implement a Sound and Robust Oracle Environment” Actas de Oracle OpenWorld 97, Viena (Austria) 7-11 Abstract publicado en Oracle OpenWorld Review p. 36, Apr. 1997.
Romero, J., et al., “Una Herramienta de Generación Automática de Software” (In Spanish) In Procs of IDEAS-98—I Workshop Iberoamericano en Ingenieria de Requisitos y Ambientes Software, Porto Alegre, Brasil, Apr. 1998.
Gomez, J., et al., “The Execution Model: A Component-Based Arquitecture to Generate Software Components from Conceptual Models” In Procs of International Workshop on Component-based Information Systems Engineering, 10th International Conference on Advanced Information Systems Engineering, CAiSE-98 Pisa (Italia), pp. 87-94, ISSN 1170-487X.
Pastor, O., et al., “From Object Oriented Conceptual Modeling to Automated Programming in Java”, Conceptual Modeling—ER'98. Lecture Notes in Computer Science (1507), pp. 183 197, Springer-Verlag, 1998, ISBN: 3-540-65189-6, ISSN: 0302-9743, Singapur.
Pastor, O., et al., “Mapping Aggregation from Object-Oriented Conceptual Modeling to Object Oriented Programming”, In Procs of Third International Conference on Object-Oriented Technology, WOON-98, pp. 59-70, San Petersburgo, Russia, Jul. 1998.
Romero, J., et al., “Automatic Object-Oriented Visual Programming with OO-METHOD”,, Software and Hardware Engineering for the 21th Century, pp. 345-354, World Scientific and Engineering Society Press. ISBN: 960-8052-06-8.
Gomez, J., et al., “From Object-Oriented Conceptual Modeling to Component-Based Development” Database and Expert Systems Applications, Lecture Notes in Computer Science (1677) pp. 332-341 Springer-Verlag, 1999, ISBN: 3-540-66448-3: ISSN: 0302-9743, Florencia (Italia).
Torres, I., “Disseny i Implementació d'un Diccionari de Dades per a un Model Conceptual” (In Valenciano), Master Thesis, 2000.
Pelechano, V., et al., “An Automatic Code Generation Process for Dynamic Specialization Based on Design Patterns and Formal Techniques”, Actass de la IFIP International Conference on Software: Theory and Practice (ICS-2000), 16th IFIP World Computer Congress, pp. 526-539, Pekin (China), Agosto 2000: ISBN-7-5053-6100-4, Publishing House of Electronics Industry.
Pastor, O., “The OO Method Approach for Information Systems Modeling: From Object Oriented Conceptual Modeling to Automatic Programming”, Information Systems Journal, Elsevier Science, Oct. 2001, vol. 26/7, pp. 507-534.
Molina, P., “Especificación, de Interfaz de Usuario en OO-Method” (In Spanish) Master Thesis, Sep. 1998, DSIC/UPV, Valencia, Spain.
Insfrán, E., et al., “Ingenieria de Requisitos aplicada al modelado conceptual de interfax de usuario” (In Spanish), In Procs, Of IDEAS'2001, Santo Domingo, Heredia, Costa Rica, CIR, pp. 181-192, Apr. 2001.
Molina, P., et al., “Specifying Conceptual Interface Patterns in an Object-Oriented Method with Code Generation”, In Proceedings of User Interfaces for Data Intensive Systems, UIDIS'2001, Zurich, Switzerland, IEEE Computer Society, pp. 72-79, Mary, 2001.
Molina, P., et al., “Prototipado rápido de interfaces de usuario”, (In Spanish), In Procs. Of IDEAS'2002, La Habana, Cuba, pp. 78-90, Apr. 2002.
Molina, P., et al., “JUST-UI: A User Interface Specification Model” In Computer-Aided Design of User Interfaces III, Proceedings of the 4th International Conference on Computer-Aided Design of User Interfaces CADUI'2002, Kluwer Aca

Affiliated with

Also associated with

Rating

Automatic software production system does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automatic software production system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic software production system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3899257