scholarly journals A One-Pass Tableau-Based Workflow Verification Framework

10.29007/5sl4 ◽  
2018 ◽  
Author(s):  
Md Zahidul Islam ◽  
Wendy Maccaull
Keyword(s):  
Description Logic ◽  
Workflow Management ◽  
Model Checker ◽  
Enterprise Information ◽  
Enterprise Information Systems ◽  
Practical Applications ◽  
Services Delivery ◽  
Counter Model ◽  
Workflow Verification ◽  
Verification Techniques

Workflow management systems (WfMSs) are useful tools for supporting enterprise information systems. Such systems must ensure compliance with guidelines and regulations. While formal verification techniques can be used in the development stages to help ensure behavioral properties of many systems, these techniques are generally not available in workflow tools. We present a framework which models workflows using Petri nets and translates the model to a tableau style model checker. The model checker uses the recently introduced one-pass tableau algorithm and delivers enhanced performance over traditional two-pass strategies in practical applications. A failed tableau will generate a counter model which can aid in debugging. We present a case study involving a health services delivery program, and verify properties written in Computation Tree Logic (CTL). The algorithm can be easily modified to accomodate other specification languages such as timed CTL, logics of beliefs, desires and intentions, temporal description logic, first order logic, and others.

From Ontology Phobia to Contextual Ontology Use in Enterprise Information Systems

2006 ◽  
pp. 115-164 ◽  
Author(s):  
Rami Rifaieh ◽  
Aïcha-Nabila Benharkat
Keyword(s):  
Information Systems ◽  
Description Logics ◽  
Point Of View ◽  
Theoretical Research ◽  
Shared Understanding ◽  
Formal Representation ◽  
Enterprise Information ◽  
Enterprise Information Systems ◽  
Practical Applications ◽  
Common Goals

Shared understanding in an enterprise is necessary to permit a unifying framework serving as the basis of communication between people, interoperability between systems, and other system engineering benefits such as reusability, reliability, and specification. Bringing systems to work together is increasingly becoming essential for leveraging the Enterprise Information Systems (EIS) and reaching common goals. Currently, enterprises develop their systems independently with low consideration for the collaboration that systems can play with other systems. Certainly, semantic sharing represents the daunting barrier for making these systems work together through common shared understanding. In the last decade, theoretical research such as ontologies and context were suggested separately as formal support for treating the semantics-sharing problem. In order to resolve this main problem, we intend to pair up the two notions of Context and Ontologies. Typically, contextualization can be seen at the ontology level in order to enable the multiple views and multi-representation requirements. Hence, the formal representation of contextual ontologies should preserve adequate reasoning mechanisms. A machine understandable semantics and interpretation should be also given for information in a context, according to a specific system’s point of view. However, we perceived a growing ontology phobia in many enterprises. This fear is based on misunderstanding of ontologies’ advantages and lack of practical applications for theoretical proposals. The aim of this chapter is twofold. On one hand, it concentrates on studying the application of tightening together context and ontologies which can serve as formal background for reaching a suitable EIS environment. It invests in resolving the semantic-sharing problem between these systems. It focuses on suggesting a formalism for contextual ontologies based on a combination of Description Logics and Modal Logics. On the other hand, it investigates issues and arguments helping to overcome the ontology phobia. It shows with examples the usefulness of these contextual ontologies for resolving the semantic-sharing problem between some EIS.

scholarly journals A Review of SOA Modeling Approaches for Enterprise Information Systems

2013 ◽  
Vol 11 ◽  
pp. 794-800 ◽  
Author(s):  
Mohsen Mohammadi ◽  
Muriati Mukhtar
Keyword(s):  
Information Systems ◽  
Enterprise Information ◽  
Enterprise Information Systems ◽  
Modeling Approaches

An investigation into the role of enterprise information systems in enabling business innovation

2015 ◽  
Vol 21 (4) ◽  
pp. 771-790 ◽  
Author(s):  
Luay Anaya ◽  
Mohammed Dulaimi ◽  
Sherief Abdallah
Keyword(s):  
Information Systems ◽  
Case Studies ◽  
United Arab Emirates ◽  
Clear Understanding ◽  
Business Practices ◽  
Enterprise Information ◽  
Content Type ◽  
Enterprise Information Systems ◽  
Business Innovation

Purpose – The purpose of this paper is to articulate clear understanding about the role of enterprise information systems (EIS) in developing innovative business practices. Particularly, it aims to explore the different ways that make EIS enables innovation development. Design/methodology/approach – The study adopted exploratory case study, based on qualitative approach. Investigations included two case studies each involved interviewing a number of senior information technology staff, working at these cases. Findings – The paper provides empirical insights about the EIS role in enabling innovation. The analysis of the case studies revealed that integrating an EIS with other system(s) or with digital devices can provide new practices that could not be easily available without these technologies. The study also found that applying data analytics tools into data accumulated from EIS, to extract new insights, lead to innovative practices. Practical implications – The study provides a set of recommendations for organizations interested to maximize the benefits from their investments in EIS. Originality/value – The paper provides evidences from cases in United Arab Emirates for the EIS role in enabling business innovation.

Bottom-up enterprise information systems

2016 ◽  
Vol 60 (1) ◽  
pp. 66-72 ◽  
Author(s):  
Cecil Eng Huang Chua ◽  
Veda C. Storey
Keyword(s):  
Information Systems ◽  
Enterprise Information ◽  
Bottom Up ◽  
Enterprise Information Systems
Sign in / Sign up

Export Citation Format

Share Document