Task 7: e-Service Middleware Modeling

Activity: development

Description: The task is to formalise the requirements obtained during Task 6. The resulting formal model specifies precisely the behaviour of the actual software, without dictating how this behaviour should be realised in terms of the actual design and implementation decisions, that are the subject of the following tasks.

Purpose: To disclose and any problems caused by the informal nature of the requirements - lack of clarity, ambiguitity, incompletness - and suggest ways to remove such problems. To obtain an high-quality model (specification) of the system to be built, subject to rigorous review and analysis, therefore obtaining a solid basis to carry out future development.

Report: See Implementation