Forschungsdatenbank

Projektübersicht
Login
Suche

Glinz

Fakultäten » Wirtschaftswissenschaftliche Fakultät » Informatik, Institut für » Prof. Dr. Martin Glinz » Glinz

Current research project

Title / Titel ADORA - Semiformal Object-Oriented Specification
PDF Abstract (PDF, 14 KB)
Summary / Zusammenfassung The world of object-oriented modeling languages is currently dominated by UML. However, UML (as well as other, previous approaches) has major weaknesses and deficiencies. We have developed ADORA (analysis and description of requirements and architectures), a language and a tool aiming at overcoming these weaknesses.
The basic idea of ADORA is to model the aspects of data, functionality and behavior in a single hierarchical object framework. Modeling is based on prototypical objects instead of classes. ADORA also tries to integrate an object modeling approach with scenarios that specify the user-system interaction. A special focus is laid on scalability: both the level of detail being visualized and the degree of formality used in the models are scalable. The ADORA tool exploits a novel way of visualizing hierarchical model structures.

From 1994 to 2007, a part of the ADORA development effort was funded by the Swiss National Science Foundation under the project names LATO (Language and tool for object-oriented, semiformal requirements specification) and AVISSIMO (Combining Aspect-Oriented Visualization and Animated Simulation for the Validation of Partial, Semi-Formal Requirements Models).

The SPREBA project (funded by the Swiss National Science Foundation) exploits both the hierarchical structure and the aspect modeling capabilities of ADORA for software product line modeling.
Weitere Informationen
Publications / Publikationen Reinhard, T., M. Glinz (2010). Automatic Placement of Link Labels in Diagrams. ICSE Workshop FlexiTools 2010, Cape Town, South Africa.

Stoiber, R., M. Glinz (2010). Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering. Proceedings of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10). Linz, Austria.

Reinhard, T, S. Meier, R. Stoiber, C. Cramer, M. Glinz (2008) Tool Support for the Navigation in Graphical Models. Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany. 823-826.

Stoiber, R., T. Reinhard, M. Glinz (2008). Visualization Support for Software Product Line Modeling. Proceedings of the 2nd International Workshop on Visualization in Software Product Line Engineering (ViSPLE'08), at SPLC'08. Limerick, Ireland.

Glinz, M., C. Seybold, S. Meier (2007). Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models. Proceedings of the Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2007). Informatik-Bericht 2007-01, TU Braunschweig, Germany. 103-112.

Meier, S., T. Reinhard, R. Stoiber, M. Glinz (2007). Modeling and Evolving Crosscutting Concerns in ADORA. Proceedings of the 11th Workshop on Early Aspects at the International Conference on Software Engineering, Minneapolis, USA.

Reinhard, T., S. Meier, M. Glinz (2007). An Improved Fisheye Zoom Algorithm for Visualizing and Editing Graphical Models. Proceedings of the 2nd International Workshop on Requirements Engineering Visualization (REV'07), in conjunction with RE'07. New Delhi, India.

Meier, S., T. Reinhard, C. Seybold, M. Glinz (2006). Aspect-Oriented Modeling with Integrated Object Models. Modellierung 2006. Innsbruck, Austria. GI-Edition – Lecture Notes in Informatics, Vol. P-82. 129-144.

Reinhard, T., C. Seybold, S. Meier, M. Glinz, N. Merlo-Schett (2006). Human-Friendly Line Routing for Hierarchical Diagrams. Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE’06), Tokyo, Japan. 273-276.

Seybold, C., S. Meier, M. Glinz (2005). Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models. Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan.

Seybold, C., S. Meier, M. Glinz (2004). Evolution of Requirements Models by Simulation. Proceedings of IWPSE'04: International Workshop on Principles of Software Evolution, Kyoto, Japan, September 6-7, 2004. 43-48.

Xia Y., M. Glinz (2004). Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification. Proceedings of 11th Asia-Pacific Software Engineering Conference (APSEC 2004).

Seybold, C., M. Glinz, S. Meier, N. Merlo-Schett (2003). An Effective Layout Adaptation Technique for a Graphical Modeling Tool. (research demonstration). Proceedings of the 2003 International Conference on Software Engineering, Portland. 826-827.

Glinz, M., S. Berner, S. Joos (2002). Object-oriented modeling with ADORA. Information Systems 27, 6. 425-444.

Weitere Informationen

Keywords / Suchbegriffe ADORA, requirements specification, requirements modeling specification, object-orientation
Project leadership and contacts /
Projektleitung und Kontakte
Prof. Martin Glinz, Dr. rer. nat. (Project Leader) glinz 'at' ifi.uzh.ch
Tobias Reinhard reinhard 'at' ifi.uzh.ch
Reinhard Stoiber stoiber 'at' ifi.uzh.ch
Other links to external web pages http://www.ifi.uzh.ch/rerg
Funding source(s) /
Unterstützt durch
Universität Zürich (position pursuing an academic career), SNF (Personen- und Projektförderung)
 
Duration of Project / Projektdauer Nov 1994 to Aug 2017