Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets

Author(s):  
C. Anglano ◽  
S. Donatelli ◽  
R. Gaeta
2012 ◽  
Vol 50 (16) ◽  
pp. 4718-4733 ◽  
Author(s):  
Giovanni Mazzuto ◽  
Maurizio Bevilacqua ◽  
Filippo Emanuele Ciarapica

Author(s):  
Hyggo Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.


Author(s):  
Francisco Camargo-Santacruz ◽  
Juan Frausto-Solís ◽  
Fernando Ramos-Quintana

Author(s):  
Akinlolu O. Afolabi ◽  
Rafiu A. Ganiyu ◽  
Oladiran T. Arulogun ◽  
Azeez O. Ganiyu

Inbound call centres are centralized offices which are operated by modern organizations to administer incoming product supports or information inquiries from consumers. In this paper, a model for an inbound call centre, which is characterized by agent utilization and call abandon rates, was developed using Hierarchical Timed Coloured Petri Nets (HTCPN). The inbound call section of SN Nigeria Ltd., Lagos, Nigeria, was used as a case study in developing the HTCPN model. Data were collected and analyzed statistically using ARENA simulation software to determine the model parameters. These parameters were used as inputs in developing the HTCPN model which consists of Call Arrival, Hang up Processes, Sales Processes, Customercare and Enterprise Process modules. The model was simulated using Colour Petri Nets tools and validated by carrying out a statistical analysis (t-Test) between the simulated and the real number of abandon calls and agents utilization rates at 5% significance level. The simulation results of the developed HTCPN model revealed that increase in number of agents utilized resulted into decrease in abandon calls from 71, 7 and 108 to 35, 4 and 102 in customer care, enterprise and sales departments, respectively. Correspondingly, increase in number of utilized agents led to reduction in agents’ utilization rates from 96, 50 and 96% to 84, 40 and 92% for customer care, enterprise and sales departments, respectively. The result of the validation showed that there were no significant differences between the simulated and the real number of abandoned calls and agents utilization rates.


2009 ◽  
pp. 3361-3380
Author(s):  
Hyggo Oliveira de Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.


Author(s):  
Cornell G. F. Junior ◽  
L. C. Marques Vasconcelos ◽  
G. C. Barroso ◽  
J. M. Soares ◽  
L. F. Leite

Sign in / Sign up

Export Citation Format

Share Document