TY - GEN
T1 - A graphical environment for the semantic validation of a plan execution language
AU - Rocha, Camilo
AU - Mũnoz, Cesar
AU - Cadavid, Hector
PY - 2009
Y1 - 2009
N2 - This paper presents PLEXIL5, PLEXIL's Formal Interacting Visual Environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution language developed by NASA to support autonomous space operations. PLEXIL5 serves as a testbed for designers, developers and users of PLEXIL's executive system to validate, maintain, and debug the implementation of the system against the formal semantics of the language. The executable formal semantics of PLEXIL is an executable rewriting logic theory in Maude's language.
AB - This paper presents PLEXIL5, PLEXIL's Formal Interacting Visual Environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution language developed by NASA to support autonomous space operations. PLEXIL5 serves as a testbed for designers, developers and users of PLEXIL's executive system to validate, maintain, and debug the implementation of the system against the formal semantics of the language. The executable formal semantics of PLEXIL is an executable rewriting logic theory in Maude's language.
UR - http://www.scopus.com/inward/record.url?scp=70449412330&partnerID=8YFLogxK
U2 - 10.1109/SMC-IT.2009.31
DO - 10.1109/SMC-IT.2009.31
M3 - Conference contribution
AN - SCOPUS:70449412330
SN - 9780769536378
T3 - Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
SP - 201
EP - 207
BT - Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
T2 - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009
Y2 - 19 July 2009 through 23 July 2009
ER -