Generating a Tool for Teaching Rule-based Design

Stef Joosten, Gerard Michels

Abstract

Software generation from a formal requirements specification has enabled a small research team to develop a tool set for educational design exercises and didactical research. This approach was needed to obtain a development environment, which is responsive to changing requirements due to maturing didactics and future research questions. We use Ampersand, a rule-based design methodology, to specify and generate the tool set called the Repository for Ampersand Projects (RAP). RAP is being used in a course on Ampersand for master students of computer science and business management. Analytic tools have been interconnected to RAP to obtain analytics about student activities in RAP. So, Ampersand is both the subject of teaching and research as well as an asset used to develop and maintain RAP. In this paper we present how RAP has been generated with Ampersand and reflect upon the value of this design choice.

References

  1. Berners-Lee, T., Hendler, J., and Lassila, O. (2001). The semantic web. Scientific American, 284(5):34-43.
  2. Business Rule Solutions, LLC. (2013). RuleSpeak. Retrieved Februari 27, 2013, from http://www. rulespeak.com.
  3. Clocksin, W. F. and Mellish, C. (1981). Programming in Prolog. Springer.
  4. Date, C. J. (2000). What Not How: the Business Rules Approach to Application Development. Addison-Wesley Longman Publishing Co., Inc., Boston.
  5. Dayal, U., Buchmann, A. P., and McCarthy, D. R. (1988). Rules are objects too: A knowledge model for an active, object-oriented database system. In Dittrich, K. R., editor, OODBS, volume 334 of Lecture Notes in Computer Science, pages 129-143. Springer.
  6. Green, P. F. and Rosemann, M. (2000). Integrated process modeling: An ontological evaluation. Inf. Syst., 25(2):73-87.
  7. Gruber, T. R. (1993). A translation approach to portable ontology specifications. Knowl. Acquis., 5(2):199-220.
  8. Jackson, D. (1999). A comparison of object modelling notations: Alloy, UML and Z. Technical report, Retrieved Februari 27, 2013, from http://people.csail.mit.edu/dnj/ publications/alloy-comparison.pdf.
  9. Maddux, R. (2006). Relation Algebras, volume 150 of Studies in logic. Elsevier, Iowa.
  10. Michels, G. and Joosten, S. (2013). Progressive development and teaching with RAP. Accepted at CSERC'13.
  11. Michels, G., Joosten, S., van der Woude, J., and Joosten, S. (2011). Ampersand: Applying relation algebra in practice. In Proceedings of the 12th conference on Relational and Algebraic Methods in Computer Science, Lecture Notes in Computer Science 6663, pages 280- 293, Berlin. Springer-Verlag.
  12. Object Management Group, Inc. (2008). Semantics of Business Vocabulary and Business Rules (SBVR), v1.0. Technical report, Retrieved Februari 27, 2013, from http://www.omg.org/spec/SBVR/1.0/PDF.
  13. Paton, N. W. and Díaz, O. (1999). Active database systems. ACM Comput. Surv., 31(1):63-103.
  14. Ram, S. and Khatri, V. (2005). A comprehensive framework for modeling set-based business rules during conceptual database design. Inf. Syst., 30(2):89-118.
  15. Reisig, W. (1985). Petri Nets: An Introduction. SpringerVerlag New York, Inc., New York, NY, USA.
  16. Ross, R. G. (2003a). The Business Rules Manifesto. Retrieved Februari 27, 2013, from http://www. businessrulesgroup.org/brmanifesto.htm.
  17. Ross, R. G. (2003b). Principles of the Business Rule Approach. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  18. Rumbaugh, J., Jacobson, I., and Booch, G., editors (1999). The Unified Modeling Language reference manual. Addison-Wesley Longman Ltd., Essex, UK, UK.
  19. Scheer, A.-W. W. (1998). Aris-Business Process Frameworks. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2nd edition.
  20. Schröder, E. (1895). Algebra und Logik der Relative. Vorlesungen über die Algebra der Logik (Exakte Logik) / Ernst Schröder. Teubner.
  21. Shewhart, W. and Deming, W. (1939). Statistical Methods from the Viewpoint of Quality Control. Dover Books on Mathematics Series. Dover Publications, Incorporated.
  22. van der Woude, J. and Joosten, S. (2011). Relational heterogeneity relaxed by subtyping. In Proceedings of the 12th conference on Relational and Algebraic Methods in Computer Science, Lecture Notes in Computer Science 6663, pages 347-361, Berlin. Springer-Verlag.
  23. Wedemeijer, L., Joosten, S., and Michels, G. (2010). Rule Based Design. Open Universiteit Nederland, 1st edition.
  24. Widom, J. (1996). The starburst active database rule system. IEEE Trans. on Knowl. and Data Eng., 8(4):583-595.
Download


Paper Citation


in Harvard Style

Joosten S. and Michels G. (2013). Generating a Tool for Teaching Rule-based Design . In Proceedings of the Third International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-8565-56-3, pages 230-236. DOI: 10.5220/0004775902300236


in Bibtex Style

@conference{bmsd13,
author={Stef Joosten and Gerard Michels},
title={Generating a Tool for Teaching Rule-based Design},
booktitle={Proceedings of the Third International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},
year={2013},
pages={230-236},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004775902300236},
isbn={978-989-8565-56-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
TI - Generating a Tool for Teaching Rule-based Design
SN - 978-989-8565-56-3
AU - Joosten S.
AU - Michels G.
PY - 2013
SP - 230
EP - 236
DO - 10.5220/0004775902300236