Resumen

Un enfoque nuevo para la programación que permite cambiar entre contextos de comandos durante la ejecución del programa es la programación orientada al contexto (COP). Esta técnica es más estructurada y modular que la programación orientada a objetos y la programación orientada a aspectos y, por lo tanto, más flexible. Para la programación orientada al contexto, como se implementa en lenguajes COP como ContextJ y ContextL, este artículo introduce una semántica operativa precisa. El modelo de lenguaje de este artículo utiliza conceptos de Java y está equipado con técnicas de capas para la activación/desactivación de contextos de capas. También se presenta un sistema lógico para programas COP. Esta lógica es necesaria para la automatización de pruebas, desarrollo y validación de especificaciones de corrección parcial para programas COP y es una extensión de la lógica de separación. En el artículo se presenta una prueba de solidez matemática para el sistema lógico frente a la semántica operativa propuesta.

• Materias:Diagnóstico de fallas Automatización de programas Programador de colas Modelo de descomposición Agentes de fusión
• Subjects:Fault diagnosis Program automation Queue scheduler Decomposition model Fusion Agents
• Palabras claves:Enfoque; Programación; Orientado al contexto; COP; Lenguajes; Semántica operacional
• Keywords:Approach; Programming; Context-oriented; COP; Languages; Operational semantics