La seguridad jurídica y su aplicación en la ejecución de los contratos de concesión de servicios de telefonía

El propósito de este trabajo es entender cómo debe aplicarse la seguridad jurídica en la ejecución de los contratos de concesión otorgados a las operadoras de servicios de telefonía para no afectar a características ontológicas del derecho como el ius variandi y a otros valores jurídicos, debido a que considero existe una propensión a interpretar este valor “seguridad jurídica” como sinónimo de inmovilidad del Derecho, lo cual puede afectar otros valores como la justicia y el bien común, los que más bien deben realizarse en virtud de una eficiente aplicación de la seguridad jurídica. Para conseguir este propósito en los cuatro capítulos que conforman el presente documento, se identificará las corrientes de pensamiento que estudian los valores jurídicos y dentro de ellos la seguridad jurídica, se determinará la naturaleza de los contratos de concesión para la prestación de servicios de telefonía en el Ecuador; se establecerá los efectos del quiebre de la seguridad jurídica en la ejecución de un contrato de concesión; y se estudiará la Confianza Legítima como principio que surge ligado a la materialización de la seguridad jurídica en un Estado Social de Derecho o Constitucional de Derechos, como el modelo actual del Ecuador. El trabajo de investigación se apoya en fuentes documentales provenientes de la doctrina, la jurisprudencia y el ordenamiento jurídico histórico y vigente.

Diseño de un prototipo de software para control en línea de tráfico telefónico en CDRs registrados por un softswitch, para Ecuador

El presente trabajo de Tesis, se enfoca en las nuevas tecnologías utilizadas por las empresas de telecomunicaciones para proveer el servicio de tráfico internacional, haciendo énfasis en los switches de nueva generación (Softswitch), sus potencialidades y la forma de registrar la información detallada de las llamadas telefónicas internacionales CDRs, que son el insumo más importante para el análisis del comportamiento del tráfico telefónico internacional a nivel de Operadores internacionales, rutas de interconexión física e IPs utilizadas para la conexión lógica; entre otras. Se hace también un análisis de la información contenida en un CDR, información que permite determinar el comportamiento del tráfico, y es utilizada a demás para la facturación a los clientes finales y para realizar el proceso de compensación con los operadores internacionales, y para el control de Fraude. Finalmente se hace un estudio de la metodología para desarrollo de software basada en prototipos, la cual es empleada para realizar la implementación de un prototipo informático que permite realizar el análisis de tráfico, y la determinación de posibles indicios de fraude que pueda estar presente en la Red de Telefonía Fija. Para el desarrollo del prototipo se definen las características de un sistema informático que permita mantener un control detallado del tráfico que cursa por la red NGN y es registrado en el Softswitch. El producto final del presente trabajo de tesis es un prototipo de software que consta de dos partes, un módulo de Pseudo-Mediación y otro módulo de Análisis de iiiinformación y configuración. El software desarrollado es funcional y de hecho esta en depuración para ser puesto en producción en una empresa de Telecomunicaciones. La experiencia de la realización del prototipo finalmente permite emitir algunas políticas que deben ser tomadas en cuentas por las empresas de telecomunicaciones al momento de tomar la decisión de desarrollar o comprar una herramienta para control de tráfico.

Análisis del desarrollo del mercado de telefonía fija local en el Ecuador 2000-2007

La apertura del mercado de las telecomunicaciones en el Ecuador se inicia en el año 1995 cuando se reforma la Ley Especial de Telecomunicaciones para permitir la privatización de las telefónicas locales; esta reforma fue guiada y asesorada por el Banco Mundial. Si bien la privatización fracasó, se siguió el camino hacia la apertura del mercado. Los principales objetivos de la intervención del Estado en un sector de la economía son solucionar los problemas del mercado, mejorar la eficacia económica y obtener mejores servicios para los usuarios. Es así que considerando la necesidad de mejorar la calidad de los servicios y con intención de tener mejores tarifas, de conformidad con el marco legal vigente a partir del año 2000, en el país los servicios de telecomunicaciones se prestan en un régimen de libre competencia. Hasta la diciembre de 2007, el Estado había otorgado 10 concesiones de telefonía fija local; sin embargo, no se ha efectivizado la competencia, el mercado en su gran mayoría sigue en manos de los operadores establecidos y las tarifas y los servicios ofrecidos se han mantenido sin mayores cambios, los usuarios no han sentido el efecto de la competencia. En este trabajo se analizan las causas de esta falta de desarrollo de la telefonía fija local y, de manera especial, la incidencia de la operación de los operadores establecidos todos estatales. Para este efecto se estudiará el marco teórico de la competencia, se revisará el contexto en el que se ha desarrollado el mercado de la telefonía fija local, se analizará cada uno de los aspectos de la competencia, para finalmente establecer en base a un trabajo de campo, el estado de este mercado y los posibles servicios sustitutos.

