Spójność modeli komputerowych w inżynierii biznesu. Modele IDEF

• Autorzy: Kacprzak M. , Kaczmarczyk A.

Warianty tytułu

EN

Consistency of computer models in business process engineering. IDEF models

• Języki publikacji: PL

Abstrakty

PL

Przedstawiono problemy integracji modeli aspektowych IDEF. Rozpatrzono przykład integracji dwóch podstawowych modeli: funkcji (IDEFO) i informacji (IDEF1X). Opisano dodatkowe kryteria poprawności dla modelu funkcji, algorytm integracji obu rodzajów modeli i kryteria spójności modelu zintegrowanego.

EN

Problems of the integration of IDEF particular models are presented. An example of the integration of two basic models: IDEFO function models and IDEF1X information models is considered. Additional correctness criteria for function models, an integration algorithm of the both kinds of models and consistency criteria for the integrated model are also described.

Słowa kluczowe

PL

integracja modeli; modele aspektowe; kryteria poprawności; kryteria spójności

EN

model integration; particular models; correctness criteria; consistency criteria

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Elektronika : konstrukcje, technologie, zastosowania
• Rocznik: 2008
• Tom: Vol. 49, nr 10
• Strony: 128--132
• Opis fizyczny: Bibliogr. 11 poz., wykr.

Twórcy

autor

Kacprzak M.

autor

Kaczmarczyk A.

• Instytut Maszyn Matematycznych, Warszawa

Bibliografia

• [1] FIPS [Federal Information Processing Standards] Publication 183. Integration Definition for Function Modeling (IDEFO), 1993.
• [2] FIPS [Federal Information Processing Standards] Publication 184. Integration Definition for Information Modeling (IDEF1X), 1993.
• [3] UML [Unified Modeling Language], http://www.uml.org/.
• [4] Kaczmarczyk A., Kacprzak M.: Spójność modeli komputerowych w inżynierii oprogramowania. Modele UML; Elektronika, nr 6/2008.
• [5] ISO 9074. Estelle: A formal description technique based on an extended transition model. 1997.
• [6] Kacprzak M., Kaczmarczyk A.: Validation by simulation of Enterprise Models;. Proceedings of IFAC Conference on Modelling and Control of Economic Systems SME 2001, Klagenfurt, Austria 2001.
• [7] Kacprzak M.: Synchroniczna obsługa interakcji w języku Estelle; Biuletyn Informacyjny IMM, 2/2004.
• [8] Kacprzak M., Kaczmarczyk A.: Verification of integrated IDEF models; Journal of Intelligent Manufacturing, 17, 5, October 2006,585-596.
• [9] EDT - Estelle Development Toolset. Institut Nationale des Telecommunications, Evry, France, 1999.
• [10] Vernadat F. B.: Enterprise Modeling and Integration; Chapman & Hall (1996).
• [11] Kacprzak M., Kaczmarczyk A.: Integration of particular models of enterprises and business; IFIP th Working Conference on Virtual Enterprises, September 2006, Helsinki.