In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements specification language. Using the Teleservices and Remote Medical Care (TRMCS) case study as an example, we identify and demonstrate various problems and deficiencies of UML, particularly concerning use case models and system decomposition. We also investigate whether and how the deficiencies can be overcome and how

more »

... tential alternatives could look. -2 -3. The TRMCS shall support and coordinate multiple and geographically distributed service providers. 4. The services provided by the TRMCS shall have the same level of reliability, safety, security, accessibility and medical ethics as a local service provided by humans would have. Constraints. The TRMCS shall operate on near-future network and computing infrastructures. Assumptions. The TRMCS assumes that a patient using a TRMCS service has access to a highly reliable and available telecommunications system that transmits voice and data. We assume that the following system design decisions have been taken based on the business/system requirements.