2558 search results - page 112 / 512 » Model Composition Contracts |
121
Voted
RULEML
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
137
click to vote
MANSCI
2010
14 years 11 months ago
2010
Businesses often need to face the problem of providing incentives for employees to work together effectively on projects that develop over time. This paper derives the optimal con...
142
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
145
Voted
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
153
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...