  In this paper we present a formal framework for analysis and optimisation of
the requirements specifications of systems developed to apply in several
countries. As different countries typically have different regulations/laws as
well as different cultural restrictions, the corresponding specific
requirements might differ in each particular case. Our framework provides a
basis for (1) systematic and formal analysis of the diversity and
interdependencies within the sets of the requirements, to avoid non-compliance,
contradictions and redundancies; (2) corresponding systematic process for
change management in the case of global system development.
