A prospective student would adapt the existing UML-based modeler and could work on one or more of the following topics:
- define a UML profile for ABS and wellformed-rules for ABS (e.g. in OCL)
- specialise the graphical UML editor to ABS models (e.g. only interface inheritance, not class inheritance)
- build a parser that turns textual ABS models into UML models conforming to the profile
- investigate which other UML diagrams, apart from class diagrams, could be useful
- investigate how the advanced features of ABS like delta-modeling and product lines could be modelled in the profile
Requirements
- Interested in UML
- Programming/Modelling language design
- Java programming skills
- Experience with the Eclipse platform is helpful, but not required
Further references
- rCOS Modeler for UML-based development of component-based systems
- TOPCASED platform for development of critical systems.
- Eclipse Modeling