1031 search results - page 73 / 207 » Modeling and Formal Verification of Production Automation Sy... |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
SOSYM
2010
13 years 2 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
CSCWD
2005
Springer
14 years 1 months ago
2005
Springer
The digital parts libraries or electronic parts catalogs have opened up a vast potential for new electronic forms of product components procurement. However, their seamless integra...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...