Log-based simplification of process models

Συγγραφείς: San Pedro Martín, Javier de, Carmona Vargas, Josep, Cortadella, Jordi

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Business process modeling, Systems engineering--Computer simulation, Enginyeria de sistemes -- Models matemàtics

Περιγραφή αρχείου: 18 p.; application/pdf

Relation: http://link.springer.com/chapter/10.1007%2F978-3-319-23063-4_30; https://hdl.handle.net/2117/87035

Διαθεσιμότητα: https://hdl.handle.net/2117/87035
https://doi.org/10.1007/978-3-319-23063-4_30

Verification and validation of UML artifact-centric business process models

Συγγραφείς: Estañol Lamarca, Montserrat, Sancho Samsó, María Ribera, Teniente López, Ernest

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació

Θεματικοί όροι: Systems engineering--Computer simulation, artifact-centric BPM UML verification validation, Enginyeria de sistemes -- Models matemàtics

Περιγραφή αρχείου: 16 p.; application/pdf

Relation: http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27; https://hdl.handle.net/2117/85189

Διαθεσιμότητα: https://hdl.handle.net/2117/85189
https://doi.org/10.1007/978-3-319-19069-3_27

Modeling And Simulation Based Systems Engineering: Theory And Practice

Συγγραφείς: Lin Zhang, Chun Zhao

Resource Type: eBook.

Θέματα: Systems engineering--Mathematical models, Systems engineering--Computer simulation

Categories: COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Systems Engineering

Formal Methods Applied to Industrial Complex Systems

Συγγραφείς: Jean-Louis Boulanger

Resource Type: eBook.

Θέματα: Industrial safety--Computer simulation, Software engineering, Systems engineering--Data processing, Systems engineering--Computer simulation, Formal methods (Computer science)

Categories: COMPUTERS / Computer Engineering

Guide to Modeling and Simulation of Systems of Systems

Συγγραφείς: Bernard Zeigler

Resource Type: eBook.

Θέματα: Systems engineering--Computer simulation

Categories: COMPUTERS / Computer Simulation

Enterprise and Organizational Modeling and Simulation

Συγγραφείς: Joseph Barjis, Tillal Eldabi, Ashish Gupta

Resource Type: eBook.

Θέματα: Systems engineering--Computer simulation--Cong, Systems engineering--Mathematical models--Cong, Management information systems--Congresses, Business--Data processing--Congresses

Categories: BUSINESS & ECONOMICS / Information Management, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Management Information Systems, COMPUTERS / Computer Simulation

Simulation Methods for Reliability and Availability of Complex Systems

Συγγραφείς: Javier Faulin, Angel A. Juan, Sebastián Salvador Martorell Alsina, Jose Emmanuel Ramirez-Marquez

Resource Type: eBook.

Θέματα: Systems availability, Reliability (Engineering), Systems engineering--Computer simulation, Engineering

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Design, Graphics & Media / CAD-CAM, SCIENCE / Physics / General

Performance measurement using systems dynamics in an SME

Συγγραφείς: Gonzalez, Leopoldo

Θεματικοί όροι: Systems engineering. Computer simulation, Small business. Management. Decision making, Plant performance. Evaluation

Περιγραφή αρχείου: application/pdf

Investigation in Engineering Leadership Using System Engineering and Virtual Reality

Συγγραφείς: Davis, Charles

Committee Members: Rabelo, Luis

Σύνδεσμος: https://stars.library.ucf.edu/etd2020/204

New architecture for heterogeneous real-time simulation

Συγγραφείς: Mathure, Mandar Anil

Committee Members: Zalewski, Janusz

Σύνδεσμος: https://stars.library.ucf.edu/rtd/1605

Extending the synthetic environment data representation and interchange specification (SEDRIS) for the representation of sensors in the synthetic environment

Συγγραφείς: Connors, Patrick Edward

Committee Members: Proctor, Michael D.

Σύνδεσμος: https://stars.library.ucf.edu/rtd/2098

Log-based simplification of process models

Συγγραφείς: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals, San Pedro Martín, Javier de, Carmona Vargas, Josep, Cortadella, Jordi

Όροι ευρετηρίου: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Business process modeling, Systems engineering--Computer simulation, Enginyeria de sistemes -- Models matemàtics, Conference report

Σύνδεσμος: https://hdl.handle.net/2117/87035
http://link.springer.com/chapter/10.1007%2F978-3-319-23063-4_30
http://link.springer.com/chapter/10.1007%2F978-3-319-23063-4_30

Verification and validation of UML artifact-centric business process models

Συγγραφείς: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing, Estañol Lamarca, Montserrat, Sancho Samsó, María Ribera, Teniente López, Ernest

Όροι ευρετηρίου: Systems engineering--Computer simulation, artifact-centric BPM UML verification validation, Enginyeria de sistemes -- Models matemàtics, Conference report

Σύνδεσμος: https://hdl.handle.net/2117/85189
http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27
http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27