DOCTORAL SYMPOSIUM

PROGRAM

DOCTORAL SYMPOSIUM
Moday, 21st June

In the doctoral symposium, each student will be given 15 minutes for the presentation. This will be followed by 20 minutes discussion."

9:30 - 9:50 Welcome, Introductions
9:50 - 10:30 Integration of Declarative Events in an Object-Oriented Programming Language
Lucas Satabin
10:30 - 11:00 Coffee break
11:00 - 11:20 Inspirational talk
11:20 - 12:00 Identifying and Implementing Relationships
Stephen Nelson


PhD STUDENT WORKSHOP

12:00 - 12:35 A Domain Specific Modeling Language for Semantic Web enabled Multi Agent Systems
Moharram Challenger
12:35 - 14:00 Lunch break
14:00 - 14:20 Inspirational talk
14:20 - 14:55 An Approach to Generic Roles in Role-Oriented Programming
Andreas Mertgen
14:55 - 15:30 The Case for Executable Specications
Hesam Samimi
15:30 - 16:00 Coffee break


PLANNING FOR NEXT YEAR'S WORKSHOP

16:00 - 16:30 Conclusion. Planning for next year.
16:30 Finish.


ACCEPTED PAPERS

An Approach to Generic Roles in Role-Oriented Programming
Andreas Mertgen

Modularization of concerns improves software quality, particularly with regard to maintenance and reusability. For that purpose, the main concepts of object orientation deliver a set of useful techniques, but they show shortcomings in modularizing concerns of a cross-cutting or context-related nature. Role-based programming, as in the language ObjectTeams/Java (OT/J), addresses these needs and supports the programmer by providing additional features of modularization and collaboration. However, support of quantification, which is currently fairly limited in OT/J, may be vital to leverage these capabilities to a more concise and expressive level. This research is about integrating quantification based on logic meta-programming and introducing generic roles into the language OT/J.We suggest that use of generic meta-variables may help improve the expressiveness and applicability of role-based programming.
 

The Case for Executable Specifications
Hesam Samimi

I describe my research status on practical approaches for employing executable specifications in a variety of contexts. I detail one approach for software reliability, called Plan B. Rather than only using specifications to validate implementations, specifications are additionally employed as reliable alternatives to those implementations. Moreover, I present other scenarios I am currently exploring, where executable specifications may have practical benefits, including concurrent and distributed systems.
 

A Domain Specific Modeling Language for Semantic Web enabled Multi-agent Systems
Moharram Challenger

Software agents and multi-agent systems (MASs) are recognized as both useful abstractions and effective technologies for modeling and building of complex systems. Various studies in MAS community define agent meta-models which include these entities and their relations. However, a significant deficiency exists in those noteworthy agent modeling and methodology studies considering their support on the Semantic Web technology and its constructs. On other hand, model driven development (MDD) can provide an infrastructure that simplifies the development of internally complex MASs. Nevertheless, majority of the model driven agent development studies propose approaches for just one MAS platform and neither of them considers the Semantic Web environment and integration of MASs with the Semantic Web components. Meanwhile, current model driven MAS development proposals also do not provide a clear syntax and semantics of a domain specific modeling language (DSML) which is indispensable to define agent-based systems. Therefore, this PhD dissertation aims to provide an agent DSML for the development of the MASs working on the Semantic Web environments. This thesis will provide meta- model, abstract syntax, concrete syntax and formal semantic for the related DSML.
 

Integration of Declarative Events in an Object-Oriented Programming Language
Lucas Satabin

Event-driven programming is a commonly used programming style to achieve inversion of control in object-oriented (OO) designs. This programming style is based on explicitly announced events in code. In this approach, event definitions are not localized and cannot be composed declaratively. An alternative to explicit events is the aspect-oriented (AO) approach, which uses pointcuts to intercept implicit events happening during the program execution. Pointcuts can be combined in order to create more complex events. However, AO features lack good integration into object-oriented languages and may break encapsulation. We propose a seamless and ecient integration of imperative and declarative events in an object-oriented programming language.
 

Identifying and Implementing Relationships
Stephen Nelson

Relationships have been an essential component of OO design since the 90s and, although several groups have attempted to rectify this, mainstream OO languages still do not support first-class relationships. This requires programmers to implement relationships in an ad-hoc fashion which results in unnecessarily complex code. This abstract describes research towards first-class language support for relationships using collections. In particular, we discuss studies profiling the use of equality and collections in existing Java programs to determine how relationships are currently implemented. The results of these studies should allow language designers better criteria for evaluating relationship support, and we discuss example changes.
 

COMMITTEE

  • Beatrice Åkerblom (chair), Stockholm University, Sweden
  • Zaid Altahat
  • Cristian Dittamo, University of Pisa, Italy
  • Antonio Cuni, University of Genova, Italy
  • Salman Mirghasemi, EPFL, Switzerland
  • Khan Muhammad, INRIA Sophia, France
  • Marco Servetto

ACADEMIC PANEL

  • Erik Ernst, University of Aarhus, Denmark
  • Gary T. Leavens University of Central Florida, Orlando, US
  • James Noble, Victoria University of Wellington, New Zealand
  • Lars Birkedal, IT University of Copenhagen, Denmark
(names will still be added to the list)

PREVIOUS EXPERIENCES

The ECOOP Doctoral Symposium is an excellent place to meet many interesting people and discuss new ideas related to your research topic. It has a friendly atmosphere which makes everybody welcomed and relaxed. By attending the PhD symposium last year, I had the opportunity to engage in new collaborations with researchers from different institutions. I also received feedback from both well-established researchers and fellow PhD students which had a great positive effect on my thesis. I would certainly recommend all PhD students to attend the ECOOP PhD Symposium and Workshop.

Eduardo Figueiredo, participant DS ECOOP'08


The ECOOP Doctoral Symposium was a remarkable event. It was an honor to get feedback on my personal thesis topic from such well-established researchers in the field. Their comments not only encouraged me to continue with my thesis work but also gave me valuable feedback on how to refine my concrete topic and bring the overall topic into shape. In addition, I found the other students' talks to be some of the most interesting ones at ECOOP. Some of them were very inspiring even for my own work. Overall, my participation in the symposium will certainly have a great positive effect on my thesis. Apart from that it was a fun day which made me meet many interesting people.

Eric Bodden, participant DS ECOOP'07