Reestructuración del proceso de instalación de un sitio celular de una empresa de telefonía celular

En esta tesis se aborda uno de los temas centrales de las empresas actuales, como es la Calidad Total, y el control de los procesos como uno de los factores fundamentales para la consecución de la misma. De ahí que el tema central sobre el cual gira la tesis, es el análisis de un proceso en particular, de una empresa de telefonía celular. En el capítulo 1 se revisan los conceptos y estándares de Calidad Total, considerando aquellos incentivos o premios que motivan a las empresas a seguir por el camino de la calidad, y la certificación ISO como una guía a la cual recurren cada vez más las empresas. En el capítulo 2 se revisa la definición y demás conceptos relacionados con los procesos de la empresa, destacándose los indicadores para la cuantificación de los procesos y los métodos estandarizados para la diagramación de los mismos. El capítulo 3 aborda de lleno el proceso de “Instalación de un sitio celular” de una empresa de telefonía celular. Se realiza un análisis de las falencias del proceso actual y las consecuencias en la productividad y calidad del servicio ofrecido por la empresa. El capítulo 4 presenta una reestructuración del proceso estudiado, eliminándose las falencias del proceso original e introduciéndose modificaciones que permitan garantizar la eficiencia del mismo. El capítulo 5 presenta las conclusiones y recomendaciones obtenidas del desarrollo de la tesis.

Evaluación del sistema de control interno de una empresa de servicios a través de una auditoría integrada

"Telecomunicaciones Internacionales Inc." es una empresa con sede en los Estados Unidos que ofrece servicios de telefonía celular a través de sus subsidiarias localizadas en más de 80 países a nivel mundial. A finales del año 2007, la Junta General de accionistas, tomó la decisión de negociar las acciones de la Compañía en la bolsa de valores de Nueva York (NYSE) con el objetivo de acceder a nuevas fuentes de financiamiento que permitan el desarrollo de una serie de proyectos destinados a mejorar la participación de la empresa en el competitivo y exigente mercado de las telecomunicaciones. Debido a los continuos escándalos corporativos suscitados a inicios de los años 2000 los cuales involucraron a grandes corporaciones la normativa y las entidades de control que regulan a las empresas públicas (aquellas que cotizan en bolsa) es muy rigurosa. Por lo tanto, la decisión de negociar las acciones de "Telecomunicaciones Internacionales Inc." en la bolsa trajo consigo una serie de implicaciones y requerimientos, cuyo impacto afecta tanto a la Casa Matriz como a las subsidiarias (entre ellas Telecomunicaciones del Ecuador S.A.). Uno de los principales requerimientos que se realiza a las empresas que cotizan sus acciones en bolsa consiste en la presentación del informe de un auditor independiente que evalúe y emita una opinión, no sólo acerca de la razonabilidad en la presentación de los estados financieros, sino también de la eficacia del ambiente de control interno de la empresa (auditoría integrada). El presente trabajo de investigación está enfocado en la sucursal "Telecomunicaciones del Ecuador S.A.” y pretende evaluar (tomando como base la metodología COSO ERM) la eficacia del control interno para evitar, persuadir o en su defecto identificar eventos de fraude y ofrecer una seguridad razonable acerca de la fiabilidad de la información financiera generada por la compañía. Adicionalmente, se pretenden proponer al Gobierno Corporativo de la empresa recomendaciones que permitan mejorar los controles en los procesos significativos para que el informe genere valor agregado y no simplemente se limite al simple cumplimiento de los requerimientos impuestos por la Ley SOX.

Análisis técnico y jurídico del servicio universal en los servicios móviles en el Ecuador

