Functional Programming for Business Process Modeling

Functional Programming for Business Process Modeling

This paper presents how Functional Programming (FP) helps to provide an other formal semantics (relation between the syntax and the model of computation) for Business Process Modeling (BPM); a semantics relatively different from Object Oriented semantics. More precisely, it proposes a general method...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IFAC-PapersOnLine 2017-07, Vol.50 (1), p.10526-10531
Hauptverfasser: Saini, Abhishek, Thiry, Laurent
Format: Artikel
Sprache:eng
Schlagworte:
Business Process Modeling
Computer Science
Functional Programming
Petri Nets
Semantics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 10531
container_issue 1
container_start_page 10526
container_title IFAC-PapersOnLine
container_volume 50
creator Saini, Abhishek
Thiry, Laurent
description This paper presents how Functional Programming (FP) helps to provide an other formal semantics (relation between the syntax and the model of computation) for Business Process Modeling (BPM); a semantics relatively different from Object Oriented semantics. More precisely, it proposes a general methodology to model business processes using mathematical functions and higher-order functions. We describe the basic part of Business Process Modeling, behavioral semantics via Petri Nets (PN) and Functional implementation of the models. Also, we will see how the business process model is translated into its equivalent form in Petri Nets and how these can be described through Functional Programming.
doi_str_mv 10.1016/j.ifacol.2017.08.1299
format Article
fullrecord <record><control><sourceid>elsevier_hal_p</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_04674717v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S2405896317318207</els_id><sourcerecordid>S2405896317318207</sourcerecordid><originalsourceid>FETCH-LOGICAL-c390t-183df227e8ec5f0237e205d3ba92919370168561f47fb7e41dea5c461a35fd693</originalsourceid><addsrcrecordid>eNqFUMtKAzEUDaJgqf0EoVsXM-b9WEkt1goVXeg6pHnUlOlEkmnBv3eGEXHn6lzueXDvAeAawRpBxG_3dQzGpqbGEIkayhphpc7ABFPIKqk4Of8zX4JZKXsIIVacCiUngK6Ore1iak0zf81pl83hENvdPKQ8vz-W2PpSBsIO-Jycb3r2ClwE0xQ_-8EpeF89vC3X1ebl8Wm52FSWKNhVSBIXMBZeessCxER4DJkjW6OwQoqI_n7JOApUhK3wFDlvmKUcGcKC44pMwc2Y-2Ea_ZnjweQvnUzU68VGDztIuaACiRPqtWzU2pxKyT78GhDUQ1N6r8em9NCUhlIPTfW-u9Hn-0dO0WddbPSt9S5mbzvtUvwn4RvUv3If</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Functional Programming for Business Process Modeling</title><source>Alma/SFX Local Collection</source><creator>Saini, Abhishek ; Thiry, Laurent</creator><creatorcontrib>Saini, Abhishek ; Thiry, Laurent</creatorcontrib><description>This paper presents how Functional Programming (FP) helps to provide an other formal semantics (relation between the syntax and the model of computation) for Business Process Modeling (BPM); a semantics relatively different from Object Oriented semantics. More precisely, it proposes a general methodology to model business processes using mathematical functions and higher-order functions. We describe the basic part of Business Process Modeling, behavioral semantics via Petri Nets (PN) and Functional implementation of the models. Also, we will see how the business process model is translated into its equivalent form in Petri Nets and how these can be described through Functional Programming.</description><identifier>ISSN: 2405-8963</identifier><identifier>EISSN: 2405-8963</identifier><identifier>DOI: 10.1016/j.ifacol.2017.08.1299</identifier><language>eng</language><publisher>Elsevier Ltd</publisher><subject>Business Process Modeling ; Computer Science ; Functional Programming ; Petri Nets ; Semantics</subject><ispartof>IFAC-PapersOnLine, 2017-07, Vol.50 (1), p.10526-10531</ispartof><rights>2017</rights><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c390t-183df227e8ec5f0237e205d3ba92919370168561f47fb7e41dea5c461a35fd693</citedby><cites>FETCH-LOGICAL-c390t-183df227e8ec5f0237e205d3ba92919370168561f47fb7e41dea5c461a35fd693</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,314,776,780,881,27901,27902</link.rule.ids><backlink>$$Uhttps://uha.hal.science/hal-04674717$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Saini, Abhishek</creatorcontrib><creatorcontrib>Thiry, Laurent</creatorcontrib><title>Functional Programming for Business Process Modeling</title><title>IFAC-PapersOnLine</title><description>This paper presents how Functional Programming (FP) helps to provide an other formal semantics (relation between the syntax and the model of computation) for Business Process Modeling (BPM); a semantics relatively different from Object Oriented semantics. More precisely, it proposes a general methodology to model business processes using mathematical functions and higher-order functions. We describe the basic part of Business Process Modeling, behavioral semantics via Petri Nets (PN) and Functional implementation of the models. Also, we will see how the business process model is translated into its equivalent form in Petri Nets and how these can be described through Functional Programming.</description><subject>Business Process Modeling</subject><subject>Computer Science</subject><subject>Functional Programming</subject><subject>Petri Nets</subject><subject>Semantics</subject><issn>2405-8963</issn><issn>2405-8963</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><recordid>eNqFUMtKAzEUDaJgqf0EoVsXM-b9WEkt1goVXeg6pHnUlOlEkmnBv3eGEXHn6lzueXDvAeAawRpBxG_3dQzGpqbGEIkayhphpc7ABFPIKqk4Of8zX4JZKXsIIVacCiUngK6Ore1iak0zf81pl83hENvdPKQ8vz-W2PpSBsIO-Jycb3r2ClwE0xQ_-8EpeF89vC3X1ebl8Wm52FSWKNhVSBIXMBZeessCxER4DJkjW6OwQoqI_n7JOApUhK3wFDlvmKUcGcKC44pMwc2Y-2Ea_ZnjweQvnUzU68VGDztIuaACiRPqtWzU2pxKyT78GhDUQ1N6r8em9NCUhlIPTfW-u9Hn-0dO0WddbPSt9S5mbzvtUvwn4RvUv3If</recordid><startdate>20170701</startdate><enddate>20170701</enddate><creator>Saini, Abhishek</creator><creator>Thiry, Laurent</creator><general>Elsevier Ltd</general><general>Elsevier</general><scope>AAYXX</scope><scope>CITATION</scope><scope>1XC</scope></search><sort><creationdate>20170701</creationdate><title>Functional Programming for Business Process Modeling</title><author>Saini, Abhishek ; Thiry, Laurent</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c390t-183df227e8ec5f0237e205d3ba92919370168561f47fb7e41dea5c461a35fd693</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Business Process Modeling</topic><topic>Computer Science</topic><topic>Functional Programming</topic><topic>Petri Nets</topic><topic>Semantics</topic><toplevel>online_resources</toplevel><creatorcontrib>Saini, Abhishek</creatorcontrib><creatorcontrib>Thiry, Laurent</creatorcontrib><collection>CrossRef</collection><collection>Hyper Article en Ligne (HAL)</collection><jtitle>IFAC-PapersOnLine</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Saini, Abhishek</au><au>Thiry, Laurent</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Functional Programming for Business Process Modeling</atitle><jtitle>IFAC-PapersOnLine</jtitle><date>2017-07-01</date><risdate>2017</risdate><volume>50</volume><issue>1</issue><spage>10526</spage><epage>10531</epage><pages>10526-10531</pages><issn>2405-8963</issn><eissn>2405-8963</eissn><abstract>This paper presents how Functional Programming (FP) helps to provide an other formal semantics (relation between the syntax and the model of computation) for Business Process Modeling (BPM); a semantics relatively different from Object Oriented semantics. More precisely, it proposes a general methodology to model business processes using mathematical functions and higher-order functions. We describe the basic part of Business Process Modeling, behavioral semantics via Petri Nets (PN) and Functional implementation of the models. Also, we will see how the business process model is translated into its equivalent form in Petri Nets and how these can be described through Functional Programming.</abstract><pub>Elsevier Ltd</pub><doi>10.1016/j.ifacol.2017.08.1299</doi><tpages>6</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2405-8963
ispartof IFAC-PapersOnLine, 2017-07, Vol.50 (1), p.10526-10531
issn 2405-8963
2405-8963
language eng
recordid cdi_hal_primary_oai_HAL_hal_04674717v1
source Alma/SFX Local Collection
subjects Business Process Modeling
Computer Science
Functional Programming
Petri Nets
Semantics
title Functional Programming for Business Process Modeling
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T03%3A20%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-elsevier_hal_p&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Functional%20Programming%20for%20Business%20Process%20Modeling&rft.jtitle=IFAC-PapersOnLine&rft.au=Saini,%20Abhishek&rft.date=2017-07-01&rft.volume=50&rft.issue=1&rft.spage=10526&rft.epage=10531&rft.pages=10526-10531&rft.issn=2405-8963&rft.eissn=2405-8963&rft_id=info:doi/10.1016/j.ifacol.2017.08.1299&rft_dat=%3Celsevier_hal_p%3ES2405896317318207%3C/elsevier_hal_p%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_els_id=S2405896317318207&rfr_iscdi=true