Course learning objectives

Learning objective matrix

Currently available tasks

1. Business process design and verification
   • Select of a small case study that involves more than two parties, each enacting their own business processes. Design the business processes and verify the lifeness and fairness of the composed service system. The specification language and verification tool choice can be part of the task, or given, depending on the amount of credit units expected. The task does always include reporting verification principles and key terminology before starting the modelling.
   • Some candidate ideas for the case study:
     • Any of the business model designs created at the Service ecosystems course.
     • A web based calendar that shows entries of the user's associated calendars depending on different technological platforms.
     • A system where independent photographers can register photos by giving out tags for target of the photo, representation and resolution details, price and access method. The business processes modeled need to include the metainformation repository activities, photograper processes and newspaper (or other photo consumer) processes for obtaining the photo and appropriate IPRs for publishing it, and the payment system used.
2. Evaluation of a MDE tool through implementation of a small case study.
   • Any of the above business process definitions is appropriate for implementation trial. The report of the engineering and reverse engineering capabilities need to be reported according to a taxonomy that will be provided at the beginning of the task. (Thus, when each student is trying out a different tool we jointly create a comparison report on tool maturity and usability.)
3. Definition of a DSL (domain specific language) for privacy policy definition.
   • The task involves definition of the syntax of the language, usage guide, and transformation rules so that the defined language can be used for monitoring a service. As a starting point, literature on DSL definition and transformation tools is provided, as well as a summary of the kind of rules the privacy policies need to be capable of expressing.

4. Setup of business process model repository as a group.
   
   
   
   • Task A: Create the repository interface and implement the storage structures using a MDE tool. The metamodels for the storage will be provided.
     
   • Task B: Populate the repository with a number of business processes on a jointly selected application area, for example, indoor navigation, or navigation services for blind.
     
   • Task C: Create business network models from the business processes, and assign policies for them too. This involves creation of a DSL for role assignments.
     
   • Task D: Implement a new operation for relaxed matching of service types for the repository. The relaxed match requires storage of transformation pieces into the repository for the asserted match relationships.