{"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号
