IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v10y2022i5p759-d760052.html
   My bibliography  Save this article

The Application of Directed Hyper-Graphs for Analysis of Models of Information Systems

Author

Listed:
  • Bálint Molnár

    (Faculty of Informatics, Eötvös Loránd University, ELTE, Pázmány Péter 1/C, 1117 Budapest, Hungary
    These authors contributed equally to this work.)

  • András Benczúr

    (Faculty of Informatics, Eötvös Loránd University, ELTE, Pázmány Péter 1/C, 1117 Budapest, Hungary
    These authors contributed equally to this work.)

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.

Suggested Citation

  • Bálint Molnár & András Benczúr, 2022. "The Application of Directed Hyper-Graphs for Analysis of Models of Information Systems," Mathematics, MDPI, vol. 10(5), pages 1-47, February.
    • Handle: RePEc:gam:jmathe:v:10:y:2022:i:5:p:759-:d:760052
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/10/5/759/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/10/5/759/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Saskia Sassen, 2008. "Introduction to Territory, Authority, Rights: From Medieval to Global Assemblages," Introductory Chapters, in: Territory, Authority, Rights: From Medieval to Global Assemblages, Princeton University Press.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Daniel Connolly & Alexander M. Hynd, 2023. "The construction and enforcement of East Asia’s air defence identification zones: Grey volumes in the sky?," Environment and Planning C, , vol. 41(5), pages 1029-1046, August.
    2. Harald Bauder, 2018. "Westphalia, Migration, and Feudal Privilege," Migration Letters, Migration Letters, vol. 15(3), pages 333-346, July.
    3. Risse, Mathias, 2009. "Immigration, Ethics and the Capabilities Approach," MPRA Paper 19218, University Library of Munich, Germany.
    4. Csenkey, Kristen & Bindel, Nina, 2021. "Post-Quantum Cryptographic Assemblages and the Governance of the Quantum Threat," SocArXiv 3ws6p, Center for Open Science.
    5. Bach Jonathan & Solomon M. Scott, 2008. "Labors of Globalization: Emergent State Responses," New Global Studies, De Gruyter, vol. 2(2), pages 1-21, June.
    6. Jane Wardani & Joannette J. (Annette) Bos & Diego Ramirez‐Lovering & Anthony G. Capon, 2022. "Enabling transdisciplinary research collaboration for planetary health: Insights from practice at the environment‐health‐development nexus," Sustainable Development, John Wiley & Sons, Ltd., vol. 30(2), pages 375-392, April.
    7. Allen J. Scott & Michael Storper, 2015. "The Nature of Cities: The Scope and Limits of Urban Theory," International Journal of Urban and Regional Research, Wiley Blackwell, vol. 39(1), pages 1-15, January.
    8. Semra Purkis, 2019. "Invisible Borders of the City for the Migrant Women From Turkey: Gendered Use of Urban Space and Place Making in Cinisello/Milan," Journal of International Migration and Integration, Springer, vol. 20(1), pages 261-278, February.
    9. Kees Terlouw, 2020. "Towards a Neomedieval Urban Future: Neoliberal or Sustainable?," Sustainability, MDPI, vol. 12(18), pages 1-15, September.
    10. Anna Amelina & Andreas Vasilache, 2014. "Editorial: The shadows of enlargement: Theorising mobility and inequality in a changing Europe," Migration Letters, Migration Letters, vol. 11(2), pages 109-124, May.
    11. Julian Germann, 2014. "State-led or Capital-driven? The Fall of Bretton Woods and the German Currency Float Reconsidered," New Political Economy, Taylor & Francis Journals, vol. 19(5), pages 769-789, September.
    12. Ondrej Ditrych, 2019. "Georgia’s frosts: ethnopolitical conflict as assemblage," Asia Europe Journal, Springer, vol. 17(1), pages 47-67, March.
    13. Saskia Sassen, 2009. "When Local Housing Becomes an Electronic Instrument: The Global Circulation of Mortgages — A Research Note," International Journal of Urban and Regional Research, Wiley Blackwell, vol. 33(2), pages 411-426, June.
    14. Martin J Murray, 2015. "Waterfall City (Johannesburg): Privatized Urbanism in Extremis," Environment and Planning A, , vol. 47(3), pages 503-520, March.
    15. Dorte Jagetić Andersen, 2014. "Do if you Dare: Reflections on (Un)familiarity, Identity-Formation and Ontological Politics," Journal of Borderlands Studies, Taylor & Francis Journals, vol. 29(3), pages 327-337, September.
    16. Nik Winchester & Nicholas Bailey, 2012. "Making Sense of ‘Global’ Social Justice: Claims for Justice in a Global Labour Market," Sociological Research Online, , vol. 17(4), pages 80-91, November.
    17. Epitropoulos Mike-Frank & Markoff John, 2017. "Once Again, They Have a Word for It: Greeks Talk about Our Global Age," New Global Studies, De Gruyter, vol. 11(3), pages 211-229, December.
    18. Jinghong Liu, 2019. "What Does In-Work Poverty Mean for Women: Comparing the Gender Employment Segregation in Belgium and China," Sustainability, MDPI, vol. 11(20), pages 1-25, October.
    19. Dolly Daftary, 2020. "Democratic decentralization, microcredit, and the workings of local government in rural India," Environment and Planning C, , vol. 38(4), pages 619-635, June.
    20. Yvan Renou & Thomas Bolognesi, 2019. "Governing urban water services in Europe: Towards sustainable synchronous regimes," Post-Print halshs-01985168, HAL.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:10:y:2022:i:5:p:759-:d:760052. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.