A '''Crosscross-Platformplatform Supportsupport Middlewaremiddleware''' (CPSM) is a software [[abstraction layer]] that guarantees the existence, and correct implementation, of a set of services on top a set of [[Platform (computing)|platforms]].<ref>{{cite web|first=Patricio|last=Zavolinsky|url=http://materias.fi.uba.ar/7500/zavolinsky-tesisdegradoingenieriainformatica.pdf|title=Abstracción en el desarrollo de software independiente de la plataforma: Análisis del proceso de desarrollo de Cross-Platform Support Middlewares (spanish)|accessdate=2008-09-25|publisher=Universidad de Buenos Aires, Argentina}}</ref>
==Formal Modelmodel==
Formally, a CPSM can be represented by the following model:
* Let <math>S</math> be the set of provided services, and <math>s_m</math> the <math>M+1</math> elements of that set, with <math>m \in [0,M]</math>.