Process Diagram Sample Clauses
Process Diagram the whole system is represented as a sequential process and each of its domains as a sequential process. Concurrency within the system or within its domains is modelled by representing these as two or more subcomponents plus their rely and guarantee conditions [▇▇▇▇▇, ▇▇▇▇▇▇, ▇▇▇▇▇▇]. This is an external, dynamic view of the system and its domains. In Figure 6.1 the process from Context to Behaviour is represented. Al- though there has been close engagement with Bosch on the mini-Pilot and pilot study requirements (especially regarding the use of ▇▇▇▇▇▇▇’▇ Problem Frames in conjunction with formal modelling in Event-B), and a number of on site meetings have been successfully performed, so far this problem is still open and the use of ▇▇▇▇▇▇▇’▇ diagrams extensions has not yet been fully investigated.