Sciweavers

6079 search results - page 815 / 1216
» Aspect-Oriented Process Engineering
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
SIGSOFT
2004
ACM
16 years 7 months ago
Merging partial behavioural models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
Marsha Chechik, Sebastián Uchitel
WWW
2007
ACM
16 years 7 months ago
C-ODO: an OWL Meta-model for Collaborative Ontology Design
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
Aldo Gangemi, Jos Lehmann, Valentina Presutti, Mal...
KBSE
2007
IEEE
16 years 1 months ago
Ensuring consistency in long running transactions
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
Jeffrey Fischer, Rupak Majumdar
ROMAN
2007
IEEE
175views Robotics» more  ROMAN 2007»
16 years 1 months ago
BuildBot: Robotic Monitoring of Agile Software Development Teams
Abstract - In this paper, we describe BuildBot, a robotic interface developed to assist with the continuous integration process utilized by agile software development teams. BuildB...
Ruth Ablett, Ehud Sharlin, Frank Maurer, Jörg...