The paper presents formalization of BPMN notation by means of Language of Temporal Ordering of Observational Behaviour LOTOS. The paper consists mapping of elements of BPMN notation into LOTOS behavior expressions. The LOTOS semantic is used subsequently to analyze transformations of BPMN processes during evolution of Service-Oriented Architecture system that is represented in BPMN notation.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.