LPPO

AcronymDefinition
LPPOLutheran Public Policy Office
LPPOLandelijk Platform Preventie Ouderen (Dutch: Dutch Elderly Depression Prevention Association)
LPPOLorri Painter Peacock Open (Golf Tournament, California)
LPPOLegal Policy and Planning Office (Ministry of Justice; Portugal)
LPPOLicentiate, Professional Photographers of Ontario
References in periodicals archive ?
La LPPO se utiliza como mecanismo de formalizacion y se define como la parte de la logica en la que se unen el calculo proposicional y el calculo de predicados, con lo cual es posible evaluar expresiones utilizando terminos, operadores, reglas de inferencia y cuantificadores (Ramirez y Cabrera, 2006).
Por estas razones y por la cercania que tiene con el lenguaje natural, la logica de predicados de primer orden es un lenguaje confiable para formalizar UML, partiendo de los diagramas como una representacion grafica de requisitos de sistemas reales y la LPPO como una representacion logica de esos requisitos.
Shroff y France (1997) realizan la formulacion del diagrama de clases utilizando Z, una notacion de especificacion formal basada en los conceptos matematicos de LPPO y teoria de conjuntos.
REPRESENTACION DE LAS PRIMITIVAS CONCEPTUALES DE UML MEDIANTE LPPO A PARTIR DE UN-LENCEP
2 en LPPO y las reglas de conversion desde UN-Lencep esas primitivas se proponen a continuacion.
1 Representacion en LPPO del lenguaje controlado UN-Lencep.
2 Representacion en LPPO de las primitivas conceptuales de UML 2.
2, representadas en logica de predicados de primer orden a partir de la representacion en LPPO de un discurso del interesado expresado en UN-Lencep.