Publication: Formal verification of the accounting information interfaces using colored Petri net
Submitted Date
Received Date
Accepted Date
Issued Date
2019
Copyright Date
Announcement No.
Application No.
Patent No.
Valid Date
Resource Type
Edition
Resource Version
Language
en
File Type
No. of Pages/File Size
ISBN
ISSN
eISSN
Scopus ID
WOS ID
Pubmed ID
arXiv ID
item.page.harrt.identifier.callno
Other identifier(s)
Journal Title
2019 5th International Conference on Engineering; Applied Sciences and Technology (ICEAST)
Volume
Issue
Edition
Start Page
End Page
Access Rights
Access Status
Rights
Rights Holder(s)
Physical Location
Bibliographic Citation
Research Projects
Organizational Units
Authors
Journal Issue
Title
Formal verification of the accounting information interfaces using colored Petri net
Alternative Title(s)
Author(s)
Author’s Affiliation
Author's E-mail
Editor(s)
Editor’s Affiliation
Corresponding person(s)
Creator(s)
Compiler
Advisor(s)
Illustrator(s)
Applicant(s)
Inventor(s)
Issuer
Assignee
Other Contributor(s)
Series
Has Part
Abstract
In the process of Accounting Information System (AIS); the business transactions are generated by heterogeneous distributed applications. The business transactions result in T-accounts set up in the General Ledger System (GLS). The requirement changes maybe affect the screen scraping procedure of the business transactions interfaces; and also result in the issues of GLS process; system and control. In this paper; we propose a framework and alternative way to verify the business transaction interfaces of GLS in the early stage using the model checking technique. The GLS abstraction model are modeled using Colored Petri Net (CPN). Next; we verify the obtained CPN model using CPN tools to validate the GLS interfaces.