2108 search results - page 15 / 422 » An Operational Semantics for Stateflow |
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
129
click to vote
TLCA
1995
Springer
15 years 3 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
115
click to vote
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
100
click to vote
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
85
Voted
ENTCS
2006
14 years 11 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...