{"date_updated":"2022-01-06T07:03:55Z","intvolume":"        25","language":[{"iso":"eng"}],"series_title":"Electronic Communications of the EASST","publication":"Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)","abstract":[{"text":"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.","lang":"eng"}],"title":"Towards Generalizing Visual Process Pattern","year":"2009","author":[{"id":"1737","first_name":"Christian","full_name":"Soltenborn, Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227"},{"full_name":"Engels, Gregor","last_name":"Engels","id":"107","first_name":"Gregor"}],"user_id":"14955","date_created":"2019-03-06T16:20:31Z","_id":"8435","status":"public","department":[{"_id":"66"}],"publisher":"European Association of Software Science and Technology","volume":25,"type":"conference","citation":{"ama":"Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>. Vol 25. Electronic Communications of the EASST. European Association of Software Science and Technology; 2009.","bibtex":"@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} }","ieee":"C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,” in <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>, 2009, vol. 25.","short":"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.","apa":"Soltenborn, C., &#38; Engels, G. (2009). Towards Generalizing Visual Process Pattern. In <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i> (Vol. 25). European Association of Software Science and Technology.","mla":"Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>, vol. 25, European Association of Software Science and Technology, 2009.","chicago":"Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process Pattern.” In <i>Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)</i>, Vol. 25. Electronic Communications of the EASST. European Association of Software Science and Technology, 2009."}}