Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Hi-index | 0.00 |
Requirement engineering has been successfully applied to many superficial problems, but there has been little evidence of transfer to complex system construction. In this paper we present a new conceptual model which is for incomplete requirement descriptions. The model is especially designed for supporting the requirement specification and the analysis of open systems. An analysis of existing models and languages shows the main problem in requirement engineering: the harmony between a well-defined basic model and a convenient language. The new model REMOS combines the complex requirements of open systems with the basic characteristics of transaction-oriented systems. Transaction-oriented systems are fault-tolerant and offer security and privacy mechanisms. Such systems provide such excellent properties - why don't we already profit from it during requirement specification? The model REMOS and the applicative language RELOS take advantage of transaction properties. The idea REMOS is based on is the definition of scenarios and communicating subsystems. REMOS guides the users to making their requirements more clear, and RELOS offers a medium for requirement definition.