a6fw is a Java framework for the rapid development of a rich GUI web client and/or rich GUI windows client, OLTP type applications using Model Driven Architecture (MDA) and declarative principles. It consists of modular pluggable application layers (UI, n
Papyrus is a dedicated tool for modelling within UML2. This open source tool is based on the Eclipse environment.
Key features:
* Eclipse UML2 compliance
* Full respect of the UML2 standard as defined by the OMG
* Full respect of the DI2 (Diagram Interchange ) standard
* Extendable architecture of Papyrus that allows users to add new diagrams, new code generators, etc.
* Profile development support facilities for UML2 profiles
* Nested profiles support
This paper demonstrates a systematic approach to modelling and designing KBSs in a purely object-oriented fashion through the use of profile mechanism. The profile is constructed using compliant standards of modelling software systems by adopting the XMF
In contrast to manual selection of input value boundaries, we present an approach to derive them automatically from OCL expressions of UML state machines and UML class diagrams. We statically analyze the interdependence of OCL expressions within the system model and transform the model into a transition tree and investigate the tree's paths. The corresponding test suite is focused on detecting errors that result from differences between constraints in the model and constraints in the system under test.
UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
?. Lecture Notes in Computer Science Springer, 1 edition, (2002)MR: eher für den fortgeschrittenen Einsatz von OCL oder sogar für die Forschung rund um OCL.
B. Abdallah, and S. Leue. Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, Chapman & Hall, (November 1997)
M. Abdullah, I. Benest, R. Paige, and C. Kimble. Proc. 26th International Conference on Entity-Relationship Modelling (ER'07), Auckland, New Zealand, (2007)
M. Abdullah, A. Evans, I. Benest, and C. Kimble. Proceedings of IEEE 4th International Conference on Intelligent Systems Design and Applications (ISDA 2004), page 49 - 55. Budapest, Hungary, IEEE Computer Society, (2004)
M. Abdullah, A. Evans, I. Benest, and C. Kimble. Lecture Notes in Computer Science, 3599: MDAFA 2003/2004, Springer-Verlag, Berlin/Heidelberg, September 2005.(2005)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Proceedings of the 5th European Conference on Knowledge Management, page 5 - 18. Paris, France, (2004)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Proceedings of the International Conference on Knowledge Engineering and Decision Support (ICKEDS) 2004, page 489 - 496. Porto, Portugal, Instituto Politécnico, (2004)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Proceedings of Model Driven Architecture: Foundations and Applications (MDAFA 2004), page 202 - 216. Linköping University, Sweden, (2004)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Model-Driven Architecture: Revised and Selected Papers from European MDA Workshops MDAFA 2003 and MDAFA 2004, (2004)