A Graphical Environment for the Semantic Validation of a Plan Execution Language

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI:10.1109/SMC-IT.2009.31

C. Rocha, C. Muñoz, Héctor Cadavid

引用次数: 8

Abstract

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.

查看原文本刊更多论文

计划执行语言语义验证的图形化环境

本文介绍了PLEXIL5，即PLEXIL的形式化交互视觉环境，它是一个图形化环境，为PLEXIL的形式化操作语义提供了一个用户友好的界面。PLEXIL是一种同步计划执行语言，由NASA开发，用于支持自主空间操作。PLEXIL5作为PLEXIL执行系统的设计人员、开发人员和用户的测试平台，根据该语言的形式语义验证、维护和调试系统的实现。PLEXIL的可执行形式语义是Maude语言中的可执行重写逻辑理论。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology

自引率

0.00%

发文量