Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Formal Modeling of Cyber-Physical Systems: Lessons Learn from Refinement and Proof Based Methods Read chapter Read first chapter

2019 | OriginalPaper | Chapter

An FSM Approach for Hypergraph Extraction Based on Business Process Modeling

Authors : Bouafia Khawla, Bálint Molnár

Published in: Advances in Computing Systems and Applications

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The high way of presentation of entities or activities and relations which enterprises needed for their higher success and the powerful descriptive and representation method because of their complexity needed more and more in our days. In this paper, an approach for Business Process Modelling (BPM) using Hypergraphs representation based on Finite State Machines (FSM) will be presented.
The main goal motives this work is the using of hypergraphs as a flexible mathematical structure describing Information System (IS) from various viewpoints to express the best graphical way for Business Process (BP).
The model proposed use FSM as an automated formal model by defining concepts and components of the hypergraph elements based on different FSM patterns (simple, complex) to get representations can be analyzed by either using more traditional tools as logic and inference rules or by a set of tools belonging to data science later.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Towards the Paradigm of Information Warehousing: Application to Twitter
next chapter An Automatic Muscle Activation Detection Using Discrete Wavelet and Integrated Profile: A Comparative Study
Literature
1.
Garcia, J.O., et al.: Applications of community detection techniques to brain graphs: algorithmic considerations and implications for neural connection. Proc. IEEE 99, 846–867 (2018)
2.
Wang, S., et al.: Spectral locality constrained elastic net hypergraph for hyperspectral image clustering. Int. J. Remote Sensing 38, 7374–7388 (2017)
3.
Amato, F., et al.: Centrality in heterogeneous social networks for lurkers detection: approach based on hypergraphs. Concurrency Comput. 30(3), e4188 (2018)
4.
Pola, E.D.S., Benedetto, M.D.D., Pezzut, D.: Design of decentralized critical observers for networks of FSM: a formal method approach. Automatica 86, 174–182 (2017)
5.
Borger, E., Fleischmann, A.: Abstract State Machine Nets: Closing the Gap Between BP Models and Their Implementation, 1st edn. ACM, Kiel (2015)
6.
Molnár, B., Béleczki, A., Benczúr, A.: An ISM based on graph theoretic background. J. Inf. Telecommun., 1–23 (2017)
7.
8.
Nguyen, B.T., Huu, D., Thanh, T.: Translation from BPMN to BPEL, Current Techniques and Limitations. ACM, USA (2014)
9.
Etouati, Y., Yeddes, M., Alouane, N.H., Alla, H.: From extended time petri network to linear hybrid automata for systems analysis. In: IEEE International Francophone Conference of Automatic CIFA 2015, pp. 01–04 (2015)
10.
Eshuis, R., Van Gorp, P.: Synthesizing object life cycles from BP model. Softw. Syst. Model. 15(1), 281–302 (2016)
11.
Heinze, T.S., Amme, W., Moser, S.: Static analysis and process model transformation for an advanced BP to Petri net mapping. Softw. Pract. Exp. 48, 161–195 (2017)
12.
Bouarioua, M.: A graph-based transformation approach for generating Petri nets models that can be parsed from UML diagrams. Ph.D. thesis (2013)
13.
Bouafia, K., Molnár, B., Khebizi, A.: Functional approach for transformation to abstract specifications for Web services from BPEL programs characteristics of the approach. In: Proceedings of WSPS-4, Pecs, Hungary (2017)
14.
Raman, M.G., Somu, N., Kirthivasan, K., Sriram, V.S.: A hypergraph and arithmetic residue-based probabilistic neural network for classification in intrusion detection systems. Neural Netw. 92, 89–97 (2017)
15.
Cui, K., Yang, W., Gou, H.: Experimental research and finite element analysis on the dynamic characteristics of concrete steel bridges with multi-cracks. J. Vibroeng. 19(6), 4198–4209 (2017)
16.
Bretto, A.: Hypergraph Theory: An Introduction, pp. 111–116. Springer, Heidelberg (2013)MATH
17.
Li, D., et al.: Link prediction in social networks based on hypergraph. In: Proceedings of the 22nd International Conference on WWW, pp. 41–42. ACM, USA (2013)
18.
19.
Ausiello, G., Italiano, G.F., Laura, L., Nanni, U., Sarracco, F.: Structure theorems for optimum hyper paths in directed hypergraphs. In: Proceedings of the 2nd International Symposium on Combinatorial Optimization, ISCO 2012, vol. 7422, pp. 1–14  Springer (2012)
20.
Chekuri, C., Xu, C.: Computing minimum cuts in hypergraphs. In: Proceedings of the Twenty Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017), pp. 1085–1100. Society for Industrial and Applied Mathematics, USA (2017)
21.
Gomez, M.: Embedded systems programming feature, vol. 13, no. 13 (2013)
22.
Walkinshaw, N., Taylor, R., Derrick, J.: Inferring extended FSM models from software executions. Empir. Softw. Eng. 21, 811 (2016)
23.
Bouafia, K, Molnár, B.: Adaptive case management and dynamic bp modeling a proposal for document-centric and formal approach. In: 12th AIS 2017 (2017)
24.
Minor, M., Bergmann, R., Görg, S.: Case-based adaptation of workflows. Inf. Syst. 40, 142 – 152 (2014)
25.
Molnár, B., Benczúr, A.: Facet of modeling web IS from a document-centric view. Int. J. Web Portals (IJWP) 5(4), 57–70 (2013)
Metadata
Title
An FSM Approach for Hypergraph Extraction Based on Business Process Modeling
Authors
Bouafia Khawla
Bálint Molnár
Copyright Year
2019
Book
Advances in Computing Systems and Applications

Print ISBN: 978-3-319-98351-6

Electronic ISBN: 978-3-319-98352-3

Copyright Year: 2019

DOI
https://doi.org/10.1007/978-3-319-98352-3_17

Premium Partner

    Image Credits