54 search results - page 7 / 11 » A Hybrid Approach for Business Process Verification |
FMCO
2009
Springer
13 years 4 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...
BPM
2006
Springer
13 years 10 months ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
FM
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
CAISE
2006
Springer
13 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...