Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams

Autor:	Henk Jan Pels
Rok vydání:	2013
Předmět:	Process modeling Data model Database Computer science Programming language Formal specification Production control Applications of UML Process architecture Petri net computer.software_genre computer Data modeling
Zdroj:	IFIP Advances in Information and Communication Technology ISBN: 9783642403606 APMS (2)
DOI:	10.1007/978-3-642-40361-3_19
Popis:	A method to model the interaction between a production control process and an information system is presented. Colored Petri Nets are used to model the process and UML static structure. When the tokens in the internet are modeled as objects in the data model, the transitions in the process model can be specified as formal expressions over the data model. Thus the model verifies the consistency between the process and the information system and can be used as formal specification for e.g. an ERP implementation.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::72544e1c550599b7181ff95bebda4ee9 https://doi.org/10.1007/978-3-642-40361-3_19 Zobrazit plný text záznamu