Author:
Elgammal Amal,Turetken Oktay,van den Heuvel Willem-Jan,Papazoglou Mike
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;S. Sadiq,2007
2. Papazoglou, M., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: State of the Art and Research Challenges. Computer 40, 38–45 (2007)
3. Thao, L., Goser, K., Rinderle-Ma, S., Dadam, P.: Compliance of Semantic Constraints- A Requirements Analysis for Process Management Systems. In: 1st GRCIS 2008 Workshop, France, pp. 41–45 (2008)
4. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance Checking Between Business Processes and Business Contracts. In: 10th EDOC 2006, Hong Kong, pp. 221–232 (2006)
5. Pnueli, A.: The Temporal Logic of Programs. In: 18th IEEE Symposium on Foundations of Computer Science, Providence, pp. 46–57 (1977)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献