Abstract
Business rules are everywhere. Some of these rules are implicit and thus poorly enforced, others are written but not enforced, and still others are perhaps poorly written and obscurely enforced [1]. In this work, we propose an interactive, simulation-driven approach for the discovery of business rules. The rules are first specified in a natural language, then translated to the Alloy specification language. The Alloy Analyzer tool is used as a platform for rule simulation and discovery: it provides a domain specialist with an instant feedback, helping her to detect the issues with the existing business rules and to discover new rules in a systematic way.
Chapter PDF
Similar content being viewed by others
References
Boyer, J., Mili, H.: Agile Business Rule Development: Process, Architecture, and JRules Examples. Springer (2011)
Jackson, D.: Alloy Analyzer tool (2013), http://alloy.mit.edu/alloy/
Morgan, T.: Business rules and information systems: aligning IT with business goals. Addison-Wesley Professional (2002)
ILOG, I (2013), http://www-01.ibm.com/software/websphere/ilog/
Advisor, F.B. (2013), http://www.fico.com/
Pegasystems (2013), http://www.pega.com/
Berstel-Da Silva, B.: Verification of business rules programs (2012)
Nagl, C., Rosenberg, F., Dustdar, S.: Vidre–a distributed service-oriented br engine based on ruleml. In: 10th IEEE International, EDOC 2006, pp. 35–44. IEEE (2006)
Orriëns, B., Yang, J., Papazoglou, M.P.: A framework for business rule driven service composition. In: Benatallah, B., Shan, M.-C. (eds.) TES 2003. LNCS, vol. 2819, pp. 14–27. Springer, Heidelberg (2003)
OMG: OMG: Semantics Of Business Vocabulary And Business Rules (SBVR) - Version 1.0. OMG Document Number: formal/2008-01-02 (2008)
Nelson, M.L., Rariden, R.L., Sen, R.: A lifecycle approach towards business rules management. In: Proceedings of the 41st Annual Hawaii International Conference on System Sciences, pp. 113–113. IEEE (2008)
Ross, R.G.: Principles of the BR approach. Addison-Wesley Professional (2003)
Halpin, T.A., Morgan, A.J., Morgan, T.: Information modeling and relational databases. Morgan Kaufmann (2008)
Dietz, J.L.: Enterprise ontology: theory and methodology. Springer (2006)
Dietz, J.L.: On the nature of brs. Advances in Enterprise Engineering I, pp. 1–15 (2008)
Jackson, D.: Software Abstractions- Logic, Language and Analysis. MIT Press (2011)
GR: Generale ressorts site, http://www.generaleressorts.com/ (2013)
Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy constraint analyzer. In: Proceedings of the 22nd ICSE, Limerick, Ireland (June 2000)
Rychkova, I.: Formal Semantics for Refinement Verification of Enterprise Models. PhD thesis, EPFL (2008)
OMG: OMG: Object Constraint Language - Version 2.2. OMG Document Number: formal/2010-02-01 (2010)
Bajic-Bizumic, B., Wegmann, I.R., Towards, A.: a invariant-based service design process. Technical report, EPFL (2013)
Hay, D., Healy, K.A.: Defining brs -what are they really. Final Report (2000)
Andersson, T., Bider, I., Svensson, R.: Aligning people to business processes experience report. Software Process: Improvement and Practice 10(4), 403–413 (2005)
ACE: Attempto Controll English (2013), http://attempto.ifi.uzh.ch/site/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bajić-Bizumić, B., Rychkova, I., Wegmann, A. (2013). Simulation-Driven Approach for Business Rules Discovery. In: Franch, X., Soffer, P. (eds) Advanced Information Systems Engineering Workshops. CAiSE 2013. Lecture Notes in Business Information Processing, vol 148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38490-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-38490-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38489-9
Online ISBN: 978-3-642-38490-5
eBook Packages: Computer ScienceComputer Science (R0)