Tesis doctoral de álvarez Palomo José María
El presente trabajo propone una metodología de desarrollo de sistemas de tiempo real que hace un énfasis especial en la consideración de los requisitos no funcionales característicos de este tipo de sistema como los requisitos temporales, la concurrencia, la asignación de prioridades o la interacción con dispositivos físicos. la metodología toma elementos de otras ya existentes, como somt y octopus y propone mecanismos propios para solventar parcialmente problemas como el paso del modelo de objetos al modelo de proceso y la asignación de prioridades. La metodología se divide en cuatro fases divididas en dos áreas distintas, la de los aspectos funcionales y los no funcionales. Durante toda la metodología se usa orientación objetivo y uml. para aprovechar las ventajas de los métodos formales, como simulación, validación y generación de códigos se propone una semántica formal para parte de los aspectos dinámicos de uml, concretamente las acciones y las máquinas de estados. la semántica propuesta se basa en metamodelado y en el lenguaje mml. En ellas se distingue entre los la sintaxis abstracta y el dominio semántico. Los elementos válidos de ambos conjuntos se definen mediante diagramas de clases, de los que han de ser instancias válidas, y restricciones expresadas en el lenguaje funcional ocl. Los elementos de ambos conjuntos están relacionados entre si a través de la semántica, que implica una relación de uno (en la sintaxis abstracta, el extremo «of») a muchos (en el dominio semántico, el extremo «instances»). con este esquema, se ha definido una semántica para acciones y ejecuciones, con una jerarquía de clases para los diferentes tipos de acciones y ejecuciones, en el primer nivel de esa jerarquía se distinguen acciones primitivas y compuestas. Una acción se define como un procedimiento computacional que modifica el estado de un elemento del sistema y las ejecuciones son ocurrencias individuales de las acci
Datos académicos de la tesis doctoral «Desarrollo de software para sistemas de tiempo real basado en uml. un enfoque formal basado en metamodelado«
- Título de la tesis: Desarrollo de software para sistemas de tiempo real basado en uml. un enfoque formal basado en metamodelado
- Autor: álvarez Palomo José María
- Universidad: Málaga
- Fecha de lectura de la tesis: 05/05/2006
Dirección y tribunal
- Director de la tesis
- Manuel Díaz Rodríguez
- Tribunal
- Presidente del tribunal: José María Troya linero
- José María Drake moyano (vocal)
- Antonio Brogi (vocal)
- Juan Manuel Murillo rodriguez (vocal)