A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Design and verification of information systems
Design and verification of information systems
Dialog management in interactive systems: a comparative survey
ACM SIGCHI Bulletin
Implementation of a compiler for a semantic data model: Experiences with taxis
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
THM-NET: an approach to office systems modeling
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
The design requirements of office systems
ACM Transactions on Information Systems (TOIS)
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Regulating Work in Digital Enterprises: A Flexible Managerial Framework
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Hi-index | 0.00 |
This paper deals with dialogue and process management for interactive information systems [abbrev. IISs) within the framework of Taxis Mylopoulos et al 80, a language for IIS design. Dialogues between a user and the system are represented through a small set of primitives incorporated into Taxis while process control is accomplished by incorporating Hoare's I/O commands for communicating sequential processes {Hoare 78}. The overall organization and structure of dialogue and process control for a particular IIS is achieved using scripts, a modified version of augmented Petri nets {Zisman 77}, and the Taxis conceptual framework which stresses generalization abstraction. A journal editing procedure is used to illustrate the proposed extension.