Using two object‐oriented modelling techniques: specifying the
just‐in‐time kanban system
International Journal of Operations & Production Management
ISSN: 0144-3577
Article publication date: 1 September 1995
Abstract
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 kanbansystem. Focuses on describing the kanbansystem 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.
Keywords
Citation
Ling, S. and Durnota, B. (1995), "Using two object‐oriented modelling techniques: specifying the
just‐in‐time
Publisher
:MCB UP Ltd
Copyright © 1995, MCB UP Limited