Abstract
Hyper-graphs offer the opportunity to formulate logical statements about their components, for example, using Horn clauses. Several models of Information Systems can be represented using hyper-graphs as the workflows, i.e., the business processes. During the modeling of Information Systems, many constraints should be maintained during the development process. The models of Information Systems are complex objects, for this reason, the analysis of algorithms and graph structures that can support the consistency and integrity of models is an essential issue. A set of interdependencies between models and components of architecture can be formulated by functional dependencies and can be investigated via algorithmic methods. Information Systems can be perceived as overarching documents that includes data collections; documents to be processed; and representations of business processes, activities, and services. Whe selecting and working out an appropriate method encoding of artifacts in Information Systems, the complex structure can be represented using hyper-graphs. This representation enables the application of various model-checking, verification, and validation tools that are based on formal approaches. This paper describes the proposed representations in different situations using hyper-graphs, moreover, the formal, algorithmic-based model-checking methods that are coupled with the representations. The model-checking methods are realized by algorithms that are grounded in graph-theoretical approaches and tailored to the specificity of hyper-graphs. Finally, the possible applications in a real-life enterprise environment are outlined.
Highlights
The notion of Information Systems looks back for decades; it is difficult to define, because of the complexity of such systems and their diverse application area.This is different from the General Systems Theory, which states “A system can be defined as a complex of interacting elements.” [1], p. 55.A suitable definition is necessary for Information Systems in an enterprise environment
We can investigate the services of Information Systems from the point of Service Science, i.e., what kind of services are provided by Information Systems [3,4]
Several types of Information Systems are typically embedded into the Service Systems of an Enterprise
Summary
The notion of Information Systems looks back for decades; it is difficult to define, because of the complexity of such systems and their diverse application area.This is different from the General Systems Theory, which states “A system can be defined as a complex of interacting elements.” [1], p. 55.A suitable definition is necessary for Information Systems in an enterprise environment. The notion of Information Systems looks back for decades; it is difficult to define, because of the complexity of such systems and their diverse application area. This is different from the General Systems Theory, which states “A system can be defined as a complex of interacting elements.” [1], p. Systems as follows: Information Systems based on Information Technology operate in an organizational and human environment to achieve well-defined objectives through processing, storing, retrieving, disseminating, and transferring data to yield information for the end-users (cf [2]). Several types of Information Systems are typically embedded into the Service Systems of an Enterprise. In the Service Economy, Service Systems can be ameliorated through correct and accurate information management of Information Systems, which are the workhorses of Company
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
