Business Processes Verification for e-Government Service Delivery
| Autor: | Flavio Corradini, Alberto Polzonetti, Barbara Re, Andrea Polini |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Service (business)
Service delivery framework business.industry Computer science Business process media_common.quotation_subject Library and Information Sciences Business domain Computer Science Applications Domain (software engineering) Formal specification Quality (business) Software engineering business Formal verification Simulation Information Systems media_common |
| Zdroj: | Information Systems Management. 27:293-308 |
| ISSN: | 1934-8703 1058-0530 |
| DOI: | 10.1080/10580530.2010.514164 |
| Popis: | Domain experts knowledge represents a major source of information in the design and the development of user-centric and distributed service-based applications, such as those of e-government. Issues related both to the communication among domain and IT experts, and to the implementation of domain dependent requirements in service-based applications, have to be carefully considered to support both Public Administrations efficiency and citizen satisfaction. In this article, we provide as user-friendly approach toward business process assessment via formal verification. Starting from a semi-formal notation, well understood and largely used by domain experts, we provide a mapping to a formal specification in the form of a process algebra. This transformation makes possible formal and automatic verification of desired quality requirements. The approach has been already applied, with encouraging results, in the e-government domain to verify the quality of business processes related to the delivery of e-government digital services to citizens. Moreover, the approach is supported by a plug-in for the Eclipse platform permitting to have an integrated environment in which to design the process model and to assess its quality. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |