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

The Encyclopedia of Neutrosophic Researchers - vol. 1

This is the first volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements

Experience and Viewpoints in the Social Domain of Space Technology

This thesis is about how space technology is experienced in the social domain and how its purpose is recast from different viewpoints. The author is an artist and the approach taken foregrounds qualities of experience and viewpoint in which artists have a particular investment. This approach opens up the ways that affect, agency and authorship cross social domains that are directly and indirectly associated with the production of space technologies. A key focus is a group project led by the author that was initiated in response to the launch in October 2008 of the Chandrayaan-1 spacecraft by the Indian Space Research Organisation (ISRO). The project took place in Bengaluru, India where the spacecraft was built. Taking the ambivalence that surrounds the uses and purposes of space technologies as a starting point, a description of the spacecraft is developed from a number of viewpoints, including the mission scientists, public media and the participants of the artist-led project. The interventionist strategies of the project shed light on the ways that technologies can be accessed through their imaginaries and this has significance for large-scale technologies, such as spacecraft, for which physical access is delimited and much of the infrastructure is invisible or hidden from public view. The thesis proposes ways of reinstating missed qualities of viewpoint and experience within the affective spaces of space technology through the imperative to articulate first-person engagements with the world that is bound into artistic interpretation. What is further proposed is that by picturing the interrelations and flows of space technology in social domains through the lenses of experience and viewpoint, a 'technographic picture' is created that then becomes available as a tool with which to re-imagine spacefaring. This is a crucial addition to discussions about the interplay between science, technology and society that recognises the intimate spaces at the core of such large-scale concepts. It offers a new transdisciplinary modality that incorporates an artistic approach with which to make sense of the structurally ambivalent pursuits of spacefaring