Napredna pretraga

Pregled bibliografske jedinice broj: 595506

Scenario Modeling and Verification for Business Processes


Blašković, Bruno; Skočir, Zoran; Humski, Luka
Scenario Modeling and Verification for Business Processes // 6th KES International Conference, KES-AMSTA 2012 : proceedings
Dubrovnik, Hrvatska, 2012. str. 414-423 doi:10.1007/978-3-642-30947-2_46 (predavanje, međunarodna recenzija, sažetak, znanstveni)


Naslov
Scenario Modeling and Verification for Business Processes

Autori
Blašković, Bruno ; Skočir, Zoran ; Humski, Luka

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
6th KES International Conference, KES-AMSTA 2012 : proceedings / - , 2012, 414-423

ISBN
978-3-642-30946-5

Skup
6th KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications

Mjesto i datum
Dubrovnik, Hrvatska, 25-27.06.2019

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Scenarios ; model checking ; model transformation ; Spin model checker ; model driven engineering ; interworking formal methods ; finite automaton

Sažetak
In this paper we describe modeling for verification of business process with Spin model checker. Our primary goal is the development of Promela language description for e–invoice web service. Modeling for verification follows Church’s synthesis problem: for input scenario “dataflow” model, output is Promela model. Sequence of model transformations translates the scenario into the Promela language code. At the end whole process is illustrated with e–invoice web service example.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo



POVEZANOST RADA


Projekt / tema
036-0362027-1638 - Umrežena ekonomija (Zoran Skočir, )

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Časopis indeksira:


  • Scopus


Citati