This article provides a theoretical and methodological framework for supporting the matching, design, and evaluation of biomedical systems using clinical practice guidelines (CPGs) as an example. The authors argue that propositional and semantic analyses, when used as part of the system-development process, can help improve the clarity, match, and usability of CPGs by studying how guideline creators and developers represent guidelines, both mentally and in text, and how end-users understand and use them.