Data processing: software development – installation – and managem – Software program development tool – Managing software components
Reexamination Certificate
2004-02-25
2009-06-02
Zhen, Wei Y (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Managing software components
Reexamination Certificate
active
07543274
ABSTRACT:
A system and method for deriving a process-based specification for a system is disclosed. The process-based specification is mathematically inferred from a trace-based specification. The trace-based specification is derived from a non-empty set of traces or natural language scenarios. The process-based specification is mathematically equivalent to the trace-based specification. Code is generated, if applicable, from the process-based specification. A process, or phases of a process, using the features disclosed can be reversed and repeated to allow for an interactive development and modification of legacy systems. The process is applicable to any class of system, including, but not limited to, biological and physical systems, electrical and electro-mechanical systems in addition to software, hardware and hybrid hardware-software systems.
REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5353371 (1994-10-01), Honiden et al.
patent: 5495567 (1996-02-01), Iizawa et al.
patent: 5535322 (1996-07-01), Hecht
patent: 5623499 (1997-04-01), Ko et al.
patent: 5799193 (1998-08-01), Sherman et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6289502 (2001-09-01), Garland et al.
patent: 6314555 (2001-11-01), Ndumu et al.
patent: 6343372 (2002-01-01), Felty et al.
patent: 6353896 (2002-03-01), Holzmann et al.
patent: 6405364 (2002-06-01), Bowman-Amuah
patent: 6662357 (2003-12-01), Bowman-Amuah
patent: 6804686 (2004-10-01), Stone et al.
patent: 6907546 (2005-06-01), Haswell et al.
patent: 7047518 (2006-05-01), Little et al.
patent: 7051317 (2006-05-01), Vazquez et al.
patent: 7086009 (2006-08-01), Resnick et al.
patent: 7114149 (2006-09-01), Aptus et al.
patent: 7472374 (2008-12-01), Dillman et al.
patent: 2001/0052108 (2001-12-01), Bowman-Amuah
patent: 2002/0029231 (2002-03-01), Aptus et al.
patent: 2002/0032900 (2002-03-01), Charisius et al.
patent: 2002/0091990 (2002-07-01), Little et al.
patent: 2002/0100015 (2002-07-01), Harel et al.
patent: 2002/0104071 (2002-08-01), Charisius et al.
patent: 2002/0116702 (2002-08-01), Aptus et al.
patent: 2003/0067481 (2003-04-01), Chedgey et al.
patent: 2005/0022155 (2005-01-01), Broberg et al.
patent: 2005/0193269 (2005-09-01), Haswell et al.
C.J. Fidge, “A Formal Definition of Prority in CSP”, Sep. 1993, ACM Press vol. 15 Issue 4, pp. 681-705.
Mattew Hennessy, et al. “Algebraic Laws for Nondeterminism andconcurrency”, Jan. 1985, ACM Press, Journal of the ACM (JACM), vol. 32 Issue 1, pp. 137-161.
B-Core Limited., “The B-Toolkit”, pp. 1-9, 02/22.
Michael Butler, “csp2B: A Practical Approach To Combining CSP and B”; Declarative Systems and Software Engineering Group, Technical Report DSSE-TR-99-2, Department of Electronics and Computer Science, University of Southampton, Feb. 1999, pp. 1-16, Highfield, Southampton SO17 1BJ, United Kingdom.
Hinchey Michael Gerard
Rash James Larry
Rouff Christopher A.
Deng Anna
Goo Heather
The United States of America as represented by the Administrator
Zhen Wei Y
LandOfFree
System and method for deriving a process-based specification 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 and method for deriving a process-based specification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for deriving a process-based specification will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4148895