321 search results - page 24 / 65 » Specifying Executable Platform-Independent Models using OCL |
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
JWSR
2008
13 years 8 months ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
IJCSA
2006
13 years 8 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
SERP
2003
13 years 10 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...