Sciweavers

1234 search results - page 91 / 247
» An evaluation of conceptual business process modelling langu...
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 3 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
132
Voted
EWSA
2004
Springer
15 years 7 months ago
An Architecture Description Language for Mobile Distributed Systems
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
Volker Gruhn, Clemens Schäfer
104
Voted
CAISE
2009
Springer
15 years 5 months ago
Configurable Process Models: Experiences from a Municipality Case Study
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
Florian Gottschalk, Teun A. C. Wagemakers, Monique...
115
Voted
ER
2008
Springer
134views Database» more  ER 2008»
15 years 3 months ago
On Measuring Process Model Similarity Based on High-Level Change Operations
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...
Chen Li, Manfred Reichert, Andreas Wombacher
121
Voted
CAISE
2008
Springer
15 years 3 months ago
On a Quest for Good Process Models: The Cross-Connectivity Metric
Abstract. Business process modeling is an important corporate activity, but the understanding of what constitutes good process models is still rather limited. In this paper, we tur...
Irene T. P. Vanderfeesten, Hajo A. Reijers, Jan Me...