This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Formal Specification and Design of a Distributed Electronic Funds-Transfer System
December 1988 (vol. 37 no. 12)
pp. 1515-1528
The design of an electronic funds-transfer (EFT) system, using the UNITY parallel programming methodology, is presented. The process begins with a high-level specification that captures the essence of transaction processing in the system. In a series of refinement steps, this specification is transformed into one that leads directly to a program suitable for execution on the distributed archite

[1] P. C. Attie,A Guide to Raddle87 Semantics, STP-340-87, Microelectronics and Computer Technology Corp., Austin, TX, Jan. 1988.
[2] Brooks, Jr., Frederick P. 1987. "No Silver Bullet: Essence and Accidents of Software Engineering."IEEE Computer, April, pp. 10-19.
[3] K. M. Chandy and J. Misra,Parallel Program Design: A Foundation. Reading, MA: Addison-Wesley, 1988.
[4] R. A. DeMillo, R. J. Lipton, and A. J. Perlis, "Social processes and proofs of theorems and programs,"Commun. ACM, vol. 22, no. 5, pp. 271-280, 1979.
[5] I. R. Forman, "On the design of large distributed systems," STP-098- 86 (rev. 1.O), Microelectronics and Computer Technology Corporation, Austin, TX, 1987 (preliminary version inProc. of First Int. Conf. Comput. Languages, Miami, FL 1986).
[6] I. R. Forman and W. M. Evangelist, "An EFT system: A case study in design using Raddle," STP-121-87, Microelectronics and Computer Technology Corp., Austin, TX, Apr. 1987.
[7] C. A. R. Hoare, "An axiomatic basis for computer programming,"Commun. ACM, vol. 12, no. 10, pp. 576-583, 1969.
[8] C. A. R. Hoare, "Proof of correctness of data representations,"Acta Informatica, vol. 1, pp. 271-281, 1972.
[9] L. Lamport, "Solved problems, unsolved problems, and nonproblems in concurrency," Invited Address, inProc. Third ACM Symp. Principles of Distributed Comput., 1984, pp. 1-11.
[10] M. Staskauskas, "The design of an electronic funds-transfer system in UNITY," STP-280-87, Microelectronics and Computer Technology Corp., Austin, TX, Aug. 1987.

Index Terms:
electronic funds-transfer system; EFT; UNITY; parallel programming methodology; specification; refinement steps; distributed architecture; data structure; target architecture; distributed processing; EFTS; parallel programming.
Citation:
M.G. Staskauskas, "The Formal Specification and Design of a Distributed Electronic Funds-Transfer System," IEEE Transactions on Computers, vol. 37, no. 12, pp. 1515-1528, Dec. 1988, doi:10.1109/12.9730
Usage of this product signifies your acceptance of the Terms of Use.