Handbook of theoretical computer science (vol. B)
An object oriented approach to Web-based applications design
Theory and Practice of Object Systems - Special issue objects, databases, and the WWW
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
Design and Maintenance of Data-Intensive Web Sites
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Specification and design of workflow-driven hypertexts
Journal of Web Engineering
Process modeling in Web applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A static compliance-checking framework for business process models
IBM Systems Journal
BPSL Modeler -- Visual Notation Language for Intuitive Business Property Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool support for model checking of web application designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Providing RIA user interfaces with accessibility properties
Journal of Symbolic Computation
Extending conceptual schemas with business process information
Advances in Software Engineering
Querying contract databases based on temporal behavior
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Automatic generation of workflow-extended domain models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Process fragmentation, distribution and execution using an event-based interaction scheme
Journal of Systems and Software
| Hi-index | 0.01 |
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context, new problems about process safety and verification arise. Recent work has investigated high-level specification and verification of Web applications. This relies on a formal data-driven model of the application, which can access an underlying database as well as state information updated as the interaction progresses, and a set of user inputs. Properties verified concern the sequences of events, inputs, states, and actions resulting from the interaction. For the purpose of automatic verification, properties are expressed in linear-time or branching-time temporal logics. However, temporal logics properties are difficult to specify and understand by users, which can be a significant obstacle to the practical use of verification tools. In the present paper, we propose two alternative visual notations for specifying temporal properties. One alternative is to restrict the sequences of events using existing workflow specifications, such as BPMN, describing the execution flow of tasks within the application. However, such workflow formalisms have limited ability to express temporal properties. Another alternative is to develop a visual approach for explicitly specifying temporal operators, thus recovering their full expressiveness.