Sciweavers

2562 search results - page 259 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
GROUP
1999
ACM
15 years 11 months ago
From description to requirements: an activity theoretic perspective
This paper demonstrates how activity theoretic concepts can be used in conjunction with an ethnographically informed approach to derive requirements on a work situation. We presen...
Phil Turner, Susan Turner, Julie Horton
BIRTHDAY
2009
Springer
15 years 10 months ago
Enhancing Tropos with Commitments
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
Pankaj R. Telang, Munindar P. Singh
FUIN
2006
78views more  FUIN 2006»
15 years 6 months ago
Resource-Constrained Workflow Nets
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 4 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
PODS
2003
ACM
158views Database» more  PODS 2003»
16 years 6 months ago
Computing full disjunctions
Full disjunctions are an associative extension of the outerjoin operator to an arbitrary number of relations. Their main advantage is the ability to maximally combine data from di...
Yaron Kanza, Yehoshua Sagiv