Proposal of formal verification of selected BPMN models with alvis modeling language

Studies in Computational Intelligence

Volumn 382, Issue , 2011, Pages 249-255

  Szpyrka, Marcin ^a   Nalepa, Grzegorz J ^a   Ligȩza, Antoni ^a   Kluza, Krzysztof ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 81355123289     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-24013-3_26     Document Type: Article

References (7)

1. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
2. Nalepa, G.J., Bobek, S., Ligěza, A., Kaczor, K.: HalVA - rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Pasckhe, A. (eds.) RuleML2011 - International Symposium on Rules, Lecture Notes in Computer Science, Springer, Heidelberg (accepted for publication 2011)
3. Nalepa, G.J., Kluza, K., Ernst, S.: Modeling and analysis of business processes with business rules. In: Beckmann, J. (ed.) Business Process Modeling: Software Engineering, Analysis and Applications, Business Issues, Competition and Entrepreneurship. Nova Science Publishers (to be published, 2011)
4. Nalepa, G.J., Ligěza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35-53 (2010)
5. OMG: Business Process Model and Notation (BPMN): Ftf beta 1 for version 2.0 specification. Tech. Rep. dtc/2009-08-14, Object Management Group (2009)
6. Szpyrka, M., Matyasik, P., Mrówka, R.: Alvis - modelling language for concurrent systems. In: Bouvry, P., González-Vélez, H., Kolodziej, J. (eds.) Intelligent Decision Systems in Large-Scale Distributed Environments. SCI, vol. 362, pp. 315-341. Springer, Heidelberg (2011)
7. White, S.A., Miers, D.: BPMNModeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point (2008)