Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Beynon, Meurig; Russ, Steve
Publisher: University of Warwick. Department of Computer Science
Languages: English
Types: Other
Subjects: QA76
We propose a modelling process, based on observation and experiment, which is well-suited to reactive systems, and which provides an integrated environment for the requirements, specification and design phases of a development. The modelling method depends on application-specific knowledge which can be modified on-line by the intervention of the modeller. The process offers immediate experience of the model behaviour, allows for the concurrent refinement of a requirement according to multiple viewpoints, and assists in the decomposition of a system requirement into component requirements. We present arguments for the principles of the process, and illustrate the application of the process with extracts from a vehicle cruise control model built using our methods.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] V. Adzhiev, W.M. Beynon, A.J. Cartwright, and Y.P. Yung. A computational model for multiagent interaction in concurrent engineering. In Proc. CEEDA '94, pages 227-232, University of Brighton, 1994.
    • W. M. Beynon, I. Bridge, and Y.P. Yung. Agent-oriented modelling for a vehicle cruise controller. In Proc. Eng.Sys. Design & Analysis Conf., number 47-4, pages 159-165. ASME, 1992.
    • Technical Report 207, University of Warwick, 1992.
    • [5] G. Booch. Object-oriented development. IEEE Transactions in Software Engineering, 12(2):285-292, 1986.
    • [6] Frederick P. Brooks. No silver bullet: Essence and accidents of software engineering. IEEE Computer, 20(4):10-19, 1987.
    • [7] A. M. Davis. Software requirements Analysis and Specification. Prentice Hall, Englewood Cliffs, New Jersey, 1990.
    • M. S. Deutsch. Focusing real-time systems analysis on user operations. IEEE Software, pages 39-50, September 1988.
    • M. S. Deutsch. Enhancing testability with scenario-oriented engineering. In 6th Intl. Conf.
    • on Testing Computer Software, pages 1-12, Washington D.C., 1989.
    • [10] D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:232-274, 1987.
    • [11] D. Harel. Biting the silver bullet: towards a brighter future for system development. IEEE Computer, January 1992.
    • [12] C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8:323-364, 1977.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article