{"title":"基于Lotos的软件过程建模与描述方法","authors":"M. Saeki, T. Kaneko, M. Sakamoto","doi":"10.1109/ICSP.1991.664342","DOIUrl":null,"url":null,"abstract":"This paper reports on an approach to software process modeling with its method. Our model consists of two sub models - one is for tasks which are performed in a software process and another is for resources which perform the tasks, e.g. human participants, project teams, computerized tools and so on. The formal specification language LOTOS (Language of Temporal Ordering Specification) is used to define software processes based on our modeling technique. We have developed the method to represent software processes by using LOTOS based on the methods for software specification & design. Furthermore we have applied our method to an example problem proposed for the 6th Software Process Workshop, and discussed our approach.","PeriodicalId":309190,"journal":{"name":"Proceedings. First International Conference on the Software Process,","volume":"80 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"31","resultStr":"{\"title\":\"A Method for Software Process Modeling and Description Using Lotos\",\"authors\":\"M. Saeki, T. Kaneko, M. Sakamoto\",\"doi\":\"10.1109/ICSP.1991.664342\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper reports on an approach to software process modeling with its method. Our model consists of two sub models - one is for tasks which are performed in a software process and another is for resources which perform the tasks, e.g. human participants, project teams, computerized tools and so on. The formal specification language LOTOS (Language of Temporal Ordering Specification) is used to define software processes based on our modeling technique. We have developed the method to represent software processes by using LOTOS based on the methods for software specification & design. Furthermore we have applied our method to an example problem proposed for the 6th Software Process Workshop, and discussed our approach.\",\"PeriodicalId\":309190,\"journal\":{\"name\":\"Proceedings. First International Conference on the Software Process,\",\"volume\":\"80 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-10-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"31\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. First International Conference on the Software Process,\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSP.1991.664342\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. First International Conference on the Software Process,","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSP.1991.664342","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Method for Software Process Modeling and Description Using Lotos
This paper reports on an approach to software process modeling with its method. Our model consists of two sub models - one is for tasks which are performed in a software process and another is for resources which perform the tasks, e.g. human participants, project teams, computerized tools and so on. The formal specification language LOTOS (Language of Temporal Ordering Specification) is used to define software processes based on our modeling technique. We have developed the method to represent software processes by using LOTOS based on the methods for software specification & design. Furthermore we have applied our method to an example problem proposed for the 6th Software Process Workshop, and discussed our approach.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
