Abstract
Software that impact our lives are embedded in the environment in which we act and hence our security and safety are dependent on its flawless functioning. An assessment of dependability of such embedded software systems includes an assessment of the process to develop the system and the system’s observable properties. Dependability criteria depend on the domain in which the software system is to serve. Thus, it should be formulated from domain concepts. Concepts in the domain should be analyzed to construct components. A component of the system may function as expected in one context of application and may fail to function as expected in another context. The system is dependable if the services resulting from every interaction between system components satisfy the dependability criteria in every context of operation. This paper explores the roles of concept analysis and context in determining dependability criteria at the domain level, the role of domain models in an automatic derivation of components and component-based systems, and the integrated role of context and components in the construction of context-aware and service-oriented systems.
This research is supported by a Research Grant from Natural Sciences and Engineering Research Council of Canada.(NSERC)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17(3), 55–72 (1996)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Carnap, R.: Meaning and Necessity. Chicago University Press (1947)
Christensen, S.R.: Software reuse initiatives at lockheed. CrossTalk 8(5), 26–31 (1995)
Clark, H.H., Carlson, T.B.: Context for comprehension. In: Long, J., Baddeley, A. (eds.) Attention and Performance IX, pp. 313–330. Lawrence Erlbaum Associates, Hillsdale (1981)
Dowty, D., Wall, R., Peters, S.: Introduction to Montague Semantics. Studies in Linguistics and Philosophy, vol. 11. Springer, Heidelberg (1980)
Franklin, M.J.: Challenges in ubiquitous data management. In: Informatics - 10 Years Back. 10 Years Ahead, pp. 24–33. Springer, Heidelberg (2001)
Ganter, B., Wille, R.: Formal Concept Analysis, Mathematical Foundations. Springer, Heidelberg (1999)
Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: Owl 2: The next step for owl. Web Semantics: Science, Services and Agents on the World Wide Web 6(4), 309–322 (2008)
Jackson, D., Thomas, M., Millett, L.: Software for dependable systems: Sufficient evidence? Technical report, Committee on Certifiably Dependable Software Systems, National Research Council (2007)
McCarthy, J., Buvac, S.: Formalizing context (expanded notes). Technical report (1994)
Mohammad, M., Alagar, V.: TADL - an architectural description language for trustworthy component-based systems. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol. 5292, pp. 290–297. Springer, Heidelberg (2008)
Mohammad, M.S.: A Formal Component-Based Software Engineering Approach for Developing Trustworthy Systems. Phd thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada (2009)
Neighbors, J.M.: The Draco approach to constructing software from reusable components. IEEE Transactions of Software Engineering 10(5), 564–574 (1984)
Oxford University (Oxford english dictionary), http://www.oed.com/
Shortliffe, E.H.: Computer-Based Medical Consultations: MYCIN. Elsevier, Amsterdam (1976)
Stanford University: Protege. Stanford University and University of Manchester (2009), http://protege.stanford.edu/
Thomason, R.H.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press (1974)
Wan, K.: Lucx: Lucid enriched with context. Phd thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alagar, V., Mohammad, M., Wan, K. (2010). The Role of Concept, Context, and Component for Dependable Software Development. In: Kwuida, L., Sertkaya, B. (eds) Formal Concept Analysis. ICFCA 2010. Lecture Notes in Computer Science(), vol 5986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11928-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-11928-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11927-9
Online ISBN: 978-3-642-11928-6
eBook Packages: Computer ScienceComputer Science (R0)