92 search results - page 14 / 19 » An Executable UML with OCL-based Action Semantics Language |
114
Voted
AAAI
2000
15 years 4 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
138
Voted
FMAM
2010
15 years 1 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
113
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
128
click to vote
AAAI
2006
15 years 4 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
108
Voted
IJCAI
2007
15 years 4 months ago
2007
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...