Abstract | ||
---|---|---|
This paper describes the formal specification of a future banking system by abstract data types and process algebra. In contrast to previous exercises (e.g., [1]), the system's description is an actual industrial standard which is being used to develop the next generation of automatic banking machines. The specification language Csp-Casl is particularly well suited to this type of problem, since it combines both control and data aspects and allows loose specification of data types for later refinement. During the formalisation, several inconsistencies and ambiguities were exhibited. The obtained specification serves as a starting point for further validation. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-31959-7_4 | WADT |
Keywords | Field | DocType |
data type,later refinement,data aspect,formal specification,actual industrial standard,electronic payment system,automatic banking machine,specification language,abstract data type,loose specification,future banking system,process algebra | Abstract data type,Specification language,Algebraic specification,Computer science,Algorithm,Formal specification,Data type,Language Of Temporal Ordering Specification,Formal methods,System requirements specification | Conference |
Volume | ISSN | ISBN |
3423 | 0302-9743 | 3-540-25327-0 |
Citations | PageRank | References |
9 | 0.79 | 12 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andy Gimblett | 1 | 84 | 6.95 |
Markus Roggenbach | 2 | 294 | 32.63 |
Bernd-holger Schlingloff | 3 | 195 | 19.56 |