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

Napredna pretraga

Pregled bibliografske jedinice broj: 510402

Formal Modeling of RESTful Systems Using Finite- State Machines


Žužak, Ivan; Budiselić, Ivan; Delač, Goran
Formal Modeling of RESTful Systems Using Finite- State Machines // Lecture notes in computer science (Web Engineering, 11th International Conference, ICWE 2011), 6757/2011 (2011), 346-360 doi:10.1007/978-3-642-22233-7_24 (međunarodna recenzija, članak, znanstveni)


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

Naslov
Formal Modeling of RESTful Systems Using Finite- State Machines

Autori
Žužak, Ivan ; Budiselić, Ivan ; Delač, Goran

Izvornik
Lecture notes in computer science (Web Engineering, 11th International Conference, ICWE 2011) (0302-9743) 6757/2011 (2011); 346-360

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
representational state transfer; WorldWideWeb; software architectural styles; formal model; finite-state machines; hypermedia

Sažetak
REpresentational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the WorldWideWeb (WWW) and is the foundation for its future evolution. However, although described over 10 years ago, no comprehensive formal model for representing RESTful systems exists. The lack of a formal model has hindered understanding of the REST architectural style and the WWW architecture, consequently limiting Web engineering advancement. In this paper we present a model of RESTful systems based on a finite-state machine formalism. We show that the model enables intuitive formalization of many REST’s constraints, including uniform interface, stateless client- server operation, and code-on-demand execution. We describe the model’s mapping to a system-level view of operation and apply the model to an example Web application. Finally, we outline benefits of the model, ranging from better understanding of REST to designing frameworks for RESTful system development.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Projekti:
036-0362980-1921 - Računalne okoline za sveprisutne raspodijeljene sustave (Srbljić, Siniša, MZOS ) ( POIROT)

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Ivan Budiselić (autor)

Avatar Url Goran Delač (autor)

Avatar Url Ivan Žužak (autor)

Poveznice na cjeloviti tekst rada:

Pristup cjelovitom tekstu rada doi www.springerlink.com

Citiraj ovu publikaciju:

Žužak, Ivan; Budiselić, Ivan; Delač, Goran
Formal Modeling of RESTful Systems Using Finite- State Machines // Lecture notes in computer science (Web Engineering, 11th International Conference, ICWE 2011), 6757/2011 (2011), 346-360 doi:10.1007/978-3-642-22233-7_24 (međunarodna recenzija, članak, znanstveni)
Žužak, I., Budiselić, I. & Delač, G. (2011) Formal Modeling of RESTful Systems Using Finite- State Machines. Lecture notes in computer science (Web Engineering, 11th International Conference, ICWE 2011), 6757/2011, 346-360 doi:10.1007/978-3-642-22233-7_24.
@article{article, year = {2011}, pages = {346-360}, DOI = {10.1007/978-3-642-22233-7\_24}, keywords = {representational state transfer, WorldWideWeb, software architectural styles, formal model, finite-state machines, hypermedia}, journal = {Lecture notes in computer science (Web Engineering, 11th International Conference, ICWE 2011)}, doi = {10.1007/978-3-642-22233-7\_24}, volume = {6757/2011}, issn = {0302-9743}, title = {Formal Modeling of RESTful Systems Using Finite- State Machines}, keyword = {representational state transfer, WorldWideWeb, software architectural styles, formal model, finite-state machines, hypermedia} }
@article{article, year = {2011}, pages = {346-360}, DOI = {10.1007/978-3-642-22233-7\_24}, keywords = {representational state transfer, WorldWideWeb, software architectural styles, formal model, finite-state machines, hypermedia}, journal = {Lecture notes in computer science (Web Engineering, 11th International Conference, ICWE 2011)}, doi = {10.1007/978-3-642-22233-7\_24}, volume = {6757/2011}, issn = {0302-9743}, title = {Formal Modeling of RESTful Systems Using Finite- State Machines}, keyword = {representational state transfer, WorldWideWeb, software architectural styles, formal model, finite-state machines, hypermedia} }

Časopis indeksira:


  • Scopus


Citati:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font