Evaluation and extracting factual software architecture of distributed system by process mining techniques

The factual software architectures that are actually implemented of distributed systems do not conform the planned software architectures (Beck 2010). It happens due to the complexity of distributed systems. This problem begets two main challenges; First, how to extract the factual software architectures with the proper techniques and second, how to compare the planned software architecture with the extracted factual architecture. This study aims to use process mining to discover factual software architecture from codes and represents software architecture model in Petri Net to evaluate model by the linear temporal logic and process mining. In this paper, the applicability of process mining techniques, implemented in the ProM6.7 framework is shown to extract and evaluate factual software architectures. Furthermore, capabilities of Hierarchical Colored Petri Net implemented in CPN4.0 are exploited to model and simulate software architectures. The proposed approach has been conducted on a case study to indicate applicability of the approach in the distributed data base system. The final result of the case study indicates process mining is able to extract factual software architectures and also to check its conformance

An ontology for specifying and tracing requirements engineering artifacts and Test Artifacts

Nowadays, modern software development processes follow an iterative approach, which makes possible to start the testing of a system at early stages. This approach requires recording the requirements artifacts that specify the functionality or characteristics required by the system, and the test cases that are derived from each requirement artifact. Frequently, software development organizations employ supporting tools to create and maintain these artifacts. There exist numerous tools for supporting requirements specification activities, as well as the definition and execution of test cases. These separate tools have their own databases and metamodels. The lack of integration between these tools leads to difficulties in tracing related artifacts and obtaining useful knowledge to manage the developing process. It is necessary to understand without ambiguities the concepts used by the different tools to allow them to interoperate. This paper proposes an ontology that defines and integrates the concepts included by the metamodels of different Requirements Engineering and Testing Management supporting tools. The formalization of these concepts and their relationships in an ontology language prevents ambiguity of the concepts and permit to the tools involved to interoperate with each other, to achieve semantic consistency and the tracing of artifacts. The proposed ontology used in conjunction with a reasoner provides capabilities to infer traces that are not explicit, which makes it possible to easily maintain artifacts and associations between them. The approach facilitates backward tracing from test cases to use cases and functional requirements artifacts, obtain knowledge about the causes of a defect or a poor specification, and enable impact analysis.Fil: Roldán, María Luciana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; ArgentinaFil: Vegetti, Maria Marcela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; ArgentinaFil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; ArgentinaFil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba; ArgentinaFil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; Argentin

INTRANETI DHE PAGESAT ELEKTRONIKE NE KOMUNEN E ISTOGUT

Shfrytëzimi i përparësive të teknologjisë informative është bërë pjesë e pandashme e jetës tonë për të punuar, informuar, argëtuar etj. Një sferë e veçantë e përdorimit të teknologjisë informative është edhe e-Qeverisja e cila po gjënë vend çdo ditë në administratë për të ofruar shërbime të shpejta, të lehta e të sakta për ata që punojnë dhe për ata që i marrin shërbimet nga administrata. Komuna e Istogut në dhjetë vitet e fundit ka avancuar në masë të madhe përdorimin e teknologjisë informative dhe i ka bërë modernizimin e shërbimeve. Një prej shërbimeve elektronike në këtë komunë është edhe Sistemi për menaxhimin e brendshëm të pagesave të komunës

Desarrollo de un enfoque de trabajo para el análisis y diseño de sistemas discretos y dinámicos : Aplicación a la simulación de la demanda eléctrica de la ciudad de Salta

La reunión de las disciplinas orientadas a los problemas y las soluciones puede llevar a importantes avances en ambas áreas. Las redes de Petri (RdP) proporcionan un medio excelente para modelar aspectos concurrentes y se han extendido de muchas maneras para hacer frente a muchos problemas. Las RdP se han aplicado con éxito muchas veces a varios problemas de ingeniería de software. Sin embargo, las dos disciplinas no pasan por un período de fertilización cruzada particularmente fuerte. Este trabajo trata de analizar algunos aspectos de la ingeniería de software, señalando aspectos en los que las RdP se han propuesto o se pueden proponer como soluciones a problemas críticos. En esta tesis, se propone el desarrollo de un enfoque de trabajo para realizar el análisis y diseño de sistemas discretos, dinámicos y estocásticos. Estos sistemas, se caracterizan por estar íntimamente relacionados con restricciones temporales y concurrentes, que por las características de los modelos desarrollados por UML, no pueden ser representadas; con lo cual es necesario complementar las herramientas con otras, que permitan modelar las características antes mencionadas; una de estas, son las RdP. Una RdP es un lenguaje útil para analizar y modelar formalmente varios sistemas. Recientemente, muchas RdP dedican sus esfuerzos a mejorar y extender el poder expresivo de las RdP. Uno de estos esfuerzos es extender las RdP con conceptos orientados a objetos. Un paradigma orientado a objetos proporciona conceptos excelentes para modelar problemas del mundo real. Los conceptos orientados a objetos nos permiten construir sistemas de software de forma fácil, intuitiva y natural. Se sugieren varias RdP de alto nivel con el concepto de objetos. Estas redes no son totalmente compatibles con el concepto orientado a objetos, por lo que no pueden llamarse RdP orientadas a objetos. La sintaxis formal y la semántica del enfoque propuesto se explican en detalle, adoptando una amplia gama de características del análisis y diseño orientados a objetos. Además, este enfoque es compatible con una variedad de mecanismos de análisis, como los métodos de descomposición, red e incrementales de los sistemas en evolución, el despliegue, a un nivel más bajo de la RdP y el análisis de accesibilidad incremental para los modelos desarrollado. Por último, se demuestra la eficiencia y la utilidad del enfoque desarrollado, a partir de la aplicación del mismo al caso de estudio, esto es, la simulación que explica el comportamiento y la demanda eléctrica residencial de la Ciudad de Salta, a partir de la cantidad y tipo de artefactos presentes en cada vivienda y el comportamiento humano para el encendido y apagado de los mismos.Facultad de Informátic