Performance evaluation of medical imaging service

Authors:
E. Tavares;J. Aleixo;P. Maciel;D. Oliveira;E. Heyde;R. Araujo;L. Maia;A. Duarte;M. Novaes
Affiliations:
Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil;Federal University of Pernambuco Pernambuco, Brazil
Venue:
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Year:
2012

Citing 7
Cited 0

Probability and statistics with reliability, queuing and computer science applications

Probability and statistics with reliability, queuing and computer science applications
The importance of business process modeling in software systems design

Science of Computer Programming
A multi-class queuing network analysis methodology for improving hospital emergency department performance

Computers and Operations Research
Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic

INTENSIVE '09 Proceedings of the 2009 First International Conference on Intensive Applications and Services
Business process management: a survey

BPM'03 Proceedings of the 2003 international conference on Business process management
Automatic modeling for performance evaluation of inventory and outbound distribution

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
On the suitability of BPMN for business process modelling

BPM'06 Proceedings of the 4th international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Public/private decision makers have faced challenges to improve healthcare services for supporting the increasing demand and simultaneously reducing the associated costs. Although the adoption of information and communication technologies (ICTs) are important in this context, the current service status should be firstly examined and different configurations/scenarios quantitatively evaluated before any further adjustment. Formal methods are of great importance, since they provide mathematical means for quantitative evaluation of systems and allow property analysis/verification. This paper presents an approach based on stochastic Petri nets for the performance evaluation of medical imaging service, adopting a real-world case study to demonstrate the feasibility of the proposed approach.