{"title":"用于建模和开发知识密集型系统的软件工程环境","authors":"G. Bruno, Gianpaolo Macario, Alvise Grammatica","doi":"10.1109/SEKE.1992.227909","DOIUrl":null,"url":null,"abstract":"One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are information models: an extended entity-relationship formalism is suitable to build such models. On the other hand, process models are behavioral models which react to temporal events or to user actions on the repository. The authors' research aims at providing conceptual models which support the construction of rigorous and verifiable organization and process models. They have developed two formalisms: Quid for building E-R models and generating the corresponding repository, and Protob for expressing process models in terms of high level nets. This paper illustrates the formalisms and present examples of process models.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"54 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A software engineering environment for modeling and developing knowledge-intensive systems\",\"authors\":\"G. Bruno, Gianpaolo Macario, Alvise Grammatica\",\"doi\":\"10.1109/SEKE.1992.227909\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are information models: an extended entity-relationship formalism is suitable to build such models. On the other hand, process models are behavioral models which react to temporal events or to user actions on the repository. The authors' research aims at providing conceptual models which support the construction of rigorous and verifiable organization and process models. They have developed two formalisms: Quid for building E-R models and generating the corresponding repository, and Protob for expressing process models in terms of high level nets. This paper illustrates the formalisms and present examples of process models.<<ETX>>\",\"PeriodicalId\":191866,\"journal\":{\"name\":\"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering\",\"volume\":\"54 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-06-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEKE.1992.227909\",\"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 Fourth International Conference on Software Engineering and Knowledge Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEKE.1992.227909","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A software engineering environment for modeling and developing knowledge-intensive systems
One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are information models: an extended entity-relationship formalism is suitable to build such models. On the other hand, process models are behavioral models which react to temporal events or to user actions on the repository. The authors' research aims at providing conceptual models which support the construction of rigorous and verifiable organization and process models. They have developed two formalisms: Quid for building E-R models and generating the corresponding repository, and Protob for expressing process models in terms of high level nets. This paper illustrates the formalisms and present examples of process models.<>