Quality of process modeling using BPMN: a model-driven approach

Dissertação para obtenção do Grau de Doutor em Engenharia InformáticaContext: The BPMN 2.0 specification contains the rules regarding the correct usage of the language’s constructs. Practitioners have also proposed best-practices for producing better BPMN models. However, those rules are expressed in natural language, yielding sometimes ambiguous interpretation, and therefore, flaws in produced BPMN models. Objective: Ensuring the correctness of BPMN models is critical for the automation of processes. Hence, errors in the BPMN models specification should be detected and corrected at design time, since faults detected at latter stages of processes’ development can be more costly and hard to correct. So, we need to assess the quality of BPMN models in a rigorous and systematic way. Method: We follow a model-driven approach for formalization and empirical validation of BPMN well-formedness rules and BPMN measures for enhancing the quality of BPMN models. Results: The rule mining of BPMN specification, as well as recently published BPMN works, allowed the gathering of more than a hundred of BPMN well-formedness and best-practices rules. Furthermore, we derived a set of BPMN measures aiming to provide information to process modelers regarding the correctness of BPMN models. Both BPMN rules, as well as BPMN measures were empirically validated through samples of BPMN models. Limitations: This work does not cover control-flow formal properties in BPMN models, since they were extensively discussed in other process modeling research works. Conclusion: We intend to contribute for improving BPMN modeling tools, through the formalization of well-formedness rules and BPMN measures to be incorporated in those tools, in order to enhance the quality of process modeling outcomes

Practical Use of High-level Petri Nets

This booklet contains the proceedings of the Workshop on Practical Use of High-level Petri Nets, June 27, 2000. The workshop is part of the 21st International Conference on Application and Theory of Petri Nets organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The workshop papers are available in electronic form via the web pages: http://www.daimi.au.dk/pn2000/proceeding

Software Engineering and Petri Nets

This booklet contains the proceedings of the Workshop on Software Engineering and Petri Nets (SEPN), held on June 26, 2000. The workshop was held in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN-2000), organised by the CPN group of the Department of Computer Science, University of Aarhus, Denmark. The SEPN workshop papers are available in electronic form via the web page:http://www.daimi.au.dk/pn2000/proceeding

Proceedings, MSVSCC 2012

Proceedings of the 6th Annual Modeling, Simulation & Visualization Student Capstone Conference held on April 19, 2012 at VMASC in Suffolk, Virginia

Production Scheduling

Generally speaking, scheduling is the procedure of mapping a set of tasks or jobs (studied objects) to a set of target resources efficiently. More specifically, as a part of a larger planning and scheduling process, production scheduling is essential for the proper functioning of a manufacturing enterprise. This book presents ten chapters divided into five sections. Section 1 discusses rescheduling strategies, policies, and methods for production scheduling. Section 2 presents two chapters about flow shop scheduling. Section 3 describes heuristic and metaheuristic methods for treating the scheduling problem in an efficient manner. In addition, two test cases are presented in Section 4. The first uses simulation, while the second shows a real implementation of a production scheduling system. Finally, Section 5 presents some modeling strategies for building production scheduling systems. This book will be of interest to those working in the decision-making branches of production, in various operational research areas, as well as computational methods design. People from a diverse background ranging from academia and research to those working in industry, can take advantage of this volume

E-commerce in the travel and tourism industry in Sub-Saharan Africa

The e-commerce revolution in business can help African countries expand their tourism industry. Africa, with its great wealth in wildlife and unique resorts, can benefit from the ever increasing user population of the Internet, particularly in the USA and Western Europe where most of the tourists to Africa come from (Internet World Stats, 2004). E-commerce which runs on the backbone of the Internet can help the African tourism industry break into international tourism, thus increasing the flows of the much needed foreign currency. As there was little empirical data on the e-commerce activities in the African tourism industry the researcher first and foremost examined a large number of websites in order to paint a picture of the nature and extent of the e-commerce activities in four -African countries. For comparison, websites of tourism organisations from USA and Western Europe were also examined. The surveys revealed that few of the African organisations are embracing e-commerce and that although some websites were comparable to those of their western counterparts the majority had room for considerable improvement. After examining the websites another survey was carried out to find the current progress of e-commerce adoption and usage from the perspective of the African tourism organisations. Analysis of the data collected showed that e-commerce adoption among the tourism organisations was slow. This led to more surveys being carried out to find the barriers to e-commerce among tourism organisations with information-only websites and those whose websites had limited interactive facilities. These surveys revealed that tourism organisations with information-only websites faced more barriers than those with websites which had limited interactive features. They also revealed that the most common barriers were technological and security and legal barriers. The ultimate survey involved finding out from tourism organisations with fully-fledged e-commerce websites how they overcame the e-commerce barriers. The methods used by these organisations to overcome e-commerce barriers together with recommendations made in the surveys carried out earlier were used to formulate recommendations and guidelines for those organisations intending to adopt and e-commerce. The recommendations and guidelines were tested and results showed that they are helpful and easy to follow