Using two object-oriented modelling techniques: Specifying the just-in-time kanban system

Using two object-oriented modelling techniques: Specifying the just-in-time kanban system

0.00 Avg rating0 Votes
Article ID: iaor1996813
Country: United Kingdom
Volume: 15
Start Page Number: 185
End Page Number: 199
Publication Date: Apr 1995
Journal: International Journal of Operations & Production Management
Authors:
Keywords: object-oriented programming
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 just-in-time kanban system is an example of a real-world 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-in-time 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 tedius Discusses the case of describing such a system.

Reviews

Required fields are marked *. Your email address will not be published.