{"title":"Formal Verification of the Accounting Information Interfaces Using Colored Petri Net","authors":"Worawit Poolsawasdi, C. Dechsupa","doi":"10.1109/ICEAST.2019.8802547","DOIUrl":null,"url":null,"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.","PeriodicalId":188498,"journal":{"name":"2019 5th International Conference on Engineering, Applied Sciences and Technology (ICEAST)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 5th International Conference on Engineering, Applied Sciences and Technology (ICEAST)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICEAST.2019.8802547","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
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.
在会计信息系统(AIS)的过程中，业务交易是由异构的分布式应用程序生成的。业务交易导致在总账系统(GLS)中建立t账户。需求的变化可能会影响业务事务接口的屏幕抓取过程，也会导致GLS的流程、系统和控制问题。在本文中，我们提出了一个框架和替代方法，在早期阶段使用模型检查技术来验证GLS的业务事务接口。采用彩色Petri网(Colored Petri Net, CPN)对GLS抽象模型进行建模。接下来，我们使用CPN工具验证获得的CPN模型，以验证GLS接口。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
