Sciweavers

21490 search results - page 408 / 4298
» Business Process Modeling
Sort
View
AMAST
2006
Springer
15 years 7 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
WSC
2000
15 years 5 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
ICEBE
2005
IEEE
139views Business» more  ICEBE 2005»
15 years 9 months ago
Modeling and Reasoning about Uncertainty in Context-Aware Systems
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...
Binh An Truong, Young-Koo Lee, Sungyoung Lee
105
Voted
CP
2005
Springer
15 years 9 months ago
Modeling Constraint Programs with Software Technology Standards
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Matthias Hoche, Stefan Jähnichen
144
Voted
BPM
2006
Springer
140views Business» more  BPM 2006»
15 years 7 months ago
Understanding Interdependence in Enterprise Systems: A Model and Measurement Formalism
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...
Ronald E. Giachetti