In spite of the increasing sophistication and power of commercial spreadsheetpackages, we still lack a formal theory or a methodology to support the constructionand maintenance of spreadsheet models. Using a dual logical/physicalperspective, we identify four principal components that...