Abstract | ||
---|---|---|
We propose a requirements-driven approach to the design and verification of Web services. The proposed methodology starts from a requirements model, which defines a business domain at a “strategic” level, describing the participating actors, their mutual dependencies, goals, require- ments, and expectations. This business requirements model is then refined into a business process model. In this refinement, definitions of the processes carried out by the actors of the domain are added to the model in the form of BPEL4WS code. We show how to exploit model checking tech- niques for the verification of the specification, both at the requirements and at the process level. At the requirements level, model checking is used to validate the specification against a set of queries specified by the designer; at the process level, it is used to verify if the BPEL4WS processes satisfy the constraints described in the requirements model. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2004.05.005 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
business process model,process level,requirements model,model checking,model checking tech,requirements model.,business requirements model,bpel4ws code,verification,requirements-driven verification,specification,requirements level,web services,bpel4ws process,business domain | Model checking,Software engineering,Systems engineering,Requirements model,Computer science,Exploit,Business requirements,Business domain,Business process modeling,Web service | Journal |
Volume | Issue | ISSN |
105 | C | 1571-0661 |
Citations | PageRank | References |
40 | 2.68 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Pistore | 1 | 3021 | 181.74 |
Marco Roveri | 2 | 1678 | 96.70 |
Paolo Busetta | 3 | 371 | 30.50 |