{"title":"教育工作流程的代数建模","authors":"Ankur Goel, Venkatesh Choppella","doi":"10.1109/T4E.2012.60","DOIUrl":null,"url":null,"abstract":"Workflows are ubiquitous in educational ERP and process management. The question we address in this paper is how to specify and design verifiable workflows for educational processes. To specify workflows, we borrow a simple algebraic notation from computer science. We illustrate the use of this notation through a series of typical workflow examples. We show how an algebraic specification is more expressive than a graphical specification. We then show how these algebraic specifications may be represented in the Scribble specification language, which has in built tools for verification.","PeriodicalId":202337,"journal":{"name":"2012 IEEE Fourth International Conference on Technology for Education","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Algebraic Modelling of Educational Workflows\",\"authors\":\"Ankur Goel, Venkatesh Choppella\",\"doi\":\"10.1109/T4E.2012.60\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Workflows are ubiquitous in educational ERP and process management. The question we address in this paper is how to specify and design verifiable workflows for educational processes. To specify workflows, we borrow a simple algebraic notation from computer science. We illustrate the use of this notation through a series of typical workflow examples. We show how an algebraic specification is more expressive than a graphical specification. We then show how these algebraic specifications may be represented in the Scribble specification language, which has in built tools for verification.\",\"PeriodicalId\":202337,\"journal\":{\"name\":\"2012 IEEE Fourth International Conference on Technology for Education\",\"volume\":\"32 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-07-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 IEEE Fourth International Conference on Technology for Education\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/T4E.2012.60\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 IEEE Fourth International Conference on Technology for Education","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/T4E.2012.60","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Workflows are ubiquitous in educational ERP and process management. The question we address in this paper is how to specify and design verifiable workflows for educational processes. To specify workflows, we borrow a simple algebraic notation from computer science. We illustrate the use of this notation through a series of typical workflow examples. We show how an algebraic specification is more expressive than a graphical specification. We then show how these algebraic specifications may be represented in the Scribble specification language, which has in built tools for verification.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
