Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2011-08-02
2011-08-02
Chavis, John (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
Reexamination Certificate
active
07992134
ABSTRACT:
Systems, methods and apparatus are provided through which in some embodiments, an agent-oriented specification modeled with MaCMAS, is analyzed, flaws in the agent-oriented specification modeled with MaCMAS are corrected, and an implementation is derived from the corrected agent-oriented specification. Described herein are systems, method and apparatus that produce fully (mathematically) tractable development of agent-oriented specification(s) modeled with methodology fragment for analyzing complex multiagent systems (MaCMAS) and policies for autonomic systems from requirements through to code generation. The systems, method and apparatus described herein are illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming systems, method and apparatus described herein may provide faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.
REFERENCES:
patent: 6901494 (2005-05-01), Zumkehr et al.
patent: 7406683 (2008-07-01), Kalidindi et al.
patent: 7587711 (2009-09-01), Fausak
Hinchey Michael G.
Penn Joaquin
Sterritt Roy
Chavis John
Goo Heather
The United States of America as represented by the Administrator
LandOfFree
Systems, methods and apparatus for modeling, specifying and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Systems, methods and apparatus for modeling, specifying and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems, methods and apparatus for modeling, specifying and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2620167