A conceptual design review of the ITER gas injection system (GIS) function, safety, operation, and maintenance has recently been successfully completed. The GIS design can now continue to the preliminary design stag...A conceptual design review of the ITER gas injection system (GIS) function, safety, operation, and maintenance has recently been successfully completed. The GIS design can now continue to the preliminary design stage. This paper gives an overall description of the requirements and implementation at the concept design level. The designs of the sub-systems according to its breakdown structure are discussed against the corresponding requirements.展开更多
Workflow system has become a standard solution for managing a complex business process.How to guarantee its correctness is a key requirement.Many methods only focus on the control-flow verification,while they neglect ...Workflow system has become a standard solution for managing a complex business process.How to guarantee its correctness is a key requirement.Many methods only focus on the control-flow verification,while they neglect the modeling and checking of data-flows.Although some studies are presented to repair the data-flow errors,they do not consider the effect of delete operations or weak circulation relations on the repairing results.What’s more,repairing some data-flow errors may bring in new errors.In order to solve these problems,we use workflow net with data(WFD-net)systems to model and analyze a workflow system.Based on weak behavioral relations and order relations in a WFD-net system,we formalize four kinds of data-flow errors.After then,we reveal the relations between these errors and organize them into a hierarchy.Furthermore,we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair strategies.Finally,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness.展开更多
This paper presents a requirement engineering for developing an e-coaching environment in the higher education sector. This research demonstrates that IT experts encounter challenges in establishing a system that matc...This paper presents a requirement engineering for developing an e-coaching environment in the higher education sector. This research demonstrates that IT experts encounter challenges in establishing a system that matches a university’s expectations, as they are usually uncertain about its goals and system requirements. The paper illustrates a business goal-focused requirement induction technique, which encompasses demonstrating the business procedures through Business Process Modelling Notation (BPMN), assessing the university goals via the tree diagram, and drawing out the system requirements from the university objectives through UML state diagrams. A case study of supporting the development of a new IT course is used as a case study and applied using BPMN.展开更多
基金undertaken within the framework of the ITER Projectsupported by the ITER Organization and/or its Members,i.e.,China,EU,India,Japan,Korea,Russia
文摘A conceptual design review of the ITER gas injection system (GIS) function, safety, operation, and maintenance has recently been successfully completed. The GIS design can now continue to the preliminary design stage. This paper gives an overall description of the requirements and implementation at the concept design level. The designs of the sub-systems according to its breakdown structure are discussed against the corresponding requirements.
基金supported in part by the Shanghai Science and Technology Innovation Action Plan(Grant No.19511101300)in part by the Key Laboratory of EMBEDded System and Service Computing(Ministry of Education)(Grant Nos.ESSCKF201902 and ESSCKF202102)in part by the National Nature Science Foundation of China(Grant Nos.62172299 and 62032019).
文摘Workflow system has become a standard solution for managing a complex business process.How to guarantee its correctness is a key requirement.Many methods only focus on the control-flow verification,while they neglect the modeling and checking of data-flows.Although some studies are presented to repair the data-flow errors,they do not consider the effect of delete operations or weak circulation relations on the repairing results.What’s more,repairing some data-flow errors may bring in new errors.In order to solve these problems,we use workflow net with data(WFD-net)systems to model and analyze a workflow system.Based on weak behavioral relations and order relations in a WFD-net system,we formalize four kinds of data-flow errors.After then,we reveal the relations between these errors and organize them into a hierarchy.Furthermore,we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair strategies.Finally,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness.
文摘This paper presents a requirement engineering for developing an e-coaching environment in the higher education sector. This research demonstrates that IT experts encounter challenges in establishing a system that matches a university’s expectations, as they are usually uncertain about its goals and system requirements. The paper illustrates a business goal-focused requirement induction technique, which encompasses demonstrating the business procedures through Business Process Modelling Notation (BPMN), assessing the university goals via the tree diagram, and drawing out the system requirements from the university objectives through UML state diagrams. A case study of supporting the development of a new IT course is used as a case study and applied using BPMN.