The Experts below are selected from a list of 18219 Experts worldwide ranked by ideXlab platform
Jixin Qian - One of the best experts on this subject based on the ideXlab platform.
-
an application of algebraic petri nets specification for vendor management inventory
Systems Man and Cybernetics, 2004Co-Authors: Wei Jian, Yuncan Xue, Jixin QianAbstract:In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.
-
SMC (5) - An application of algebraic Petri nets specification for vendor management inventory
2004 IEEE International Conference on Systems Man and Cybernetics (IEEE Cat. No.04CH37583), 2004Co-Authors: Wei Jian, Yuncan Xue, Jixin QianAbstract:In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.
Wei Jian - One of the best experts on this subject based on the ideXlab platform.
-
an application of algebraic petri nets specification for vendor management inventory
Systems Man and Cybernetics, 2004Co-Authors: Wei Jian, Yuncan Xue, Jixin QianAbstract:In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.
-
SMC (5) - An application of algebraic Petri nets specification for vendor management inventory
2004 IEEE International Conference on Systems Man and Cybernetics (IEEE Cat. No.04CH37583), 2004Co-Authors: Wei Jian, Yuncan Xue, Jixin QianAbstract:In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.
Beihassen Zouari - One of the best experts on this subject based on the ideXlab platform.
-
a formal design of secure information systems by using a formal secure data flow diagram fsdfd
Conference on Risks and Security of Internet and Systems, 2009Co-Authors: Nadia Soudain, Bel G Raggad, Beihassen ZouariAbstract:data flow diagram (DFD) is a methodology which can be applied to design an information system and even the behaviour of a whole organization. It has the advantages of simplicity and popularity by using simple notations. But, it is semi formal which means it lacks representation of semantics. Also, it doesn 't consider security features of the system. In, this paper, we describe our new proposed methodology called FSDFD Formal Secure data flow diagram). The idea of this proposal has been born from an increasing need of organizations to secure their information systems by making a secure and a formal design of each information system component. FSDFD will not only design formally more secured systems but also it will automate some security activities like security audit, risk analysis and vulnerability assessment. Use of FSDFD will so let organizations reduce both supported risk and security costs and improve security and assurance levels of their system.
-
CRiSIS - A formal design of secure information systems by using a Formal Secure data flow diagram (FSDFD)
2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009), 2009Co-Authors: Nadia Soudain, Bel G Raggad, Beihassen ZouariAbstract:data flow diagram (DFD) is a methodology which can be applied to design an information system and even the behaviour of a whole organization. It has the advantages of simplicity and popularity by using simple notations. But, it is semi formal which means it lacks representation of semantics. Also, it doesn 't consider security features of the system. In, this paper, we describe our new proposed methodology called FSDFD Formal Secure data flow diagram). The idea of this proposal has been born from an increasing need of organizations to secure their information systems by making a secure and a formal design of each information system component. FSDFD will not only design formally more secured systems but also it will automate some security activities like security audit, risk analysis and vulnerability assessment. Use of FSDFD will so let organizations reduce both supported risk and security costs and improve security and assurance levels of their system.
Yuncan Xue - One of the best experts on this subject based on the ideXlab platform.
-
an application of algebraic petri nets specification for vendor management inventory
Systems Man and Cybernetics, 2004Co-Authors: Wei Jian, Yuncan Xue, Jixin QianAbstract:In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.
-
SMC (5) - An application of algebraic Petri nets specification for vendor management inventory
2004 IEEE International Conference on Systems Man and Cybernetics (IEEE Cat. No.04CH37583), 2004Co-Authors: Wei Jian, Yuncan Xue, Jixin QianAbstract:In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.
Georgios Skapetis - One of the best experts on this subject based on the ideXlab platform.
-
Steps That Lead to the Diagnosis of Thyroid Cancer: Application of data flow diagram
2012Co-Authors: Kallirroi Paschali, Anna Tsakona, Dimitrios Tsolis, Georgios SkapetisAbstract:The complete hospital information system supports the electronic patient record, which, with the history registration, its laboratory and depiction examinations through the use of expert systems, leads to the immediate and effective diagnosis and treatment of the illness. In this present study with the use of a data flow diagram, which consists of a small indication of the way an expert system based on Artificial Intelligence can be made applicable, the steps which lead to the diagnosis of thyroid cancer will be mentioned, when the patient is admitted to the outpatient Endocrinology department. With the data flow diagram, the users can visualize the way in which the system will operate and what it can achieve. Also it will present the course which the medical professional follows in order to reach the diagnosis of thyroid cancer with the slightest error percentage, using the medical information in the extensive hospital information system.
-
AIAI (2) - Steps That Lead to the Diagnosis of Thyroid Cancer: Application of data flow diagram
IFIP Advances in Information and Communication Technology, 2012Co-Authors: Kallirroi Paschali, Anna Tsakona, Dimitrios Tsolis, Georgios SkapetisAbstract:The complete hospital information system supports the electronic patient record, which, with the history registration, its laboratory and depiction examinations through the use of expert systems, leads to the immediate and effective diagnosis and treatment of the illness. In this present study with the use of a data flow diagram, which consists of a small indication of the way an expert system based on Artificial Intelligence can be made applicable, the steps which lead to the diagnosis of thyroid cancer will be mentioned, when the patient is admitted to the outpatient Endocrinology department. With the data flow diagram, the users can visualize the way in which the system will operate and what it can achieve. Also it will present the course which the medical professional follows in order to reach the diagnosis of thyroid cancer with the slightest error percentage, using the medical information in the extensive hospital information system.
