68 search results - page 11 / 14 » Model Checking of Security-Sensitive Business Processes |
80
Voted
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
78
Voted
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
89
Voted
FMCO
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
83
Voted
ISIM
2007
15 years 1 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
84
Voted
ADC
2004
Springer
15 years 5 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...