Sciweavers

2730 search results - page 92 / 546
» An Abstract Model for Process Mediation
Sort
View
CONCUR
2000
Springer
15 years 2 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
LICS
2005
IEEE
15 years 3 months ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
BPM
2006
Springer
126views Business» more  BPM 2006»
14 years 12 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CAISE
2009
Springer
15 years 4 months ago
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services
Abstract. With the advent of Service Oriented Architecture organizations have experienced services as a platform-independent technology to develop and use simple internal applicati...
Devis Bianchini, Cinzia Cappiello, Valeria De Anto...
PROFES
2001
Springer
15 years 2 months ago
Describing Fractal Processes with UML
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...
Harald Störrle