Desde hace alguno años atrás, los servicios móviles se han convertido en una herramienta indispensable en nuestras vidas, esto es una realidad de tal forma que en países desarrollados empieza a disminuir el número de teléfonos fijos, mientras que el número de teléfonos móviles sigue en aumento. Esta realidad no solo que no se presenta en nuestro país, el asunto es más crítico, los usuarios en ciertos lugares del territorio nacional no tienen otra opción para comunicarse que el teléfono móvil. Esta es la principal motivación para que en esta Tesis se plantee la necesidad de incluir obligaciones de servicio universal para las operadoras de servicios móviles en el Ecuador. La Tesis realiza un estudio de los conceptos y principios del servicio y acceso universal, así como también se ha realizado una revisión acerca de la opinión de los principales Organismos de telecomunicaciones en el mundo, a fin de conocer cuál es su posición respecto a los servicios móviles como una herramienta que promueva y extienda el servicio universal. Se ha realizado un planteamiento jurídico y técnico para promover la expansión del servicio universal, principalmente buscando aprovechar la infraestructura instalada por las operadoras móviles, pero el aporte regulatorio más importante es que a fin de que sea aplicable la propuesta es indispensable la presencia de organismo regulador fuerte y altamente capacitado para que realice los estudios necesarios y los planes a corto, mediano y largo plazo que se requieren para cumplir con éxito la tarea de llevar el servicio universal a todos los habitantes del país.

Implementación de balanced scorecard en el call center de Andinatel S.A.

La presente investigación tiene como objetivo aplicar los conocimientos adquiridos en el Programa de Maestría en Dirección de Empresas, tomando en consideración lo aprendido en las materias de Metodología de la Investigación, Procesos, Indicadores de Gestión y Estrategia Operacional a lo largo de dos años académicos. Con estos elementos la pregunta central es: ¿Es posible implementar un BSC en el Call Center de Andinatel S.A.? Es mi interés aplicar la herramienta Balanced Scorecard (BSC) en la Gerencia de Call Center de Andinatel S.A., debido a que al momento no existe en esta área un instrumento de medición de indicadores que posibilite tomar acciones de mejora; así también, al inicio de la carrera realicé investigaciones sobre como mejorar los procesos y cuales serían las alternativas de solución para satisfacer al cliente a través de este punto de contacto. Esto me ha permitido mejorar mi formación profesional presentado propuestas, mismas se han servido de aporte para lograr varios objetivos de mi Empresa en el área de estudio, la cual atiende al 70% de clientes, un promedio de 900.000 usuarios, distribuidos en 12 provincias de cobertura, maneja cerca de 6’000.000 millones de minutos al mes con la intervención de una plataforma tecnológica VoIP (voz sobre IP) y 300 agentes telefónicos que trabajan en turnos de 6 horas los 365 días del año. He solicitado a ANDINATEL S.A., lugar en donde laboro desde hace seis años, me permita realizar un estudio en una sus áreas funcionales, para lo cual utilizaré varios datos referenciales que servirán para este fin académico. La metodología Balanced Scorecard fue desarrollada por los académicos KAPLAN y NORTON de la Universidad de Harvard que consiste en organizar, difundir y controlar la ejecución de la estrategia de las organizaciones. Al concluir el presente trabajo haré uso de los resultados obtenidos en el Cuadro de Mando Integral del Call Center de Andinatel S.A. para lograr que el sistema de indicadores presentado posibilite crear un Proyecto de Mejora Continua y de esta manera aportar para la obtención de incremente de rentabilidad y satisfacción del cliente.

Diseño para la implementación de la portabilidad numérica en el Ecuador a partir del 2009

La apertura del mercado de las telecomunicaciones en el Ecuador, se desarrolló a partir del año 1995, con la reforma al marco normativo del sector que buscaba en primera instancia privatizar los servicios de telecomunicaciones en manos del Estado. A partir del año 2000, en el país se prestan los servicios de telecomunicaciones en un régimen de libre competencia; teniendo desde ese momento la operación de varios concesionarios de los servicios fijo – móvil de telecomunicaciones, tanto públicos como privados. La Constitución de la República del Ecuador, es eminentemente garantista de los derechos ciudadanos, entre ellos el derecho al acceso universal a las tecnologías de la información y comunicación, así como el reconocimiento a las personas a disponer de bienes y servicios públicos de óptima calidad; y a elegirlos con libertad. La elegibilidad es fundamental para otorgar a la portabilidad numérica como el derecho de los usuarios de los servicios de telecomunicaciones para mantener sus números telefónicos aún cuando cambien de empresa operadora, servicio o ubicación geográfica. Estamos frente al reconocimiento de un derecho, que sin duda beneficia a los usuarios de los servicios de telecomunicaciones en el Ecuador, es por ello que es importante describir la legislación y normativa ecuatoriana, antes y después de la implementación de la portabilidad numérica. Así como las consideraciones por las que la Asamblea Constituyente del Ecuador, reunida en ciudad Alfaro, Montecristi, provincia de Manabí, mediante Mandato constituyente, resolvió implementar en el Ecuador, la Portabilidad Numérica en los servicios móviles. En el presente trabajo se analizan las incidencias del derecho de portabilidad, que tienen los usuarios de los servicios móviles de telecomunicaciones; así como la legislación comparada.

