On the semantics of temporal specifications of component-behavior for dynamic architectures.
Diego MarmsolerPublished in: TASE (2017)
Keyphrases
- temporal behavior
- operational semantics
- temporal information
- formal semantics
- temporal dimension
- dynamic behavior
- temporal reasoning
- temporal relations
- temporal constraints
- dynamic environments
- temporal aspects
- conceptual model
- spatial and temporal
- specification language
- dynamic textures
- formal language
- dynamic aspects
- attribute grammars
- control flow
- database
- human behavior
- logic programming
- data model
- multi agent systems
- natural language