Publication: Formal verification of the accounting information interfaces using colored Petri net
| dc.contributor.author | Poolsawasdi, Worawit | |
| dc.contributor.author | Dechsupa, Chanon | |
| dc.date.accessioned | 2023-12-16T10:57:28Z | |
| dc.date.available | 2023-12-16T10:57:28Z | |
| dc.date.issued | 2019 | |
| dc.date.issuedBE | 2562 | |
| dc.description.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. | |
| dc.identifier.doi | 10.1109/ICEAST.2019.8802547 | |
| dc.identifier.uri | https://harrt.in.th/handle/123456789/8559 | |
| dc.language.iso | en | |
| dc.publisher | IEEE | |
| dc.publisher.place | Luang Prabang; Laos | |
| dc.subject | ระบบสารสนเทศทางการบัญชี | |
| dc.subject | รายการทางธุรกิจ | |
| dc.subject | ระบบบัญชีแยกประเภททั่วไป | |
| dc.subject | Accounting Information System | |
| dc.subject | Business Transaction | |
| dc.subject | General Ledger System | |
| dc.subject.isced | 0322 บรรณารักษ์, สารสนเทศ และการศึกษาจดหมายเหตุ | |
| dc.subject.oecd | 5.8 นิเทศศาสตร์และสื่อสารมวลชน | |
| dc.title | Formal verification of the accounting information interfaces using colored Petri net | |
| dc.type | เอกสารตีพิมพ์ในการประชุม (Conference Proceedings) | |
| dspace.entity.type | Publication | |
| harrt.researchArea | สารสนเทศศาสตร์ | |
| harrt.researchGroup | บรรณารักษศาสตร์และสารสนเทศศาสตร์ | |
| harrt.researchTheme.1 | Human-Computer Interaction & Design | |
| harrt.researchTheme.2 | User Interface | |
| mods.location.url | https://ieeexplore.ieee.org/document/8802547 | |
| oaire.citation.title | 2019 5th International Conference on Engineering; Applied Sciences and Technology (ICEAST) | |
| oairecerif.author.affiliation | มหาวิทยาลัยบูรพา. คณะวิทยาศาสตร์และศิลปศาสตร์ . เทคโนโลยีสารสนเทศ | |
| oairecerif.event.name | 2019 5th International Conference on Engineering; Applied Sciences and Technology (ICEAST) |