Análisis y propuesta de la aplicación del balanced scorecard en una empresa de outsourcing de call center enfocada en el servicio al cliente.

Los gerentes, todos los días, se enfrentan a la difícil tarea de hacer que sus colaboradores logren los resultados esperados para apuntarle al final del período respectivo a los indicadores financieros que permitirán mostrarle a sus accionistas buenas o malas noticias dependiendo de los niveles alcanzados, pero olvidan que cuando obtienen la información financiera la misma representa en ese momento cosas del pasado. El Balanced ScoreCard1 (BSC) es un proceso con el cual a través de una metodología muy bien definida, se genera un producto final denominado Cuadro de Mando Integral. Fue diseñado por los Doctores Robert S. Kaplan y David P. Norton de la Universidad de Harvard en el primer quinquenio de los años 90 y hoy son muchas las compañías de clase mundial y algunas empresas latinoamericanas que lo han adoptado como la herramienta de gestión empresarial en tiempo real, que les ha ayudado a orientar la puesta en marcha de la estrategia y el logro de su misión; éste proceso se soporta a partir de un conjunto de indicadores de resultado con sus respectivos inductores de actuación, iniciativas estratégicas con sus planes de acción y la asignación de recursos necesarios para su implementación, con el fin de permitir canalizar las energías, habilidades, y conocimientos específicos de los colaboradores de todos los niveles de la organización, hacia la consecución de los objetivos (metas) y definición de una actuación futura superior. Esta herramienta administrativa de gestión en tiempo real, se centra en la consecución de Objetivos Estratégicos y sus respectivas medidas a partir de cuatro perspectivas, pero combinando de manera equilibrada indicadores financieros y no financieros. Aquí está la esencia del proceso, combinar activos tangibles con intangibles en la búsqueda de resultados de largo plazo de orden superior.

Relações interfirmas e emprego : estudo de uma rede de empresas em telecomunicações

Esta dissertação examina o relacionamento interfirmas e o emprego no âmbito da rede de empresas. Para tanto, selecionou-se o caso da rede de empresas liderada pela Companhia Riograndense de Telecomunicações (CRT). Foram investigadas onze empresas, situadas na Região Metropolitana de Porto Alegre e distribuídas em diferentes segmentos (instalação de centrais de comutação telefônica, cabeamento óptico e metálico e instalação de terminais telefônicos) e níveis (empresas “terceiras”, “quartas”, “quintas” e “sextas”) de prestação de serviços. Constata-se, na análise dos dados, primeiro, que a interação entre a estratégia competitiva da empresa contratante e os diferentes tipos de serviços prestados pelas empresas contratadas resulta em três tipos de relacionamento interempresas e, segundo, que as diferentes relações interfirmas e a posição das empresas nos níveis da rede implicam a existência de formas restritivas e virtuosas de uso e de gestão da força de trabalho e de condições de emprego precárias e não-precárias, ao longo da rede. A análise evidencia, pois, que a rede de empresas pode conjugar variados padrões de relacionamento interfirmas e de emprego, refutando abordagens homogeneizantes sobre as relações de trabalho - sejam as que argumentam que a externalização origina arranjos empresariais cooperativos e práticas não-precárias de emprego, sejam as que sustentam que a externalização origina arranjos de subordinação interempresas e práticas precárias de emprego, ao longo de toda a rede.

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Satisfação do usuário com as tecnologias da informação nos serviços bancários

