Szczegóły publikacji

Opis bibliograficzny

Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.

Autorzy (4)

Dane bibliometryczne

ID BaDAP	62039
Data dodania do BaDAP	2011-11-10
Rok publikacji	2011
Typ publikacji	materiały konferencyjne (aut.)
Otwarty dostęp
Czasopismo/seria	Studies in Computational Intelligence

Publikacje, które mogą Cię zainteresować

fragment książki

#62042Data dodania: 10.11.2011

Proposal of representing BPMN diagrams with XTT2-based business rules / Krzysztof KLUZA, Tomasz Maślanka, Grzegorz J. NALEPA, Antoni LIGĘZA // W: Intelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 243–248. — Bibliogr. s. 248, Abstr.

Szczegóły

fragment książki

#63409Data dodania: 4.1.2012

Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods / Krzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA // W: 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — (Technical Report ; TR-2011/1). — S. 15–24. — Bibliogr. s. 24, Abstr.

Szczegóły