implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. the current study was designed in order to model the curr...

In modeling a cold standby redundancy allocation problem (RAP) with imperfect switching mechanism, deriving a closed form version of a system reliability is too difficult. A convenient lower bound on system reliability is proposed and this approximation is widely used as a part of objective function for a system reliability maximization problem in the literature. Considering this lower bound do...

In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports of fault propagation paths before making costly design commitments. However, traditional FFIP some deficiencies. this paper, we extend functional failure logic (FFL) in introduce concept d...

Banks need to document their business processes for multiple purposes. Hence, efficiently documenting and automatically analyzing business process models becomes increasingly important in order to achieve additional value from modeling efforts. However, recent research indicates that banks are not very satisfied with general purpose business process modeling languages. Our research indicates th...

The bflow* Toolbox is a modeling tool for the business process modeling language Event Driven Process Chains (EPCs). In this paper, we describe three innovative features of the modeling tool: First, the modeler gets continuously feedback about possible modeling problems. Second, there is an option to construct a large part of a model with input from the keyboard only, i.e. without ever touching...