the term business intelligence (bi) can refer to various computerized methods and processes of turning data into information and then into knowledge, which is eventually used to enhance organizational decision making. in the last decade, business intelligence has evolved as one of the critical applications in organizations to provide useful insight, support decision-making, and drive organizati...

the issue of entrepreneurial learning and entrepreneurs’ different learning methods are addressed to attract and empower young interested people to create and manage business activities. although learning has a crucial role in the process of entrepreneurship, entrepreneurs and researchers lack a comprehensive pattern for explaining learning in terms of sources, methods, as well as entrepreneurs...

The objective of this research was to explore, both theoretically and empirically, the ecological impacts of small-scale entrepreneurial ventures in developing countries. To this end, six microenterprises in rural southwestern Bangladesh established using green-microcredit strategies were evaluated in terms of goals, operational procedures, economic viability, social contributions, and impact o...

Enterprises usually execute business processes with the help of Information Technology (IT) services which, in turn, are realized by IT assets. Enterprise IT assets contain vulnerabilities that can be exploited by threats to cause harm to business processes and breach security of information assets. Hence, detection of threats is crucial for ensuring business continuity and protection of enterp...

Choreographies offer means to capture global interactions between business processes of different partners. BPEL4Chor has been introduced to describe these interactions using BPEL. Currently, there are no formal methods available to verify BPEL4Chor choreographies. In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verificat...

Business processes are by nature information-intensive and require IT support. Database systems solve the basic need for secure and efficient data storage and access. As such they are well-understood and widely applied. Workflow management systems, currently being added to support and optimize formal business processes, distribute jobs among employees. Recently, researchers and practioners star...

Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirements, and is therefore not very accessible. In this paper we show how model checking can be applied in the context of business modeling and analysis by people that are not trained in formal techniques. Spin is used as th...