DEONTIC PROTOCOL MODELLING - Modelling Business Rules with State Machines

Ashley McNeile, Nicholas Simons

Abstract

State machines can be used as a means of specifying the behaviour of objects in a system by describing their event protocols, this being the relationships between the states that the object may adopt and the ability of the object to respond to events of different types presented to it. We describe an extension to this approach whereby different machines in the composition of a single object have different deontic semantics; covering necessary behaviour, encouraged behaviour and discouraged behaviour. This provides a language that has the expressive power to model the way software interacts with the domain in which it is embedded to encourage or discourage behaviours of the domain.

References

  1. Hilpinen, R., Føllesdal D., (1971) Deontic Logic: An Introduction. Deontic Logic: Introductory and Systematic Readings, D. Reidel, Dordrecht 1971, pages 1-35.
  2. Jackson, M., and Zave, P., (1995) Deriving Specifications from Requirements: An Example. ICSE17, vol. 1995, pages 15-24.
  3. Jackson, M., (2001) Problem Frames. Addison-Wesley, 2001.
  4. McNeile, A., and Simons, N., (2006) Protocol Modelling. The Journal on Software and System Modeling. To appear February 2006. Available on-line at http://springerlink.metapress.com.
  5. Parnas, D., and Madey, J., (1995) Functional Documentation for Computer Systems Engineering. Science of Computer Programming (Elsevier) 25(1), Oct 1995, pages 41-61.
Download


Paper Citation


in Harvard Style

McNeile A. and Simons N. (2006). DEONTIC PROTOCOL MODELLING - Modelling Business Rules with State Machines . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 489-492. DOI: 10.5220/0002491804890492


in Bibtex Style

@conference{iceis06,
author={Ashley McNeile and Nicholas Simons},
title={DEONTIC PROTOCOL MODELLING - Modelling Business Rules with State Machines},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={489-492},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002491804890492},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DEONTIC PROTOCOL MODELLING - Modelling Business Rules with State Machines
SN - 978-972-8865-43-6
AU - McNeile A.
AU - Simons N.
PY - 2006
SP - 489
EP - 492
DO - 10.5220/0002491804890492