A DECLARATIVE EXECUTABLE MODEL FOR OBJECT-BASED SYSTEMS BASED ON FUNCTIONAL DECOMPOSITION

Pierre Kelsen

Abstract

Declarative models are a commonly used approach to deal with software complexity: by abstracting away the intricacies of the implementation these models are often easier to understand than the underlying code. Popular modeling languages such as UML can however become complex to use when modeling systems in sufficient detail. In this paper we introduce a new declarative model, the EP-model, named after the basic entities it contains - events and properties - that possesses the following features: it has a small metamodel; it supports a graphical notation; it can represent both static and dynamic aspects of an application; finally, it allows executable models to be described by annotating model elements with code snippets. By leaving complex parts at the code level this hybrid approach achieves executability while keeping the basic modeling language simple.

References

  1. Alcatel, I-Logix, Kennedy-Carter, Technologies, I. K., Technology, I. P., Corporation, R. S., and AB., T. (2000). Action semantics for the UML. In Document ad/2001-03-01. OMG.
  2. Belina, F. and Hogrefe, D. (1989). The ccitt-specification and description language sdl. Comput. Netw. ISDN Syst., 16(4):311-341.
  3. Fowler, M. (1999). Refactoring: Improving the Design of Existing Code. Addison-Wesley. FOW m 01:1 1.Ex.
  4. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995). Design Patterns : Elements of Reusable Object-Oriented Software. Addison Wesley.
  5. Glodt, C. and Kelsen, P. (2006). Demos: A tool for declarative executable modeling of object-based systems.
  6. Hughes, J. and Sparud, J. (1995). Haskell++: An ObjectOriented Extension of Haskell. In Proceedings of Haskell Workshop, La Jolla, California, YALE Research Report DCS/RR-1075.
  7. Kelsen, P. (2006). A declarative executable model for object-based systems based on functional decomposition. Technical Report TR-LASSY-06-06, Laboratory for Advanced Software Systems, University of Luxembourg. http://lassy.uni.lu/demos/ documentation/TR_LASSY_06_06.pdf.
  8. Kobryn, C. (2002). Will uml 2.0 be agile or awkward? Commun. ACM, 45(1):107-110.
  9. Lieberherr, K. and Holland, I. (1989). Assuring a good style for object-oriented programs. IEEE Software, pages 38-48.
  10. Object Management Group (2003). Unified modeling language, march 2003. version 1.5.
  11. Odersky, M. and Wadler, P. (1997). Pizza into Java: Translating theory into practice. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL'97), Paris, France, pages 146-159. ACM Press, New York (NY), USA.
  12. Raistrick, C., Wilkie, I., and Carter, C. (2000). Executable UML (xUML). In Proceedings 3rd International Conference on the Unified Modeling Language UML.
  13. Rémy, D. and Vouillon, J. (1997). Objective ML: A simple object-oriented extension of ml. In Proceedings of the 24th ACM Conference on Principles of Programming Languages, pages 40-53, Paris, France.
  14. Siau, K. and Cao, Q. (2001). Unified modeling language: A complexity analysis. Journal of Database Management, 12(1):26-34.
  15. Stevens, W. P., Myers, G. J., and Constantine, L. L. (1999). Structured design. IBM Syst. J., 38(2-3):231-256.
Download


Paper Citation


in Harvard Style

Kelsen P. (2006). A DECLARATIVE EXECUTABLE MODEL FOR OBJECT-BASED SYSTEMS BASED ON FUNCTIONAL DECOMPOSITION . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 63-68. DOI: 10.5220/0001317300630068


in Bibtex Style

@conference{icsoft06,
author={Pierre Kelsen},
title={A DECLARATIVE EXECUTABLE MODEL FOR OBJECT-BASED SYSTEMS BASED ON FUNCTIONAL DECOMPOSITION},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2006},
pages={63-68},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001317300630068},
isbn={978-972-8865-69-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - A DECLARATIVE EXECUTABLE MODEL FOR OBJECT-BASED SYSTEMS BASED ON FUNCTIONAL DECOMPOSITION
SN - 978-972-8865-69-6
AU - Kelsen P.
PY - 2006
SP - 63
EP - 68
DO - 10.5220/0001317300630068