Using two object‐oriented modelling techniques : specifying the just‐in‐time kanban system

Modelling by means of specification languages is increasingly being recognized as an important phase in system development. It encourages one to think about problems using models organized around real‐world situations. The system to be developed should then be consistent, correct and unambiguous with respect to the models produced. The justin‐time kanban system is an example of a realworld problem with a multiple‐supplier and multiple‐client architecture. Uses two specification languages LOOPN and Object‐Z, proposed in the literature to model the kanban system. Focuses on describing the kanban system in the different notations, thus investigating how well they can express the just‐intime system. The kanban system consists of many replicated components, each having the same state space and exhibiting the same behaviour. To describe each and every component in the system would be repetitious and tedious. Discusses the ease of describing such a system.