FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214554803> ?p ?o ?g. }

• W4214554803 endingPage "759" @default.
• W4214554803 startingPage "759" @default.
• W4214554803 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." @default.
• W4214554803 created "2022-03-02" @default.
• W4214554803 creator A5021452458 @default.
• W4214554803 creator A5054654725 @default.
• W4214554803 date "2022-02-27" @default.
• W4214554803 modified "2023-09-25" @default.
• W4214554803 title "The Application of Directed Hyper-Graphs for Analysis of Models of Information Systems" @default.
• W4214554803 cites W1492802897 @default.
• W4214554803 cites W1532777614 @default.
• W4214554803 cites W1537736871 @default.
• W4214554803 cites W1539956464 @default.
• W4214554803 cites W1551797910 @default.
• W4214554803 cites W1564907238 @default.
• W4214554803 cites W1569967565 @default.
• W4214554803 cites W157530842 @default.
• W4214554803 cites W1589398260 @default.
• W4214554803 cites W1598698067 @default.
• W4214554803 cites W1812636409 @default.
• W4214554803 cites W1941645695 @default.
• W4214554803 cites W1969322671 @default.
• W4214554803 cites W1974625302 @default.
• W4214554803 cites W1977682004 @default.
• W4214554803 cites W1980592457 @default.
• W4214554803 cites W1984762302 @default.
• W4214554803 cites W1991477862 @default.
• W4214554803 cites W1998162300 @default.
• W4214554803 cites W2022333401 @default.
• W4214554803 cites W2047929536 @default.
• W4214554803 cites W2051124257 @default.
• W4214554803 cites W2073110689 @default.
• W4214554803 cites W2079252051 @default.
• W4214554803 cites W2082049134 @default.
• W4214554803 cites W2093275530 @default.
• W4214554803 cites W2094651715 @default.
• W4214554803 cites W2097040817 @default.
• W4214554803 cites W2098916257 @default.
• W4214554803 cites W2106082215 @default.
• W4214554803 cites W2117810534 @default.
• W4214554803 cites W2120901716 @default.
• W4214554803 cites W2131247527 @default.
• W4214554803 cites W2133925646 @default.
• W4214554803 cites W2134658842 @default.
• W4214554803 cites W2146606205 @default.
• W4214554803 cites W2152432270 @default.
• W4214554803 cites W2166056089 @default.
• W4214554803 cites W2169576138 @default.
• W4214554803 cites W2171361281 @default.
• W4214554803 cites W2307340971 @default.
• W4214554803 cites W2490976887 @default.
• W4214554803 cites W2503470518 @default.
• W4214554803 cites W2527253457 @default.
• W4214554803 cites W2760688545 @default.
• W4214554803 cites W2770828644 @default.
• W4214554803 cites W2806047968 @default.
• W4214554803 cites W2811239796 @default.
• W4214554803 cites W2902262850 @default.
• W4214554803 cites W2911625174 @default.
• W4214554803 cites W2955512557 @default.
• W4214554803 cites W2969374400 @default.
• W4214554803 cites W2970320270 @default.
• W4214554803 cites W300293457 @default.
• W4214554803 cites W3011880101 @default.
• W4214554803 cites W3112495360 @default.
• W4214554803 cites W3145963931 @default.
• W4214554803 cites W3151151439 @default.
• W4214554803 cites W3177831581 @default.
• W4214554803 cites W3199546142 @default.
• W4214554803 cites W4200092783 @default.
• W4214554803 cites W4230161294 @default.
• W4214554803 cites W4232836483 @default.
• W4214554803 cites W4235998874 @default.
• W4214554803 cites W4238003946 @default.
• W4214554803 cites W4241289373 @default.
• W4214554803 cites W4242219076 @default.
• W4214554803 cites W4249857954 @default.
• W4214554803 cites W4256453283 @default.
• W4214554803 cites W943319526 @default.
• W4214554803 cites W970580231 @default.
• W4214554803 doi "https://doi.org/10.3390/math10050759" @default.
• W4214554803 hasPublicationYear "2022" @default.
• W4214554803 type Work @default.
• W4214554803 citedByCount "3" @default.
• W4214554803 countsByYear W42145548032022 @default.
• W4214554803 countsByYear W42145548032023 @default.
• W4214554803 crossrefType "journal-article" @default.
• W4214554803 hasAuthorship W4214554803A5021452458 @default.
• W4214554803 hasAuthorship W4214554803A5054654725 @default.
• W4214554803 hasBestOaLocation W42145548031 @default.
• W4214554803 hasConcept C115903868 @default.
• W4214554803 hasConcept C119599485 @default.
• W4214554803 hasConcept C124101348 @default.
• W4214554803 hasConcept C127413603 @default.
• W4214554803 hasConcept C144133560 @default.
• W4214554803 hasConcept C154945302 @default.
• W4214554803 hasConcept C162853370 @default.
• W4214554803 hasConcept C174998907 @default.
• W4214554803 hasConcept C177212765 @default.
• W4214554803 hasConcept C177264268 @default.

• next