Keynote Speech


Dependable Development of Service-Oriented Systems


Vasu Alagar

Department of Computer Science and Software Engineering

Concordia University, Montreal, Quebec, Canada





In this talk we give a quick overview of our current research on Dependable Service-oriented Systems Development. In particular we show how dependability criteria can be specified within a component-based service-oriented architecture (SOA) and a framework (DF) can be built to support a rigorous development of dependable service-oriented applications.

What is new? The concept of service-oriented architecture is known for a long time. However, its current status is not sufficiently mature to develop dependable systems that we need today. The new features that we need are the following:


A. formal definition of service,

B. formally defining dependability attributes for a service,

C. formalizing dependable components and systems composed with components,

D. formally defining a contract for service,

E. formal definition of context-based service,

F. formal definition of architecture incorporating the above concepts with contexts and contracts,

G. the development of tools that are necessary to achieve and certify high assurance of dependability through development, deployment and maintenance phases,and

H. a process for an orderly linking of activities and use of these tools to create a framework for the development of dependable service-oriented systems.






Dr. Alagar graduated from McGill University, Montreal in 1975 with a Ph.D. degree in Computer Science. He joined Concordia University, Montreal in 1975 and currently is a Professor Emeritus in the Faculty of Engineering and Computer Science. He has more than 120 research publications, graduated many Ph.D. students, chaired International Conferences and Workshops, and served on the Editorial Committee of journals. He is the author of two books and has edited five others. His current research interest is in Trustworthy Computing Systems Development.


Copyright @ 2009 ACADEMY PUBLISHER All rights reserved

AP Catalog Number




Proceedings published by