3224 search results - page 449 / 645 » On Checking Model Checkers |
192
click to vote
ASWEC
2007
IEEE
16 years 26 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
174
click to vote
B
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
178
click to vote
BPM
2005
Springer
16 years 2 days ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
135
click to vote
BPM
2005
Springer
16 years 2 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
197
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...