{"title":"软件演化的正式模型","authors":"M. Harn, V. Berzins, Luqi, B. Shultes","doi":"10.1109/ICCIMA.1999.798518","DOIUrl":null,"url":null,"abstract":"Proposes a formal model with mathematical definitions to represent and explore the complicated hierarchy and multidimensional structure of software evolution. This formalization of software evolution is based on a hypergraph and extended to an evolutionary hypergraph with different software evolution objects. In an evolutionary hypergraph, a top-level software evolution step can be refined into several finer software evolution steps and related top-level software evolution components can be decomposed into finer software evolution components. The hypergraph model, in conjunction with prototyping, can help developers describe and understand software evolution processes. We provide an example of multimedia system evolution to illustrate this formalization.","PeriodicalId":110736,"journal":{"name":"Proceedings Third International Conference on Computational Intelligence and Multimedia Applications. ICCIMA'99 (Cat. No.PR00300)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"A formal model for software evolution\",\"authors\":\"M. Harn, V. Berzins, Luqi, B. Shultes\",\"doi\":\"10.1109/ICCIMA.1999.798518\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Proposes a formal model with mathematical definitions to represent and explore the complicated hierarchy and multidimensional structure of software evolution. This formalization of software evolution is based on a hypergraph and extended to an evolutionary hypergraph with different software evolution objects. In an evolutionary hypergraph, a top-level software evolution step can be refined into several finer software evolution steps and related top-level software evolution components can be decomposed into finer software evolution components. The hypergraph model, in conjunction with prototyping, can help developers describe and understand software evolution processes. We provide an example of multimedia system evolution to illustrate this formalization.\",\"PeriodicalId\":110736,\"journal\":{\"name\":\"Proceedings Third International Conference on Computational Intelligence and Multimedia Applications. ICCIMA'99 (Cat. No.PR00300)\",\"volume\":\"8 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-09-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Third International Conference on Computational Intelligence and Multimedia Applications. ICCIMA'99 (Cat. No.PR00300)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCIMA.1999.798518\",\"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 Third International Conference on Computational Intelligence and Multimedia Applications. ICCIMA'99 (Cat. No.PR00300)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCIMA.1999.798518","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Proposes a formal model with mathematical definitions to represent and explore the complicated hierarchy and multidimensional structure of software evolution. This formalization of software evolution is based on a hypergraph and extended to an evolutionary hypergraph with different software evolution objects. In an evolutionary hypergraph, a top-level software evolution step can be refined into several finer software evolution steps and related top-level software evolution components can be decomposed into finer software evolution components. The hypergraph model, in conjunction with prototyping, can help developers describe and understand software evolution processes. We provide an example of multimedia system evolution to illustrate this formalization.