Designing Sociotechnical Systems with Protos

Traditional requirements engineering approaches give little emphasis on the engineering of interactions. Increasingly, the software systems of today are developed independently and integrated with each other, as in sociotechnical systems, where several technical systems sup- port the interaction between the social systems. We propose the Protos methodology as a set of refinement rules which, once applied to the stake- holder requirements, produce multiple specifications as a solution to the requirements problem of sociotechnical systems. We use the London Am- bulance System as an example domain.