Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 595506 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Scenario Modeling and Verification for Business Processes

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

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), 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.06.2019. - 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

Projekti:
MZO-ZP-036-0362027-1638 - Umrežena ekonomija (Skočir, Zoran, MZO ) ( CroRIS)

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Luka Humski (autor)

Avatar Url Zoran Skočir (autor)

Avatar Url Bruno Blašković (autor)

Poveznice na cjeloviti tekst rada:

doi link.springer.com

Citiraj ovu publikaciju:

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, cjeloviti rad (in extenso), znanstveni)
Blašković, B., Skočir, Z. & Humski, L. (2012) Scenario Modeling and Verification for Business Processes. U: 6th KES International Conference, KES-AMSTA 2012 : proceedings doi:10.1007/978-3-642-30947-2_46.
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno and Sko\v{c}ir, Zoran and Humski, Luka}, year = {2012}, pages = {414-423}, DOI = {10.1007/978-3-642-30947-2\_46}, keywords = {scenarios, model checking, model transformation, Spin model checker, model driven engineering, interworking formal methods, finite automaton}, doi = {10.1007/978-3-642-30947-2\_46}, isbn = {978-3-642-30946-5}, title = {Scenario Modeling and Verification for Business Processes}, keyword = {scenarios, model checking, model transformation, Spin model checker, model driven engineering, interworking formal methods, finite automaton}, publisherplace = {Dubrovnik, Hrvatska} }
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno and Sko\v{c}ir, Zoran and Humski, Luka}, year = {2012}, pages = {414-423}, DOI = {10.1007/978-3-642-30947-2\_46}, keywords = {scenarios, model checking, model transformation, Spin model checker, model driven engineering, interworking formal methods, finite automaton}, doi = {10.1007/978-3-642-30947-2\_46}, isbn = {978-3-642-30946-5}, title = {Scenario Modeling and Verification for Business Processes}, keyword = {scenarios, model checking, model transformation, Spin model checker, model driven engineering, interworking formal methods, finite automaton}, publisherplace = {Dubrovnik, Hrvatska} }

Časopis indeksira:


  • Scopus

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font
    CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.