Sciweavers

1538 search results - page 195 / 308
» Business Process Modeling Notation
Sort
View
SOSE
2008
IEEE
15 years 7 months ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
81
Voted
BPM
2005
Springer
118views Business» more  BPM 2005»
15 years 6 months ago
Applying Enterprise Models to Design Cooperative Scientific Environments
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
Andrea Bosin, Nicoletta Dessì, Maria Grazia...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 10 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
BPM
2004
Springer
114views Business» more  BPM 2004»
15 years 6 months ago
Modeling Medical E-services
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...
Rainer Anzböck, Schahram Dustdar
106
Voted
EMISA
2009
Springer
15 years 7 months ago
A Survival Analysis of Application Life Spans based on Enterprise Architecture Models
Abstract: Modern enterprises face the challenge to survive in an ever changing environment. One commonly accepted means to address this challenge and further enhance survivability ...
Stephan Aier, Sabine Buckl, Ulrik Franke, Bettina ...