Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Videos
Videos
Thesis submission
Thesis submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Contact us
Contact us
ANIMATION OF BEHAVIORAL SPECIFICATIONS THROUGH CODE GENERATION FOR A PAYMENT SYSTEM
Date
2009-09-19
Author
Deniz, Ozan
Adak, Mehmet
Oğuztüzün, Mehmet Halit S.
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
7
views
0
downloads
Cite This
We present a case study concerned with the animation of behavioral specifications through code generation for a payment system; namely, electronic funds transfer system (EFT). The exchange of messages between a central bank and two client banks during daily operations is modeled as a communications model of Live Sequence Charts (LSCs). Using an LSC to Java/AspectJ code generator, the communications model is converted to a base code and then the animation code is woven into this base code. Execution of the resulting code animates the messages exchanged among the central bank's EFT server, central bank's branch and two client banks' EFT servers for sample money transfer operations as a sequence of events respecting the partial order specified by the LSC. The woven aspect code also addresses two additional issues: One is domain specific processing such as queue operations and settlement operations at the central banks' EFT server, and the other is scenario processing for money transfers.
Subject Keywords
Behavioral Specifications
,
Live Sequence Charts
,
Validation
,
Code Generation
,
Payment Systems
URI
https://hdl.handle.net/11511/40506
DOI
https://doi.org/10.1109/bci.2009.39
Collections
Department of Computer Engineering, Conference / Seminar
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
O. Deniz, M. Adak, and M. H. S. Oğuztüzün, “ANIMATION OF BEHAVIORAL SPECIFICATIONS THROUGH CODE GENERATION FOR A PAYMENT SYSTEM,” 2009, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/40506.