2025 search results - page 154 / 405 » Minimal-Cut Model Composition |
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
FM
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
IEEESCC
2006
IEEE
14 years 3 months ago
2006
IEEE
Business process management in service-oriented computing (SOC) environments poses special challenges. In particular, SOC environments are dynamic, thereby requiring frequent chan...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
ATVA
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...