Sciweavers

12670 search results - page 117 / 2534
» Requirements Modeling
Sort
View
BPM
2010
Springer
155views Business» more  BPM 2010»
15 years 3 months ago
PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
Christoph Ringelstein, Steffen Staab
GI
2009
Springer
15 years 7 months ago
A Domain Specific Language for Project Execution Models
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
Eugen Wachtel, Marco Kuhrmann, Georg Kalus
124
Voted
GI
2009
Springer
15 years 11 days ago
Towards a Reference Model for the LifeWatch ICT Infrastructure
: The LifeWatch Reference Model provides the basis for an interoperable ICT infrastructure for European biodiversity research building on standards whenever feasible. Distinguishin...
Vera Hernández Ernst, Axel Poigné, J...
92
Voted
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
15 years 6 months ago
Virtualization of Organizations: Consequences for Workflow Modeling
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
Wolfgang Ortner, Christian Stary
132
Voted
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 7 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...