Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1080/10580530.2010.514164 | IS Management |
Keywords | Field | DocType |
business process assessment,domain dependent requirement,process algebra,formal specification,e-government digital service,e-government service delivery,domain expert,business processes verification,e-government domain,service-based application,formal verification,domain experts knowledge,process model,service delivery,public administration,business process,e government | Notation,Software engineering,Business process,Computer science,Simulation,Knowledge management,Formal specification,Business domain,Design process,Web service,Service delivery framework,Formal verification | Journal |
Volume | Issue | ISSN |
27 | 4 | 1058-0530 |
Citations | PageRank | References |
7 | 0.46 | 16 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Flavio Corradini | 1 | 670 | 78.46 |
Andrea Polini | 2 | 522 | 52.37 |
Alberto Polzonetti | 3 | 55 | 15.85 |
Barbara Re | 4 | 11 | 2.23 |