|
|
|||||||||||||||
[ Recent_Work ]
[ Recent Projects ]
[Teaching @ TU Vienna ]
[ Publications ]
[ Technical Reports ]
[ Theses ]
[ Recent Talks ]
[ Mail ]
|
[ Research
Interests ] [ Recent_Work ] [ Recent Projects ] [Teaching @ TU Vienna ] [ Publications ] [ Technical Reports ] [ Theses ] [ Recent Talks ] [ Mail ] |
|||||||||||||||||
| Research Interests |
Current research focus: methodologies for the development of event-based applications.
- Formal Methods (Specification, Verification, Testing, etc.)
- Distributed and Parallel Systems
- Mobile Computing
- Computer Supported Collaborative Working
- Software Architecture
- Security (Authorization, Access control, security protocols, etc.)
- Event-Based Systems
- Programming Languages
| Recent Work |
- SEATY: An Architectural Type for the Development of Sequential Event-Based Applications (with Mehdi Jazayeri), October 2003, Submitted for publication.
- Formal Designing an Event-Based Application for Mobile Teams Collaboration. (with Harald Gall and Mehdi Jazayeri), March 2003, Submitted for publication.
Full publication list below.
| Recent Projects |
- LECAP
LECAP (Logic of Event Consumption and Publication) is a farmework that aims at constructing a systematic approch to the construction of event-based applications. The event-based architectural style has been considerably and increasingly deployed over the past years. The number of non-trivial case studies in which this paradigm is applied is significant, varying from simple desktop applications to widely distributed and critical systems. The acceptance of this paradigm is witnessed by its incorporation into standards such as CORBA and JMS, and commercial systems such as TIBCO. Nonetheless, the development of such applications remains ad hoc and informal without any methodological support. LECAP aims at constructing a systematic, compositional, and stepwise approach to solve this issue.
- FAMILLIES
FAMILLIES (FAct-based Maturity through Institutionalisation Lessons-learned and Involved Exploration of System-family engineering) is a EUREKA project within the ITEA framework where several well known European companies and universities research the problem area of software product families (i.e., system families). The primary goal is to structure software systems into product families that allows sharing design effort within the product family, reduces development costs and increases the rate of product introduction. FAMILLIES aims to spread the use of the system family approach by adapting neighbouring systems to become part of the family, by maturing existing platforms, and by investing when a product family approach is beneficial. The development of a product family regards the total software development process including business, architecture, organisation and process concerns.
- EASYCOMP
EASYCOMP (Easy Components) investigated basic technology for easy component composition in the future information society. EASYCOMP provided technologies for enabling end users as well as software engineers to compose together components off the shelf (active components, i.e. integrated software and documents) flexibly and powerfully. Such a composition technology increases reuse of components and productivity of endures as well as software engineers. The composition technology was demonstrated it in a web-based composition centre for uniform composition of active components.
- MOTION
The MOTION system was developed to support several key requirements for distributed business processes, including: efficient information sharing across a widely distributed enterprise environment; constant and timely update of the distributed knowledge base, with many different sites acting both as potential users as well as potential providers of information; shared access to different, integrated manufacturing engineering services, supporting both local activities as well as mobile working. The developed platform is based on a novel approach integrating several technologies: peer-to-peer, event based communication, intregrated messaging, distributed searches. Combined in a uniform architecture, such techniques allow configuring and operating a consistent set of Team Work Assistants required in the different sites of an application and supporting engineering teams working across the sites in a variety of tasks.
MOTION validated the achieved end products in two industrial environments: household appliances production and mobile phones manufacturing at two well known company sites. The second company validated the advanced business-oriented platform to support cooperative design, on top of their current distributed design environment spanning over 3 Countries and exploited by over 500 designers. The second company validated a pilot application targeting two selected manufacturing establisments, in two different European countries. This provided information and knowledge management to support engineering and production tasks such as: product information management, process and production planning, technical support during business process engineering and strategic planning activities.
| Teaching @ Technical University of Vienna |
| Number | Type/Hrs. | Course | |
| 184.196 | VU 2.0 |
Requirements-Analyse und -Spezifikation |
| Publications |
- Formally Designing Web Services for Mobile Team Collaboration (with Schahram Dustdar), 30th EUROMICRO Conference, Special Session on Advances in Web Computing, Rennes, France, August 31st-September 3rd, 2004
- Fast Abstract: Towards a Lightweight Formal Approach to Constructing Event-Based Applications (with Mehdi Jazayeri), DSN-2004, The International Conference on Dependable Systems and Networks Palazzo dei Congressi, Florence, Italy, June 28th - July 1, 2004.
- Fast Abstract: Towards Synchronization and Mutual Exclusion in Content-Based Publish-Subscribe Systems (with Gerald Reif), DSN-2004, The International Conference on Dependable Systems and Networks Palazzo dei Congressi, Florence, Italy, June 28th - July 1, 2004.
- On Methodologies for Constructing Reliable Event-Based Applications. (with Mehdi Jazayeri and Geral Reif), DEBS 2004, The International Workshop on Distributed Event-Based Systems (This year as an ICSE Workshop), Edinburgh, Scotland, UK, May 23-24.
- A Systematic Approach to the Development of Event-Based Applications. (with Harald Gall and Mehdi Jazayeri), In Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003); IEEE Computer Society Press, October 2003, Florence, Italy.
- Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. (with Harald Gall and Mehdi Jazayeri), In Proceedings of the 12th International FME Symposium (FME 2003), Springer Verlag, September 2003, Pisa, Italy.
- Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (with Sagar Chaki, Harald Gall, Somesh Jha, Engin Kirda, and Helmut Veith), In Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering , ACM Press, San Francisco Bay, July 1-3, 2003, CA, USA.
- Composing Specifications of Event Based Applications (with Harald Gall and Mehdi Jazayeri). In Proceedings of the European Conference on Fundamental Approaches to Software Engineering (FASE 2003), Springer Verlag, April 7-11, 2003, Warsaw, Poland.
- MOTION: A Peer-to-Peer platform for Mobile Teamwork Support (with: Harald Gall, Engin Kirda, and Gerald Reif). In Proceedings of the 26 th IEEE Annual International Computer Software and Applications Conference (COMPSAC’02), August 26-29, 2002, Oxford, England.
- DPS: An architectural Style for Development of Secure Software (with: Harald Gall, Mehdi Jazayeri, and Christopher Kruegel). In Proceedings of the Infrastructure Security Conference 2002, Springer Verlag, October 1-3, 2002, Bristol, England.
- Constructing CORBA-Supported Test Oracles: Case Study in Automated Software Testing. (with: Harald Gall, and Mehdi Jazayeri). In Proceedings of the 17th IEEE Automated Software Engineering Conference, September 23-27, 2002, Edinburgh, Scotland.
- Evaluation of Publish/Subscribe System in Collaborative Environments (with: Harald Gall, Engin Kirda, and Gerald Reif). In Proceedings of the 11th IEEE WET ICE Workshop on Evaluating Collaborative Enterprises, June 10-12, 2002, CMU, Pittsburgh, Pennsylvania, USA.
- Towards an Access Control System for Mobile Peer-to-Peer Collaborative Environments. (with: Sharam Dustar, Harald Gall, Engin Kirda, and Gerald Reif). In Proceedings of the 11th IEEE WET ICE Workshop on Enterprise Security, June 10-12, 2002, CMU, Pittsburgh, Pennsylvania, USA.
- A Service Architecture for Mobile Teamwork. (with: Harald Gall, Engin Kirda, and Gerald Reif). In Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering , ACM Press, July 15-19, 2002, Ischia, ITALY.
- Visual Requirements Validation: Case Study in a Corba-supported environment. (with: Harald Gall, and Mehdi Jazayeri). In Proceedings of the 10th IEEE Joint International Requirements Engineering Conference, September 9-13, 2002, Essen, Germany.
- TWSAPI: A Generic Teamwork Services Application Programming Interface. (with: Harald Gall, Engin Kirda, and Gerald
Reif). In Proceedings of the International Workshop on Mobile Teamwork 2002, Colocated with the 22nd International Conference on Distributed Computing Systems(ICDCS 2002), July 2-3, 2002, Vienna, Austria.
- Security Specification and Verification, Extended Abstract, In Proceedings of the 16th IEEE Automated Software Engineering Conference, November 26-29, 2001, San Diego, CA, USA.
- Security Specification and Verification, In Proceedings of the Doctoral symposium of the 16th IEEE Automated Software Engineering Conference, November 26-29, 2001, San Diego, CA, USA.
- Supporting Mobile Users and Distributed Teamwork (With: Harald Gall, Clemens Kerer, Engin Kirda, Gerald Reif) Proceedings of ConTEL 2001 - 6th International Conference on Telecommunications, Zagreb, Croatia, June 13-15 2001.
- A Web-based peer-to-peer architecture for collaborative nomadic working. (With: Gianpaola Cugola, Harald Gall, Engin Kirda, Gian Pietro Picco, Gerald Reif). In Proceedings of the 10th IEEE Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) (Boston, MA, USA). IEEE Computer Society Press, June 2001.
- A Note On Proof Carrying Code. Verification Workshop in Connection with the International Joint Conference in Automated Reasoning (IJCAR 2001), June 2001, Siena, Italy.
| Technical Reports |
- Reanimating SAFER in VDM-SL using CORBA. Number: IST-TEC-00-09, Institute for Software Technology, Graz University of Technology.
- The Expressive Power of DUMAS: A Comparative Study Between DUMAS and ATAM. (with: Harald Gall, Engin Kirda, and Gerald Reif). Distributed systems Group, Technical University of Vienna.
| Theses |
- A Dynamic User management System for Web Sites. Master's Thesis. September 2000, Graz University of Technology and Vienna University of Technology.
- A Systematic Approach to the Construction of Event Based Applications, Ph.D. Thesis, October 2003, Distributed Systems Group of the Institute for Information System, Vienna University of Technology.
| Recent Talks |
CONFERENCE TALKS
- A Note On proof Carrying Code. Verification Workshop in Connection with the International Joint Conference in Automated Reasoning (IJCAR 2001), June 2001, Siena, Italy.
- Security Specification and Verification in Mobile Code systems, Doctoral symposium of the 16th IEEE Automated Software Engineering Conference, November 2001, San Diego, CA, USA.
- Security Specification and Verification in Mobile Code systems, Poster 16th IEEE Automated Software Engineering Conference, November 2001, San Diego, CA, USA.
- Towards an Access Control System in Mobile Peer-to-Peer Collaborative Environments. 11th IEEE WET ICE Workshop on
Enterprise Security, June 2002, CMU, Pittsburgh, Pennsylvania, USA
- Visual Requirements Validation: Case Study in a Corba-supported environment. 10th IEEE Joint International Requirements Engineering Conference, September 9th, Essen, Germany.
- Constructing CORBA-Supported test oracle: case study in automated software testing. 17th IEEE Automated Software Engineering Conference, September 2002, Edinburgh, Schottland.
- DPS: An architectural Style for Development of Secure Software Infrastructure Security Conference 2002, 4th October 2002, Bristol, England.
- Composing Specifications of Event Based Applications. 6th European Conference on Fundamental Approaches to Software Engineering (FASE 2003), April 9, 2003, Warsaw, Poland.
- A Systematic Approach to the Development of Event-Based Applications. (with Harald Gall and Mehdi Jazayeri), 22nd Symposium on Reliable Distributed Systems (SRDS 2003); 7th October 2003, Florence, Italy.
- Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.; 12th International FME Symposium (FME 2003),11th September 2003, Pisa, Italy.
INVITED TALKS
- Security Specification and Validation in Mobile Code Systems. Institute for Software Technology, Graz University of Technology, December 2001, Graz, Austria.
- Composing Specifications of Event Based Applications, SINTEF, 3rd December 2002, Oslo, Norway.