Towards Generalizing Visual Process Pattern
C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association of Software Science and Technology, 2009.
Download
No fulltext has been uploaded.
Conference Paper
| English
Department
Abstract
Visual Process Pattern (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models (with Activities being one possible description language). In the VPP approach, a visual pattern is translated into an LTL formula, which can then be verified against a transition system describing the behavior of the Activity under consideration. In this paper, we aim at generalizing VPP. We show how to formulate patterns more generally, using either concrete or abstract syntax of the behavioral model under consideration. Additionally, we describe how these more general patterns can be verified against a model’s behavior.
Publishing Year
Proceedings Title
Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)
forms.conference.field.series_title_volume.label
Electronic Communications of the EASST
Volume
25
LibreCat-ID
Cite this
Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European Association of Software Science and Technology; 2009.
Soltenborn, C., & Engels, G. (2009). Towards Generalizing Visual Process Pattern. In Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA) (Vol. 25). European Association of Software Science and Technology.
@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25}, booktitle={Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association of Software Science and Technology}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, collection={Electronic Communications of the EASST} }
Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” In Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), Vol. 25. Electronic Communications of the EASST. European Association of Software Science and Technology, 2009.
C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,” in Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), 2009, vol. 25.
Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), vol. 25, European Association of Software Science and Technology, 2009.
Google Scholar