Declarative specification of Web applications exploiting Web services and workflows

Marco Brambilla; Stefano Ceri; Sara Comai; Marco Dario; Piero Fraternali; Ioana Manolescu

doi:10.1145/1007568.1007688

Declarative specification of Web applications exploiting Web services and workflows

Marco Brambilla
, Stefano Ceri
, Sara Comai
, Marco Dario
, Piero Fraternali
, Ioana Manolescu

Politecnico di Milano
INRIA-Futurs and Xyleme

Research output: Contribution to journal › Conference article › peer-review

Abstract

This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web portal of a computer manufacturer, including interactions with third-party service providers and enabling distributors to participate in well-defined business processes. The crucial advantage of our framework is the high-level modeling of a complex Web application, extended with Web service and workflow capabilities. The application is automatically verified for correctness and the code is automatically generated and deployed.

Original language	English
Pages (from-to)	909-910
Number of pages	2
Journal	Proceedings of the ACM SIGMOD International Conference on Management of Data
DOIs	https://doi.org/10.1145/1007568.1007688
Publication status	Published - 1 Jan 2004
Externally published	Yes
Event	Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2004 - Paris, France Duration: 13 Jun 2004 → 18 Jun 2004

Access to Document

10.1145/1007568.1007688

Cite this

@article{4eb74b0985374dfb8993cfe569dddab0,

title = "Declarative specification of Web applications exploiting Web services and workflows",

abstract = "This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web portal of a computer manufacturer, including interactions with third-party service providers and enabling distributors to participate in well-defined business processes. The crucial advantage of our framework is the high-level modeling of a complex Web application, extended with Web service and workflow capabilities. The application is automatically verified for correctness and the code is automatically generated and deployed.",

author = "Marco Brambilla and Stefano Ceri and Sara Comai and Marco Dario and Piero Fraternali and Ioana Manolescu",

year = "2004",

month = jan,

day = "1",

doi = "10.1145/1007568.1007688",

language = "English",

pages = "909--910",

journal = "Proceedings of the ACM SIGMOD International Conference on Management of Data",

issn = "0730-8078",

note = "Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2004 ; Conference date: 13-06-2004 Through 18-06-2004",

}

TY - JOUR

T1 - Declarative specification of Web applications exploiting Web services and workflows

AU - Brambilla, Marco

AU - Ceri, Stefano

AU - Comai, Sara

AU - Dario, Marco

AU - Fraternali, Piero

AU - Manolescu, Ioana

PY - 2004/1/1

Y1 - 2004/1/1

N2 - This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web portal of a computer manufacturer, including interactions with third-party service providers and enabling distributors to participate in well-defined business processes. The crucial advantage of our framework is the high-level modeling of a complex Web application, extended with Web service and workflow capabilities. The application is automatically verified for correctness and the code is automatically generated and deployed.

AB - This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web portal of a computer manufacturer, including interactions with third-party service providers and enabling distributors to participate in well-defined business processes. The crucial advantage of our framework is the high-level modeling of a complex Web application, extended with Web service and workflow capabilities. The application is automatically verified for correctness and the code is automatically generated and deployed.

U2 - 10.1145/1007568.1007688

DO - 10.1145/1007568.1007688

M3 - Conference article

AN - SCOPUS:3142695627

SN - 0730-8078

SP - 909

EP - 910

JO - Proceedings of the ACM SIGMOD International Conference on Management of Data

JF - Proceedings of the ACM SIGMOD International Conference on Management of Data

T2 - Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2004

Y2 - 13 June 2004 through 18 June 2004

ER -

Declarative specification of Web applications exploiting Web services and workflows

Abstract

Access to Document

Fingerprint

Cite this