Mostrando 2 resultados de: 2
Subtipo de publicación
Conference Object(2)
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings of the ACM Symposium on Applied Computing(1)
Origen
scopus(2)
Formal support of process chain networks using model-driven engineering and petri nets
Conference ObjectAbstract: Business process modelling is an essential activity for competitive enterprises, as it enables documPalabras claves:ATL, Business process model, Model Transformations, model-driven engineering, Petri nets, Process chain networkAutores:Gómez-Martínez E., Juan De Lara, Marcos E., Pérez-Blanco F., Vara J.M.Fuentes:scopusSICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
Conference ObjectAbstract: In this paper we present the SICOMORo-CM project. Its main aim is to advance the state of the art inPalabras claves:Autores:Albert E., Canizares P.C., Guerra E., Juan De Lara, Marcos E., Núñez M., Román-Díez G., Vara J.M., Zanardini D.Fuentes:scopus