Business RequirementsNormative Approach to Behavior Modeling

Askhat Omarov, Rustem Kamun, Timur Umarov

2014

Abstract

This paper attempts to formalize abstract requirements by amalgamating the MEASUR methodology with deontic logic and the limited version of the theory of normative positions. This amalgamation is performed in a manner that would potentially decrease the complexity inevitably embedded in the formalized abstract requirements so as to be able to target a wide range of non-technical users involved in the initial stages of software development lifecycle. This amalgamation is embraced by an artifact which represents a business model that avoids specifying software systems as a highly technical document and is rather referred to as a computational independent model of the MDA framework of software development.

References

  1. Cimatti, A., Roveri, M., Susi, A., and Tonetta, S. (2010). Formalization and Validation of Safety-Critical Requirements. EPTCS.
  2. Hohfeld, W. (1964). Fundamental Legal Conceptions As Applied in Judicial Reasoning. Dartmouth Publishing.
  3. Jones, A. and Sergot, M. (1992). Formal Specification of Security Requirements Using the Theory of Normative Positions. Proceedings of the Second European Symposium on Research in Computer.
  4. Jones, A. and Sergot, M. (1993). On the Characterization of Law and Computer Systems: The Normative Systems Perspective. Deontic Logic in Computer Science: Normative System Specification.
  5. Kanger, S. (1972). Law and Logic. Theoria.
  6. Kanger, S. (1985). On Realization of Human Rights. Action, Logic and Social Theory.
  7. Lindahl, L. (1977). Position and Change - A Study in Law and Logic. D. Reidel Publishing Company.
  8. Lindahl, L. (1994). Stig Kanger's Theory of Rights. Logic, Methodology and Philosophy of Science.
  9. Liu, K. (2000). Semiotics in Information Systems Engineering. Cambridge University Press.
  10. McNamara, P. (2006). Deontic Logic. Stanford Encyclopedia of Philosophy.
  11. Ponsard, C. and Dieul, E. (2008). From Requirements Models to Formal Specifications in B. ReMo2V.
  12. P örn, I. (1970). The Power of Logic. Blackwell Oxford.
  13. P örn, I. (1977). Action Theory and Social Science: Some Formal Models. D. Reidel, Dordrecht.
  14. Searle, J. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press.
  15. Searle, J. (1971). The Philosophy of Language. Oxford University Press.
  16. van Lamsweerde, A. (2001). Building formal requirements models for reliable software. Reliable Software Technologies.
Download


Paper Citation


in Harvard Style

Omarov A., Kamun R. and Umarov T. (2014). Business RequirementsNormative Approach to Behavior Modeling . In Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-758-032-1, pages 186-195. DOI: 10.5220/0005425901860195


in Bibtex Style

@conference{bmsd14,
author={Askhat Omarov and Rustem Kamun and Timur Umarov},
title={Business RequirementsNormative Approach to Behavior Modeling},
booktitle={Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},
year={2014},
pages={186-195},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005425901860195},
isbn={978-989-758-032-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
TI - Business RequirementsNormative Approach to Behavior Modeling
SN - 978-989-758-032-1
AU - Omarov A.
AU - Kamun R.
AU - Umarov T.
PY - 2014
SP - 186
EP - 195
DO - 10.5220/0005425901860195