ADDS: A system for automatic database schema design based on the binary-relationship model
Data & Knowledge Engineering
On synchronization in hard-real-time systems
Communications of the ACM
ADISSA: architectural design of information systems based on structures analysis
Information Systems
Software engineering tools supporting ADISSA methodology for systems analysis and design
Information and Software Technology
Prototyping interactive information systems
Communications of the ACM
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Structured Analysis and System Specification
Structured Analysis and System Specification
Strategies for incorporating formal specifications in software development
Communications of the ACM
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
Transactional Computation: Overview and Discussion
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
| Hi-index | 0.02 |
In conventional information systems development, consistency between requirements specifications and design is achieved by manual checking. The application of the transformational paradigm to the specification and design phases is proposed. Requirements are expressed in the ADISSA notation, using the ADISSA method, a transaction-oriented refinement of structured systems analysis. The control part of a transaction is transformed into a formal specification, the FSM (finite state machine) transaction, by applying a set of rules. The design stage is realized by an algorithm which compares the FSM transaction into simpler transactions and implements them with a hierarchical set of finite-state machines. Consistency between the formal specification and the result of the design is achieved by proving that the latter has the same behavior as the former.