Towards a Formal Specification of an Electronic Payment System in CSP-CASL
Towards a Formal Specification of an Electronic Payment System in CSP-CASL
复制标题
CSP-CASL 中电子支付系统的正式规范
DOI：
10.1007/978-3-540-31959-7_4
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
H. Schlingloff
中科院分区：
文献类型：
--
作者：
Andy Gimblett;M. Roggenbach;H. Schlingloff
本文用抽象数据类型和进程代数描述了未来银行系统的形式化规范。与以前的练习相比（例如，[1])该系统的描述是一个实际的工业标准，用于开发下一代自动银行机。规范语言Csp-Casl特别适合于这种类型的问题，因为它结合了控制和数据方面，并允许松散的数据类型规范，以供以后改进。在形式化过程中，出现了一些不一致和模棱两可的地方。获得的质量标准作为进一步验证的起点。
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.
CoCasl 中的代数-代数规范
DOI：
10.1016/j.jlap.2005.09.006
发表时间：
2003
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Till Mossakowski;Horst Reichel;Markus Roggenbach;Lutz Schröder
通讯作者：
Lutz Schröder
CoCASL 实际应用——建模过程代数
DOI：
10.1016/s1571-0661(04)80640-6
发表时间：
2003
期刊：
影响因子：
--
作者：
Till Mossakowski;Markus Roggenbach;Lutz Schröder
通讯作者：
Lutz Schröder