SPECIFICATION, COMPOSITION AND PROVISION OF TRUSTWORTHY CONTEXT-DEPENDENT SERVICES
Naseem Ibrahim · Spectrum Research Repository (Concordia University) · 2012
Ubiquitous computing opened big markets for service provision and consumption bringing benefits for both service providers and consumers.At the same time, it introduced many challenges for developers, such as providing flexible contracts and measurable proofs that assure consumers about the trustworthiness of services.Current approaches for the specification, discovery, and provision of services have not met these challenges.They do not realize the essential relationship between the service contract and the conditions in which the service can guarantee its contract.Moreover, they do not use any formal methods for specifying services, contracts, and compositions.Without a formal basis it is not possible to justify through a rigorous verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions.This thesis makes three I gratefully acknowledge the guidance, invaluable advice, and earnest support of my supervisor and mentor Dr. Vangalur Alagar.I learned from him not only much of what I know about research, but also the importance of being committed, caring and supportive to students.I was truly privileged to be one of his students.I would also like to express my appreciation to my co-supervisor Dr. Mubarak Mohammad