1 |
Opportunities for Next Generation BML: Semantic C-BML
|
|
|
|
In: DTIC (2014)
|
|
BASE
|
|
Show details
|
|
2 |
Impact of Language Immersion Programs on Foreign Language
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
3 |
Trust in Security-Policy Enforcement Mechanisms
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
4 |
An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
6 |
Safe and Principled Language Interoperation
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
7 |
Type-Directed Continuation Allocation
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
8 |
Fully Reflexive Intensional Type Analysis in Type Erasure Semantics
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
9 |
Understanding and Evolving the ML Module System
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
10 |
Open Modules: Modular Reasoning about Advice
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
11 |
The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
|
|
|
|
In: DTIC (2003)
|
|
BASE
|
|
Show details
|
|
12 |
Automatic Verification of Multiagent Conversations
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
13 |
Semantic Interoperability on the Web
|
|
|
|
In: DTIC AND NTIS (2000)
|
|
BASE
|
|
Show details
|
|
14 |
Compositional Approach to Statecharts Semantics
|
|
|
|
In: DTIC (2000)
|
|
Abstract:
Statecharts is a visual language for specifying reactive system behavior. The formalism extends traditional finite-state machines with notions of hierarchy and concurrency, and it is used in many popular software design notations. A large part of the appeal of Statecharts derives from its basis in state machines, with their intuitive operational interpretation. The traditional semantics of Statecharts however, suffers from a serious defect: it is not compositional, meaning that the behavior of system descriptions cannot be inferred from the behavior of their subsystems. Compositionality is a prerequisite for exploiting the modular structure of Statecharts for simulation, verification, and code generation, and it also provides the necessary foundation for reusability. This paper suggests a new compositional approach to formalizing Statecharts semantics as flattened transition systems in which transitions represent system steps. The approach builds on ideas developed for timed process calculi and employs structural operational rules to define the transitions of a Statecharts expression in terms of the transitions of its subexpressions. It is first investigated for a simple dialect of Statecharts, with respect to a variant of Paneli and Shalev's semantics, and is illustrated by means of a small example. To demonstrate its flexibility, the proposed approach is then extended to deal with practically useful features available in many Statecharts variants, namely state references, history states, and priority concepts along state hierarchies. ; Prepared in cooperation with Munich University of Technology, Munich, Germany and State University of New York, Stony Brook, NY
|
|
Keyword:
*PROGRAMMING LANGUAGES; *SEMANTICS; *STATECHARTS; Computer Programming and Software; CONCURRENT ENGINEERING; MACHINE CODING; SOFTWARE ENGINEERING; SYNTAX
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA375695 http://www.dtic.mil/docs/citations/ADA375695
|
|
BASE
|
|
Hide details
|
|
15 |
Eliminating Covert Flows with Minimum Typings
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
16 |
Microlanguage-Based Specialization.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
17 |
Analog Hardware Description Language (AHDL).
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
18 |
A Type Inference Algorithm And Transition Semantics For Polymorphic C.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
19 |
Design and Specification of an Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
20 |
Uniform Representation of Data Types in Polymorphic C.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
|