246
click to vote
ASM
15 years 10 months ago
2008 ASM 
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
218
click to vote
ASM
15 years 10 months ago
2008 ASM 
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
186
click to vote
ASM
15 years 10 months ago
2008 ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
191
click to vote
ASM
15 years 10 months ago
2008 ASM 
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
181
click to vote
ASM
15 years 10 months ago
2008 ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
|
Computational Biology