2873 search results - page 303 / 575 » Model Checking and the Mu-calculus |
139
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
125
click to vote
BIS
2008
15 years 5 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
128
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
121
click to vote
RTS
2008
15 years 3 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...