Show/Hide Menu
Hide/Show Apps
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
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
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
58
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
Suggestions
OpenMETU
Core
Testing Conformance and Interoperability of eHealth Applications
Namli, T.; Dogac, A. (2010-01-01)
Objective: To explain the common conformance and interoperability testing requirements of eHealth applications through two case studies; one using a prominent eHealth messaging standard, namely HL7 v3 [1], and the other using Integrating the Healthcare Enterprise (IHE) [2] Profiles and to describe how these testing requirements can be addressed through an automated, modular and scenario-based testing framework, namely TestBATN.
Conceptual data modeling of multimedia database applications
Aygun, S; Yazıcı, Adnan; Arica, N (1998-08-07)
In this paper, we present a conceptual data model for multimedia database applications based on ExIFO(2) model. The ExIFO(2) data model is chosen as the conceptual model since it handles both complex objects along with their uncertain and imprecise properties. We enhanced this conceptual model in order to meet the multimedia data requirements. In addition to uncertain and imprecise information, we present a way of handling relationships among objects of multimedia database applications. Events that might be...
A computer-supported methodology for requirements modelling in CIM for small and medium size enterprises: A demonstration in Apparel Industry
Hashemipour, M; Anlagan, O; Kayaligil, S (1997-01-01)
This paper discusses the first phase of a computer-assisted methodology for implementing CIM within small and medium enterprises. Some of the existing methodologies and tools were furnished by extra items to ease the process for small and medium size manufacturing companies. The methodology aims at using limited expertise, limited staff, and minimising cost. The existing analysis tools (i.e. DFDs, ELH, and tools in the GRAI methodology) were modified and a new tool was developed (PIFR) to shed light on the ...
Design for verification for asynchronously communicating Web services
Betin Can, Aysu; TEVFİK, Bultan (2005-05-14)
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal is to automatically verify properties of interactions among such peers. We propose a design pattern that eases the development of such web services and enables a modular, assume-guarantee style verification strategy. In the proposed design pattern, each peer is associated with a behavioral interface description which specifies how...
Modeling and simulation of a maneuvering ship
Pakkan, Sinan; Özgören, Mustafa Kemal; Department of Mechanical Engineering (2007)
This thesis documents the studies conducted in deriving a mathematical model representing the dynamics of a maneuvering ship to be implemented as part of an interactive real-time simulation system, as well as the details and results of the implementation process itself. Different effects on the dynamics of ship motions are discussed separately, meaning that the effects are considered to be applied to the system one at a time and they are included in the model simply by the principle of superposition. The mo...
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.