Recently, large-scale computer software systems have attached a great deal of attention when they are regarded as complex networks composed of interacting units. In this paper, the collaboration relationships between header files in the source code of Linux kernels are analyzed by constructing a weighted File Collaboration Network(FCN): each node represents a header file, two nodes are connected if corresponding header files are both included in the same source file at least once, also the link weight is assigned to evaluate the intensity of co inclusion of two header files. Through using appropriate non-weighted and weighted quantities, structural properties of FCNs are characterized and analyzed. The study of large-scale softwares from the viewpoint of complex networks can provide a better description of the organizational principles and evolving mechanism of complex software systems.
{"title":"Mining Important Topological Properties in Large-Scale Computer Software Systems Based on Complex Networks","authors":"Shiwen Sun, Cheng-yi Xia, L. Wang, Lanying Wang","doi":"10.1109/WCSE.2010.135","DOIUrl":"https://doi.org/10.1109/WCSE.2010.135","url":null,"abstract":"Recently, large-scale computer software systems have attached a great deal of attention when they are regarded as complex networks composed of interacting units. In this paper, the collaboration relationships between header files in the source code of Linux kernels are analyzed by constructing a weighted File Collaboration Network(FCN): each node represents a header file, two nodes are connected if corresponding header files are both included in the same source file at least once, also the link weight is assigned to evaluate the intensity of co inclusion of two header files. Through using appropriate non-weighted and weighted quantities, structural properties of FCNs are characterized and analyzed. The study of large-scale softwares from the viewpoint of complex networks can provide a better description of the organizational principles and evolving mechanism of complex software systems.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133972833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
ERP II system is embedded rules and norms from preexisting institutions that serve to both legitimate and facilitate inter-organization isomorphic structure. There is paradox of ERP II investment evaluation based on ROI and TCO metrics. The role of ERP II system in legitimating business practice as being in conformity with accepted norms and conventions has been increasingly recognized by CXFs(CEOs, CFOs, COOs, CIOs). ERPII system may also play a significant role in establishing and perpetuating inter-enterprise structure of institutions. The purpose of this paper is to provide ERP II evaluation from institutional view. This paper argues hypotheses about ERP II intangible performance from business legitimacy, reference of business model and business processes automorphism between business actors. Institutional view can be used to ERP II software requirement analysis and system design as well ERP II promotion for ERP II vendors.
{"title":"Evaluation ERP II Application Performance from Institutional Theory View","authors":"Wang Huifen, Dalen T. Chiang","doi":"10.1109/WCSE.2010.83","DOIUrl":"https://doi.org/10.1109/WCSE.2010.83","url":null,"abstract":"ERP II system is embedded rules and norms from preexisting institutions that serve to both legitimate and facilitate inter-organization isomorphic structure. There is paradox of ERP II investment evaluation based on ROI and TCO metrics. The role of ERP II system in legitimating business practice as being in conformity with accepted norms and conventions has been increasingly recognized by CXFs(CEOs, CFOs, COOs, CIOs). ERPII system may also play a significant role in establishing and perpetuating inter-enterprise structure of institutions. The purpose of this paper is to provide ERP II evaluation from institutional view. This paper argues hypotheses about ERP II intangible performance from business legitimacy, reference of business model and business processes automorphism between business actors. Institutional view can be used to ERP II software requirement analysis and system design as well ERP II promotion for ERP II vendors.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"07 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133619767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
According to the shortage of analysis software for temperature control while massive concrete structures were widely used, the special temperature control aided analysis software (TCAS) was developed. A mature Fortran program was applied with a precise method for pipe cooling calculation added during development. Friendly graphic user interface was developed, by using Microsoft foundation classes (MFC). Open graphics library (OpenGL) was applied for the display of the model and results. TCAS has strong practicality, pertinence and easy operation, comparing with general commercial finite element analysis software. Theory of temperature control for concrete construction and mechanism of major measures for temperature control were analyzed. In particular, various concrete cooling simulation methods were compared and the cooling pipe discrete element method using in this software was introduced in detail. Details on the development process, software modules, and functions of major modules were introduced in this paper. With the help of TCAS, the choice of concrete temperature control measures and designing of temperature control scheme will become simpler and more convenient.
{"title":"Development of Simulation and Analysis Software of Temperature Control for Massive Concrete Construction","authors":"Z. Xie, S. Qiang, Xiao Sun, Wei Shuai, R. Zheng","doi":"10.1109/WCSE.2010.85","DOIUrl":"https://doi.org/10.1109/WCSE.2010.85","url":null,"abstract":"According to the shortage of analysis software for temperature control while massive concrete structures were widely used, the special temperature control aided analysis software (TCAS) was developed. A mature Fortran program was applied with a precise method for pipe cooling calculation added during development. Friendly graphic user interface was developed, by using Microsoft foundation classes (MFC). Open graphics library (OpenGL) was applied for the display of the model and results. TCAS has strong practicality, pertinence and easy operation, comparing with general commercial finite element analysis software. Theory of temperature control for concrete construction and mechanism of major measures for temperature control were analyzed. In particular, various concrete cooling simulation methods were compared and the cooling pipe discrete element method using in this software was introduced in detail. Details on the development process, software modules, and functions of major modules were introduced in this paper. With the help of TCAS, the choice of concrete temperature control measures and designing of temperature control scheme will become simpler and more convenient.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121842531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The “computer-aided design software for smart home device” via cloud computing service helps designer select smart home device and build a smart living space. In the process of design, it offers visual stimulation, builds the smart home device system, and is helpful in budgeting and quotes. As a result, the software is a communicational interface for smart home device industry, designer, and home user. We suggest an integrative structure of “computer-aided design interface for smart home device” based on (1) the theory of intelligent agents, and (2) scenario-oriented design, in order to construct the software interface and therefore build an actual smart living space.
{"title":"The Computer-Aided Design Software for Smart Home Device Based on Cloud Computing Service","authors":"Shang-Yuan Chen, Y. Chang","doi":"10.1109/WCSE.2010.21","DOIUrl":"https://doi.org/10.1109/WCSE.2010.21","url":null,"abstract":"The “computer-aided design software for smart home device” via cloud computing service helps designer select smart home device and build a smart living space. In the process of design, it offers visual stimulation, builds the smart home device system, and is helpful in budgeting and quotes. As a result, the software is a communicational interface for smart home device industry, designer, and home user. We suggest an integrative structure of “computer-aided design interface for smart home device” based on (1) the theory of intelligent agents, and (2) scenario-oriented design, in order to construct the software interface and therefore build an actual smart living space.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121193726","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hyper visor is a piece of platform-virtualization software that allows multiple operating systems to run on a host computer concurrently. CAS Monitor, short for CAS Virtual Monitor, is a secure, high-assurance hyper visor prototype, which aims to level B3 or higher of TCSEC standard. This paper reports our experience of employing model checking method to verify some design properties of CAS Monitor, such as isolation, mediated sharing, communication between separated virtual machines and source control policy. We show how to specify design architecture of CAS Monitor with Spin PROMELA language and verify the above important properties to meet system security request.
{"title":"Model Checking a Secure Hypervisor","authors":"Sunlv Wang, Jian Liu, Qiuping Yi, Xian Zhang","doi":"10.1109/WCSE.2010.115","DOIUrl":"https://doi.org/10.1109/WCSE.2010.115","url":null,"abstract":"Hyper visor is a piece of platform-virtualization software that allows multiple operating systems to run on a host computer concurrently. CAS Monitor, short for CAS Virtual Monitor, is a secure, high-assurance hyper visor prototype, which aims to level B3 or higher of TCSEC standard. This paper reports our experience of employing model checking method to verify some design properties of CAS Monitor, such as isolation, mediated sharing, communication between separated virtual machines and source control policy. We show how to specify design architecture of CAS Monitor with Spin PROMELA language and verify the above important properties to meet system security request.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121900197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper presents the shared interface gateway software model based on the project of CWPS(Cooperative Workflow Platform Service). Firstly, the shared interface gateway framework is built and the meta-models of shared interface gateway software are given using BNF. Then, the protocol configuration model is designed using strategy structure pattern and its class diagram is given using UML. The content format of the configured protocol is defined using IDL and the description of content of configured protocol is given using xml. Finally, the implementation of communication semantic is discussed and asynchronous communication is implemented. Experimental results show that the proposed software model can make effective use of resources and achieve high performance.
{"title":"Shared Interface Gateway Softway Model in Communication Management","authors":"Xin Xu, Jiefeng Xu, Tongxin Xie, Xi Shao","doi":"10.1109/WCSE.2010.98","DOIUrl":"https://doi.org/10.1109/WCSE.2010.98","url":null,"abstract":"This paper presents the shared interface gateway software model based on the project of CWPS(Cooperative Workflow Platform Service). Firstly, the shared interface gateway framework is built and the meta-models of shared interface gateway software are given using BNF. Then, the protocol configuration model is designed using strategy structure pattern and its class diagram is given using UML. The content format of the configured protocol is defined using IDL and the description of content of configured protocol is given using xml. Finally, the implementation of communication semantic is discussed and asynchronous communication is implemented. Experimental results show that the proposed software model can make effective use of resources and achieve high performance.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124505176","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper compares the technology architecture between Google cloud computing platform and traditional IT system, and posts that the key of extremely low cost of Google cloud computing platform is applying the “Top-down " design method to infrastructure construction.
{"title":"Google Cloud Computing Platform Technology Architecture and the Impact of Its Cost","authors":"Xiaojing Jia","doi":"10.1109/WCSE.2010.93","DOIUrl":"https://doi.org/10.1109/WCSE.2010.93","url":null,"abstract":"This paper compares the technology architecture between Google cloud computing platform and traditional IT system, and posts that the key of extremely low cost of Google cloud computing platform is applying the “Top-down \" design method to infrastructure construction.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"295 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115930163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The inter communication signal system and signal control method on HMP are searched. One model of communication using HMP, which combines SIP and MS RCT as communication protocols, is proposed. The procedure of improving the identification of DTMF and the methods of reducing the transporting time under this model are provided.
{"title":"The Study on the Recognition of DTMF Signal in HMP Application","authors":"Li Xue-hua, Zhu Zhou-sen","doi":"10.1109/WCSE.2010.71","DOIUrl":"https://doi.org/10.1109/WCSE.2010.71","url":null,"abstract":"The inter communication signal system and signal control method on HMP are searched. One model of communication using HMP, which combines SIP and MS RCT as communication protocols, is proposed. The procedure of improving the identification of DTMF and the methods of reducing the transporting time under this model are provided.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127959966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We propose a new Java-based component-oriented programming language (COPL) named Bichon to support component-oriented software engineering. Bichon introduce component, bi-directional interface, static linking, and dynamic connection to programming language. With separation of static and dynamic behaviors of components, better component definition and composition are achieved. This paper presents the core syntax and type definition of Bichon calculus. Programming language design issues, including events, callbacks, overriding and message dispatch are concerned.
{"title":"Bichon: A New Component-Oriented Programming Language","authors":"Liping Xu, Yufei Ren","doi":"10.1109/WCSE.2010.11","DOIUrl":"https://doi.org/10.1109/WCSE.2010.11","url":null,"abstract":"We propose a new Java-based component-oriented programming language (COPL) named Bichon to support component-oriented software engineering. Bichon introduce component, bi-directional interface, static linking, and dynamic connection to programming language. With separation of static and dynamic behaviors of components, better component definition and composition are achieved. This paper presents the core syntax and type definition of Bichon calculus. Programming language design issues, including events, callbacks, overriding and message dispatch are concerned.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128160245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yunsheng Wang, Bo Wang, Jun Guo, Bin Zhang, Jina Wang
the paper has a detailed description of TDO (Test-Driven Outsourcing) mode, and has analyzed the entire task sets of the outsourcing team, proposed a new Software Process Mode, which is an evolution mode of the helix structure. This mode is different from the traditional mode of software project, so it is a new working mode. It is based on the ideas of BPO (Business Process Outsourcing). It may become the first one that assigns the task sets to the whole process of software development in an outsourcing team perspective. The mode of this paper is major for the heavyweight projects’ research and development, and can be better able to ensure the software quality, gives full play to the important role of testing in the software development process. Now, this mode has been adopted in practice projects, and achieved good results.
{"title":"The Research of Test-Driven Business Process Outsourcing","authors":"Yunsheng Wang, Bo Wang, Jun Guo, Bin Zhang, Jina Wang","doi":"10.1109/WCSE.2010.131","DOIUrl":"https://doi.org/10.1109/WCSE.2010.131","url":null,"abstract":"the paper has a detailed description of TDO (Test-Driven Outsourcing) mode, and has analyzed the entire task sets of the outsourcing team, proposed a new Software Process Mode, which is an evolution mode of the helix structure. This mode is different from the traditional mode of software project, so it is a new working mode. It is based on the ideas of BPO (Business Process Outsourcing). It may become the first one that assigns the task sets to the whole process of software development in an outsourcing team perspective. The mode of this paper is major for the heavyweight projects’ research and development, and can be better able to ensure the software quality, gives full play to the important role of testing in the software development process. Now, this mode has been adopted in practice projects, and achieved good results.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127438391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：