Cited By
View all- Hallé SVillemaire R(2010)Runtime verification for the webProceedings of the First international conference on Runtime verification10.5555/1939399.1939411(106-121)Online publication date: 1-Nov-2010
Requirements on message-based interactions can be formalised as an interface contract that specifies constraints on the sequence of possible messages that can be exchanged by multiple parties. At runtime, each peer can monitor incoming messages and ...
Design by Contract supports the specification of the intended behavior of a software component at its interfaces. Out of these specifications, runtime monitors can be generated. While those runtime monitors check the correct behavior of the software ...
An increasing number of popular SOAP web services exhibit a stateful behavior, where a successful interaction is determined as much by the correct format of messages as by the sequence in which they are exchanged with a client. The set of such ...
IEEE Computer Society
United States