O presente trabalho, através da interdisciplinaridade entre Sistemas de Informação e Marketing, foi desenvolvido com o objetivo de fornecer uma avaliação do grau de satisfação do cliente bancário, pessoa-física, com a utilização das tecnologias de informática e telecomunicações na realização dos serviços bancários, na cidade de Porto Alegre. Foram consideradas como tecnologias da informação os terminais de autoatendimento, Automated Teller Machines (ATMs) para saques e depósitos, cash-dispenser, terminais de depósitos, terminais de extratos e saldos e dispensadores de cheques, localizados em agências, ante-salas de agências, quiosques em locais públicos e em postos de atendimento, e centrais telefônicas com atendimento humano e URA (Unidade de Resposta Audível). O método seguido foi o proposto por ROSSI & SLONGO (1998), com duas etapas distintas, uma exploratória e a outra descritiva. Os indicadores de satisfação foram selecionados através de levantamento de dados secundários. A pesquisa foi realizada nos meses de julho e agosto 2000, nas salas de auto-serviço do Banco do Brasil. Os clientes entrevistados deveriam estar familiarizados com os serviços telefônicos da empresa pesquisada e terem realizado alguma transação nos terminais de autoatendimento. Para as análises da pesquisa, foram considerados fatores sobre postos de auto-atendimento, processamento de transações, comunicação com clientes, segurança, atendimento nas centrais telefônicas e erros relacionados a computadores. Concluiu-se que o Banco do Brasil está muito bem posicionado quanto à satisfação de seus clientes no que se refere às centrais telefônicas e auto-atendimento, ao seu site Internet Banking e à empresa como um todo. Todos com uma satisfação próxima ao nível máximo. Através de técnicas estatísticas, identificou-se que o indicador que trata de “pagamentos de contas, taxas e tributos nos terminais de auto-atendimento” recebeu o maior índice de satisfação, assim como o fator comunicação com clientes; e o indicador “agilidade na solução e problemas registrados nas centrais telefônicas” recebeu o maior índice de importância, assim como o fator postos de auto-atendimento. Assim, analisou-se, definiu-se e realizouse um modelo para avaliação da satisfação do cliente com as tecnologias da informação.

Administração pública federal: propostas para o fortalecimento do controle sobre os atos praticados e o respectivo combate à corrupção

The characteristics of the Brazilian historic context, under which the predominant social relations have developed, have led to a process of income concentration and to the political power of the dominant classes. The slavery abolishment hasn't guaranteed the people the rights secured to privileged citizens in general. Such practices were observed during historic process as the low level literacy shown by the census of 1920, the political domination of oligarchies and the military coup, all as determining factors in process of political power concentration. The social indicators and the corruption are extremely unfavorable to our country, but we wonder if that happens only in underdeveloped societies. It is possible that even the American society, even the most developed societies, under the democratic capitalism, can suffer negative consequences of some corruption in the capitalism system. Our observations have led to the perception that all democratic society must be regulated by the State in order to preserve the stability of the system. It has also been observed that it is necessary more effective popular participation in order to neutralize economic groups¿ pressure. It has also become evident the necessity of reduction of commissioned office in the federal public administration. And, finally, it is fundamental to propose an amendment to the construction that allows the Public Ministry to have access to any bank, fiscal or telephonic information of anyone that is in office: It should be called "The Law of Moral Transparency". Those proposals will only be possible if there is massive popular participation and we hope that they express our people¿s will in order to appose to those who act only to obtain private benefits.

Os possíveis efeitos da modalidade de licitação pregão em um órgão representante da administração pública direta: o exército brasileiro

Comércio eletrônico é um assunto que envolve múltiplos aspectos relacionados à utilização de infra-estrutura digital para suportar a transação de negócios. V árias são as formas de se exemplificar a aplicação de comércio eletrônico, como, por exemplo: utilização de quiosques de auto atendimento para a aquisição de refrigerantes, cartões telefônicos e café, obtenção de saldos bancários e pagamento de contas; utilização de armazenamento de dados de clientes que para fins de implantação de um programa de marketing de relacionamento; utilização de redes que interliguem organizações diversas, internamente ou externamente, para fins de otimização logística e permitir o fluxo de dados necessários à gestão das organizações Apesar das diversas possibilidades de se adotar práticas de comércio eletrônico, não se deve esperar que essas práticas sejam passíveis de serem replicadas, genericamente, por todas as organizações, pois estas diferem em sua composição, no que se trata das suas culturas, estruturas, estratégias e outros componentes. Devido ao caráter amplo do tema comércio eletrônico, este trabalho traz uma abordagem conceitual do mesmo e algumas das suas aplicações nas áreas de marketing, logística e governo eletrônico; apresenta alguns comentários sobre sistemas de informações e tecnologias de comunicação que os suportam; caracteriza as diferenças que existem entre as organizações, utilizando-se de um modelo organizacional que retrata as organizações como sendo um conjunto de forças: cultura e estrutura, estratégia, pessoas e seus papéis e tecnologia, em equilíbrio dinâmico entre si e inseridas no ambiente social, tecnológico, econômico e político e, como exemplo, infere a respeito de possíveis resultados que podem ser esperados a partir da adoção da modalidade de licitação pregão, eletrônico ou presencial, no âmbito de organizações militares do Exército Brasileiro, no que se refere à cultura, às pessoas e seus papéis e à tecnologia.

Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.