Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Relationship between accounting benefits and ERP user satisfaction in the context of the fourth industrial revolution

The importance of corporate social responsibility is shaping investment decisions and entrepreneurial actions in diverse perspectives. The rapid growth of SMEs has tremendous impacts on the environment. Nonetheless, the economic emergence plan of Cameroon has prompted government support of SMEs through diverse projects. This saw economic growth increased to 3.8% and unemployment dropped to 4.3% caused by the expansion of private sector investments. The dilemma that necessitated this study is the response strategy of SMEs operators towards environmental sustainability. This study, thus seeks to examine the effects of entrepreneurial intentions and actions on environmental sustainability. The research is a conclusive case study design supported by the philosophical underpins of objectivism ontology and positivism epistemology. Data was sourced from four hundred (400) SMEs operators purposively sampled from the Centre and Littoral regions of Cameroon using structured questionnaire. Data was analysed using the Structural Equation Modelling technique with the aid of statistical packages including: SPSS 24 and AMOS 23. The study revealed that entrepreneurial action has weak positive statistical significant impacts on environmental sustainability; whereas entrepreneurial intention has strong positive statistical significant effects on environmental sustainability. Entrepreneurial intention comprised of self-efficacy and perceived control whereas, entrepreneurial actions involved entrepreneurial alertness and uncertainty. This study concludes that entrepreneurs in Cameroon have sustainable intentions to protect the environment but; the current actions taken are inadequate. This research recommends that entrepreneurs should enhance efforts toward attaining the state of genuine sustainabilit

Information systems and healthcare XXIV: Factors affecting the EAI adoption in the healthcare sector

Recent developments in the field of integration technologies like Enterprise Application Integration (EAI) have emerged to support organizations towards improving the quality of services and reducing integration costs. Despite the importance of EAI, there is limited empirical research reported on its adoption in the healthcare sector. Khoumbati et al. [2006] developed a model for the evaluation of EAI in healthcare organizations. In doing so, the causal interrelationship of EAI adoption factors was identified by using fuzzy cognitive mapping. This paper is a progression of previous work in the area and seeks to contribute by validating the model through a different case environment. Thus, this paper contributes by deriving and proposing the MAESTRO model for EAI adoption. MAESTRO identifies a set of factors that influence EAI adoption and it is evaluated through a real-life case study. It provides an understanding of the EAI adoption process through its grounding on empirical data. In doing so, the MAESTRO model supports the management of healthcare organizations during the decision-making process for EAI adoption

A conceptual model of enterprise application integration in higher education institutions

Copyright @ 2013 EMCIS.It is eminent that several applications’ systems are deployed at different levels in Higher Education (HE), ranging from academic and administrative to staff and students record systems. Many of these systems suffer from different problems due to the lack of integration such as data redundancy, inconsistency and maintenance cost. Enterprise Application Integration (EAI) can provide substantial benefits to these systems, such as assisting with business process integration, facilitating e-service based transformation and supporting collaborative decision-making. However, some factors that influence EAI adoption process in HE will be defined. This paper introduces a conceptual model to explain the outcome of using EAI in Higher Education Institutions (HEIs). Analyzing the combination of the existing classification of EAI factors with the HE factors will enhance the implementation of EAI in HEI at both organizational and operational levels. A pilot study at King Abdulaziz University (KAU), Kingdom of Saudi Arabia will be presented in this paper to show that the integration of the multiple information systems gives an integrated view to facilitate information access and reuse. Moreover data from different information systems is combined to gain a more comprehensive basis to satisfy the educational needs

Improving the quality of the COBIT 5 goals cascade as an IT process prioritisation mechanism

COBIT 5 is a commonly used IT Governance Framework. Its first principle is that all IT related activities should support generating value for the enterprise. This principle is put in practice through the COBIT 5 Goals Cascade. In this paper the author has researched this principle's main claimed benefit, i.e. that it allows to prioritise IT related processes based on overall enterprise priorities. The quality of the goals cascade was researched by looking at the accuracy of the published mapping tables, the dependencies between goals in the same goal set and the sensitivity of the Goals Cascade towards input variations. The author concludes that the current Goals Cascade isn't very useable as a prioritisation mechanism for IT processes. The author finally proposes an improvement to the current Goals Cascade, consisting of an additional, limited set of ‘Enterprise Strategies' that map directly to IT related processes. A prototype solution has been tested, showing promising improvements

Usage habits of business information system in Hungary

The IT functions of the companies can be executed in different ways in-house solution, outsourcing, in sourcing, formation a spin-off company. Predominantly this function is provided within the company in Hungary. The larger a company is; it is more likely that a separate IT manager will be entrusted for the supervision of IT functions. Only a very small number of small-sized enterprises said that they paid special attention to formulating an IT strategy, while it was not considered important by microenterprises at all

Applying semantic web services to enterprise web

Enterprise Web provides a convenient, extendable, integrated platform for information sharing and knowledge management. However, it still has many drawbacks due to complexity and increasing information glut, as well as the heterogeneity of the information processed. Research in the field of Semantic Web Services has shown the possibility of adding higher level of semantic functionality onto the top of current Enterprise Web, enhancing usability and usefulness of resource, enabling decision support and automation. This paper aims to explore the use of Semantic Web Services in Enterprise Web and discuss the Semantic Web Services (SWS) approach for designing Enterprise Web applications. A Semantic Web Service oriented model is presented, in which resources and services are described by ontology, and processed through Semantic Web Service, allowing integrated administration, interoperability and automated reasoning