Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategies for real-time system specification
Strategies for real-time system specification
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Real-time object-oriented modeling
Real-time object-oriented modeling
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Process-Centered Requirements Engineering
Process-Centered Requirements Engineering
System Requirements Engineering
System Requirements Engineering
Time-Constrained Automata (Extended Abstract)
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
On the Use of a Formal R.E. Language - The Generalized Railroad Crossing Problem
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Mechanical verification of timed automata: a case study
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Integration of Behavioural Requirements Specification within Knowledge Engineering
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
Agent research and development in Europe
Information Services and Use
Towards Engineering Purposeful Systems: A Requirements Engineering Perspective
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
From conceptual modeling to requirements engineering
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
| Hi-index | 0.00 |
In this paper, we consider three distinct and connected modelling activities at the Requirements Engineering (RE) level. Within the context of reactive systems, we suggest how these three activities can be supported by the use of appropriate formal languages, namely Kaos, Albert and Timed Automata. The i* framework is used for linking the various formal models and for providing a ``high level'' model in terms of which organizational issues are captured. A small process control example is used to illustrate the proposed approach.