Activity diagrams: a formal framework to model business processes and code generation

Activity Diagram is an important component of the set of diagrams used in UML. The OMG document on UML 2.0 proposes a Petri net based semantics for Activity Diagrams. While Petri net based approach is useful and interesting, it does not exploit the underlying inherent reactive behaviour of activity diagrams. In the first part of the paper, we shall capture activity diagrams in synchronous language framework to arrive at executional models which will be useful in model based design of software. This also enables validated code generation using code generation mechanism of synchronous language environments such as Esterel and its programming environments. Further, the framework leads to scalable verification methods. The traditional semantics proposed in OMG standard need enrichment when the activities are prone to failure and need compensating actions. Such extensions are expected to have applications in modelling complex business processes. In the second part of the paper, we propose an enrichment of the UML Activity Diagrams that include compensable actions. We shall use some of the foundations on Compensable Transactions and Communicating Sequential Processes due to Tony Hoare. This enriched formalism allows UML Activity Diagrams to model business processes that can fail and require compensating actions

Proof theory for exception handling

in a tasking environmen

cmUML - A UML based framework for formal specification of concurrent, reactive systems

Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurrency aspects. Though UML includes action semantics, its higher level constructs and object semantics are inconsistent. Motivated by Lamport's approach, this paper proposes a UML based specification framework 'cmUML' ('cm' for concurrent modules) for formal specification of concurrent, reactive systems without object level diagrams and OCL. The framework integrates higher level diagrams of UML and addresses various concurrency issues including exception handling. It combines UML-RT and UML// SPT profile as the latter defines a core package for concurrency and causality. Further the framework includes the characteristic safety and liveness aspects of concurrent systems. The proposed framework is in contrast with existing approaches based on low level primitives (semaphore, monitors). The paper includes several specification examples validating the proposed framework

Análisis de las Estrategias Metodológicas implementadas por el docente en el desarrollo del proceso de enseñanza- aprendizaje en la disciplina de Geografía e Historia de Nicaragua y su Didáctica en los alumnos/as de Primer año “B” del turno regular de Formación Inicial Docente en la Escuela Normal Central de Managua Alesio Blandón Juárez durante el I semestre del Curso Escolar 2016

El presente trabajo de investigación tiene como finalidad analizar la efectividad que tienen las Estrategias Metodológicas implementadas por el docente en el desarrollo del proceso de enseñanza- aprendizaje en la disciplina de Geografía de Nicaragua y su Didáctica en los alumnos/as de Primer año “B” del turno regular de Formación Inicial Docente en la Escuela Normal Central de Managua Alesio Blandón Juárez durante el I semestre del Curso Escolar 2016. Dicho trabajo de investigación tiene un enfoque naturista o cualitativo, es una vía de transformación social, a través de la cual el ser humano descubre la realidad que le rodea, determina los medios y procedimientos para actuar sobre ella y transformarla de acuerdo a una intensión social. Los procesos de investigación cualitativa, tienen como finalidad primordial la generación y construcción de conocimientos que contribuyen al desarrollo social y personal de cada uno de los miembros de una comunidad. La fase de recolección de los datos de la investigación desarrollada, se realizó de dos formas: una información que se recogió mediante la observación directa del comportamiento de los informantes claves y una información que se obtuvo mediante la interrogación de algunos informantes claves. Para ello, primeramente el investigador realizo una inmersión en el campo de trabajo, con el propósito de identificar los lugares adecuados para recoger y producir la información necesaria y requerid