Sciweavers

220 search results - page 16 / 44
» Declarative Process Modeling in BPMN
Sort
View
ISSRE
2010
IEEE
14 years 9 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
ECAI
2004
Springer
15 years 4 months ago
Analysis of Design Process Dynamics
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
15 years 5 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai
AGI
2011
14 years 2 months ago
Extending Cognitive Architectures with Semantic Resources
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
Alessandro Oltramari, Christian Lebiere
BTW
2005
Springer
177views Database» more  BTW 2005»
15 years 4 months ago
Composing Web Services Specifications: Experiences in Implementing Policy-Driven Transactional Processes
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
Stefan Tai