Catálogo de publicaciones

La Ley de Concursos y Quiebras establece un mecanismo de reconocimiento de los créditos denominado proceso de verificación, el cual tiene como propósito comprobar la existencia y monto de los créditos, como así también determinar si los mismos son quirografarios o privilegiados. El objetivo del presente trabajo es analizar particularidades de la verificación de los créditos correspondientes al Fisco, ya sea a nivel nacional, provincial y municipal. Asimismo se incluye doctrina y jurisprudencia relacionada con distintos aspectos que hacen del Fisco uno de los principales acreedores en los procesos concursales: su carácter de sujeto de derecho público y la posesión o no de prerrogativas especiales en el proceso de verificación; su presencia en la casi totalidad de los procesos concursales; la existencia de leyes con disposiciones contrapuestas a la norma concursal; la relevancia del Fisco en el conjunto de los acreedores y su papel a la hora de la obtención por parte del deudor de las mayorías necesarias para lograr el acuerdo; entre otros.

La finalidad del tema elegido, pretende plasmar en estas páginas, una síntesis de las distintas particularidades que presenta el incidente de verificación tardía. En primer término se efectuará una descripción del proceso concursal desde sus orígenes, planteando las distintas alternativas que presenta y sus aspectos generales. Se desarrollarán con amplitud algunos conceptos de las situaciones particulares que hacen al incidente, planteando las posturas doctrinarias y de jurisprudencia más relevantes. En segundo término, se abordarán cuestiones específicas que hacen al rol del síndico y su incidencia frente al proceso. A continuación se desarrollará el tema de la imposición de costas, señalando el encuadre que la Ley de Concursos y Quiebras le da a la misma. En todos los temas analizados, se seguirá una metodología de desarrollo uniforme, presentando en primer lugar el marco legal, para efectuar luego su comparación con expresiones doctrinarias y jurisprudenciales.

Las colaboraciones inter-organizacionales permiten nuevas formas de gestión basadas en la cooperación. Los sistemas de información que brindan soporte a la gestión de estas acciones de colaboración requieren definir modelos y especificaciones de procesos de negocio colaborativos (PNCs) que representan el comportamiento explícito de la colaboración. En base a técnicas formales y a los conceptos del desarrollo dirigido por modelos, en esta tesis se proponen métodos y herramientas que permiten determinar el correcto comportamiento de los modelos de PNCs y, a partir de dichos modelos, generar especificaciones de PNCs cuyo comportamiento está alineado con el de los modelos. Se propone el lenguaje formal Redes de Interacción Global (GI-Nets) y un método de transformación para definir modelos formales de PNCs con GI-Nets a partir de modelos conceptuales de PNCs. Se definen dos métodos de verificación que permiten determinar si un modelo de PNC satisface un conjunto de propiedades que determinan su correcto comportamiento. El primer método, basado en GI-Nets, propone la propiedad de Solidez de Interacción Global de una GI-Net como principal criterio de verificación. Este método permite detectar el lugar específico donde existe un bloqueo en un modelo de PNC. El segundo método, basado en anti-patrones de comportamiento, provee un enfoque para especificar en forma sistemática los anti-patrones de cualquier lenguaje de PNCs. Este método detecta el lugar de un bloqueo y determina el conjunto de elementos que lo produce. Ambos métodos pueden ser utilizados con cualquier lenguaje de PNCs y dan soporte a la verificación de PNCs con constructores complejos. Se define un método formal de transformación de modelos que permite generar en forma automática una especificación de PNC cuyo comportamiento esté alineado con el definido en el modelo conceptual del PNC a partir del cual fue generada. Esto implica que el comportamiento de la especificación será correcto si el comportamiento del modelo del PNC es correcto, y viceversa. El método se utiliza para generar especificaciones de PNCs basadas en tecnologías de servicios Web a partir de modelos conceptuales de PNCs. Finalmente, se presentan las herramientas desarrolladas para la formalización, verificación y transformación de modelos y especificaciones de PNCs, y se utilizan las mismas para evaluar y validar los métodos propuestos en la tesis.