The Engine of MRP II Standard SystemRequirements Presented in Z-notation. Part One

• Autorzy: Greniewski M. J.

Warianty tytułu

PL

Wymagania na silnik standardowego systemu MRP II : zapisane w notacji Z. Część 1

• Języki publikacji: EN

Abstrakty

EN

The purpose of my presentation is to show applicability of Z-notation to system requirements specification using as an example the so called engine of one of the biggest system developed for industrial application known as MRP II Standard System. The engine is described by D.V. Landvater & C.D Gray, [7] pp. 199-250. The MRP II algorithms are still used in Enterprise Resource Planning software.

PL

Celem publikacji, jest pokazanie przydatności notacji Z, na przykładzie opisu wymagań na standardowy system MRP II. Centralna część powyższego systemu, zwana dalej silnikiem MRP II, opracowana i opublikowana przez D.V. Landvater & C.D Gray, (1989), “MRP II Standard System, Oliver Wight Publications, Inc., USA VT”, jest przykładem jednego z największych objętościowo wymagań – napisanych dla aplikacji przemysłowych. Należy zauważyć, że opublikowane algorytmy są nadal używane w systemach ERP. Ograniczone ramy publikacji – prezentują jedynie wybrane elementy formalnego opisu wymagań na standardowy system MRPII.

Słowa kluczowe

EN

BOM; information systems; inventory system; jEdit; MRP II; Standard System; Z-notation

PL

systemy informacyjne; system zarządzania; notacja Z

• Wydawca: Oficyna Wydawnicza Europejskiej Uczelni
• Czasopismo: Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
• Rocznik: 2011
• Tom: Nr 1(1)
• Strony: 17--30
• Opis fizyczny: Bibliogr. 11 poz., tab.

Twórcy

autor

Greniewski M. J.

• Europejska Wyższa Szkoła Informatyczno-Ekonomiczna, Wydział Zarządzania, ul. Kolektorska 9/11, 01-691 Warszawa

Bibliografia

• [1] APICS® The Education Society for Resource Management, “APICS Dictionary”, 8th Edition, APICS, USA VA - 1995.
• [2] FOWLER M, “Patterns of Enterprise Application Architecture”, 1st Edition, Addison-Wesley Professional, Inc., USA NY - 2003.
• [3] GRENIEWSKI M. J, "Selected MRP II standard system requirements presented in Z-notation" for the Special Issue of "Kybernetes" Vol. 38 No. 7&8 – 2009.
• [4] IEEE Std 830, “IEEE Recommended Practice for Software Requirements Specifications– Description”, IEEE 1998.
• [5] ISO/IEC 13568, “International Standard Information technology – Z formal specification notation – Syntax, type system and semantics”, ISO/IEC 13568: First edition 2002.
• [6] JAWORSKI, W.M, (2007), “Dynamic Context of General Strategies Models”, available at: http://freestraintdesign.com/gsinc/. (accessed 30 September 2008).
• [7] LANDVATER D.V, GRAY C.D, “MRP II Standard System”, Oliver Wight Publications, Inc., USA VT - 1989.
• [8] LANDVATER D.V, GRAY C.D, “MRP II Standard System – WoorkBook”, Oliver Wight Publications, Inc., USA VT - 1989.
• [9] SPIVEY J.M, (), “The Z Notation: A Reference Manual”, 2nd Edition, Prentice Hall International (UK) Ltd., Oxford – 1992.
• [10] CZT-team, “CZT – Welcome to Community Z Tools”, available at: http://czt.sourceforge.net/ (accessed 4 September 2008).
• [11] jEdit- core team, “jEdit – Programmer‟s Text Editor – overview”, available at: http://www.jedit.org/ (accessed 4 September 2008).