Temporal logic of programs
Extending a database system with procedures
ACM Transactions on Database Systems (TODS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Descriptive specification of database object behaviour
Data & Knowledge Engineering
Specification and Design of Transactions in Information Systems: A Formal Approach
IEEE Transactions on Software Engineering
The action workflow approach to workflow management technology
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Process innovation: reengineering work through information technology
Process innovation: reengineering work through information technology
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Software methods for business reengineering
Software methods for business reengineering
Why interaction is more powerful than algorithms
Communications of the ACM
Business process implementation: building workflow systems
Business process implementation: building workflow systems
Human factors comparison of a procedural and a nonprocedural query language
ACM Transactions on Database Systems (TODS)
Integrating database and dialogue design
Knowledge and Information Systems
Foundations of Semantic Databases
Foundations of Semantic Databases
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Workflow management systems for process organisations
Workflow management systems for process organisations
| Hi-index | 0.00 |
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or its environment, or initiates a control action. This leads us to consider software systems as composed of transactional and procedural computations. We discuss the specification of transactional software, and introduce a mechanism for linking transactions into processes. We also raise several issues relating to transactional computing that were the basis for discussion at the workshop, and include comments by participants.