These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Publications

  • Gefei Zhang and Matthias Hölzl. A Set of Metrics for Non-Locality Complexity in UML State Machines. In Rev. Sel. Papers Int. Wsh. Behaviour Modeling—Foundations and Applications 2009–2014 (BM-FA), volume 6368 of Lect. Notes Comp. Sci., pages 59–81. Springer-Verlag, 2015.
  • Gefei Zhang and Matthias Hölzl. Improving the Modularity of Web-Application Models with Aspects. Int. J. Web Engineering and Technology. 10(2):98–128. 2015.
  • Gefei Zhang and Matthias Hölzl. A Set of Metrics for States and Transitions in UML State Machines. In Proc. 6th Int. Wsh. Behaviour Modeling---Foundations and Applications (BM-FA'14), 2014.
  • Gefei Zhang. Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines. In Proc. 8th Eur. Conf. Modeling Foundations and Applications (ECMFA'12), pp. 162–177, Lect. Notes Comp. Sci. 7349, Springer-Verlag, 2012.
  • Gefei Zhang and Matthias Hölzl. Weaving Semantic Aspects in HiLA. In Proc. 11th Int. Conf. Aspect-Oriented Software Development (AOSD'12), pp. 263–274, ACM, 2012.
  • Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, and Gefei Zhang. Aspect-Oriented Model Development at Different Levels of Abstraction. In Proc. 7th Eur. Conf. Modelling Foundations and Applications, pp. 361–376, Lect. Notes Comp. Sci. 6698, Springer-Verlag, 2011.
  • Gefei Zhang and Matthias Hölzl. Aspect-Oriented Modeling of Web Applications with HiLA. In Rev. Sel. Papers Wshs. at ICWE'11, pp. 211–222, Lect. Notes Comp. Sci. 7059, Springer-Verlag, 2011.
  • Matthias Hölzl, Alexander Knapp, and Gefei Zhang. Modeling the Car Crash Crisis Management System with HiLA. Trans. Aspect-Oriented Software Development (TAOSD), 7:234–271, 2010.
  • Gefei Zhang. Aspect-Oriented State Machines. Ph.D. Thesis, Ludwig-Maximilians-Universität München, 2010.
  • Gefei Zhang. Aspect-Oriented UI Modeling with State Machines. In Proc. 5th Int. Wsh. Model-Driven Development of Advanced User Interfaces (MDDAUI'10), pp. 45–48, 2010.
  • Gefei Zhang and Matthias Hölzl. HiLA: High-Level Asepcts for UML State Machines. In Reports & Rev. Sel. Papers Wshs. at MoDELS'09, pp. 104–118, Lect. Notes Comp. Sci. 6002, Springer-Verlag, 2010.
  • Nora Koch, Matthias Pigerl, Gefei Zhang, and Tatiana Morozova. Patterns for the Model-based Development of RIAs. In Proc. 9th Int. Conf. Web Engineering (ICWE'09), pp. 283–291, Lect. Notes Comp. Sci. 5648, Springer-Verlag, 2009.
  • Gefei Zhang. Aspect-Oriented Modeling of Adaptive Web Applications with HiLA. In Proc. 7th Int. Conf. Advances in Mobile Computing & Multimedia (MoMM'09), pp. 331–335, ACM, 2009.
  • Gefei Zhang and Matthias Hölzl. HiLA: High-Level Aspects for UML State Machines. In 14th Int. Wsh. Aspect-Oriented Modeling (AOM@MoDELS'09), Denver, 2009. Best paper
  • Juan Carlos Preciado, Marino Linaje Trigueros, Rober Morales, Fernando Sánchez, Gefei Zhang, Christian Kroiß, and Nora Koch. Designing Rich Internet Applications Combining UWE and RUX-Method. In Proc. 8th Int. Conf. Web Engineering (ICWE'08), pp. 148–154, IEEE, 2008.
  • Wieland Schwinger, Werner Retschitzegger, Andrea Schauerhuber, Gerti Kappel, Manuel Wimmer, Birgit Pröll, Cristina Cachero Castro, Sven Casteleyn, Olga De Troyer, Piero Fraternali, Irene Garrigos, Franca Garzotto, Athula Ginige, Geert-Jan Houben, Nora Koch, Nathalie Moreno, Oscar Pastor, Paolo Paolini, Vicente Pelechano Ferragud, Gustavo Rossi, Daniel Schwabe, Massimo Tisi, Antonio Vallecillo, Kees van der Sluijs, and Gefei Zhang. A Survey on Web Modeling Approaches for Ubiquitous Web Applications. Int. J. Web Information Systems (IJWIS), 4(3):234–305, 2008.
  • Alexander Knapp, Nora Koch, Martin Wirsing, and Gefei Zhang. UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen. i-com, 6(3):5–12, 2007. In German.
  • Nora Koch, Alexander Knapp, Gefei Zhang, and Hubert Baumeister. UML-Based Web Engineering: An Approach Based on Standards. In Luis Olsina, Oscar Pastor, Gustavo Rossi, and Daniel Schwabe, editors, Web Engineering: Modelling and Implementing Web Applications, Human-Computer Interaction Series, pp. 157–191, Springer-Verlag, 2007.
  • Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigó, Jaime Gómes, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, and Gefei Zhang. MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. In Proc. 3rd Int. Wsh. Model-Driven Web Engineering (MDWE'07), CEUR-WS 261, 2007.
  • Gefei Zhang, Matthias Hölzl, and Alexander Knapp. Enhancing UML State Machines with Aspects. In Proc. 10th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'07), pp. 529–543, Lect. Notes Comp. Sci. 4735, Springer-Verlag, 2007.
  • Alexander Knapp and Gefei Zhang. Model Transformations for Integrating and Validating Web Application Models. In Proc. Modellierung 2006 (MOD'06), pp. 115–128, Lect. Notes Informatics P-82, Gesellschaft für Informatik, 2006.
  • Nora Koch, Gefei Zhang, and Mar\'ia José Escalona. Model Transformations from Requirements to Web System Design. In Proc. 6th Int. Conf. Web Engineering (ICWE'06), pp. 281–288, ACM, 2006.
  • Christian Kroiß and Gefei Zhang. Tool Supported Modeling of Mobile Systems. In Proc. 10th IASTED Int. Conf. Software Engineering and Applications (SEA'06), pp. 14–19, ACTA Press, 2006.
  • Gefei Zhang. Towards Aspect-Oriented State Machines. In Proc. 2nd Asian Wsh. Aspect-Oriented Software Development (AOASIA'06), pp. 60–64, National Institute of Informatics, Tokyo, 2006.
  • Hubert Baumeister, Alexander Knapp, Nora Koch, and Gefei Zhang. Modelling Adaptivity with Aspects. In 5th Int. Conf. Web Engineering (ICWE'05), pp. 406–416, Lect. Notes Comp. Sci. 3579, Springer-Verlag, 2005.
  • Alexander Knapp, Nora Koch, and Gefei Zhang. Modelling the Behaviour of Web Applications with ArgoUWE. In 5th Int. Conf. Web Engineering (ICWE'05), pp. 624–626, Lect. Notes Comp. Sci. 3579, Springer-Verlag, 2005.
  • Gefei Zhang. Towards Aspect-Oriented Class Diagrams. In Proc. 12th Asia-Pacific Software Engineering Conf. (APSEC'05), pp. 763–768, IEEE, 2005.
    Download: [HTML] 
  • Gefei Zhang, Hubert Baumeister, Nora Koch, and Alexander Knapp. Aspect-Oriented Modeling of Access Control in Web Applications. In 6th Int. Wsh. Aspect Oriented Modeling (AOM@AOSD'05), Chicago, 2005.
  • Alexander Knapp, Nora Koch, and Gefei Zhang. Modeling the Structure of Web Applications with ArgoUWE. In Proc. 4th Int. Conf. Web Engineering (ICWE'04), pp. 615–616, Lect. Notes Comp. Sci. 3140, Springer-Verlag, 2004.
  • Alexander Knapp, Nora Koch, Gefei Zhang, and Hanns-Martin Hassler. Modeling Business Processes in Web Applications with ArgoUWE. In Proc. 7th Int. Conf. Unified Modeling Language (UML'04), pp. 69–83, Lect. Notes Comp. Sci. 3273, Springer-Verlag, 2004.
  • Alexander Knapp, Nora Koch, Flavia Moser, and Gefei Zhang. ArgoUWE: A CASE Tool for Web Applications. In Proc. 1st Int. Wsh. Engineering Methods to Support Information Systems Evolution (EMSISE'03), pp. 37–50, Genève, 2003.