Graphical Research Models in the Information Systems Discipline

Graphical models facilitate communicating hypothesized or tested relationships between variables and are welcome in information systems publications. However, insufficient knowledge exists about design conventions for such models, lowering their communicative effectiveness. This paper investigates how graphical research models are used in the information systems literature. Theoretically, the article bears upon the perspective of prototypicality and cognitively effective design of conceptual modeling notations. Based on an analysis of 134 research models from 589 articles in information systems journals, we tentatively demonstrate prototypical features of visual research models and outline many unique graphical variations. We develop a set of hypotheses on how prototypicality influences preferences for research models and their comprehensibility and describe how we intend to test these hypotheses empirically. A broader goal of this research is to develop an effective modeling notation for research models to support researchers in constructing unambiguous visual models for their research

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used to describe interactions in software systems. These diagrams must be verified in the early stages of software development process to guarantee the production of a reliable system. However, UML 2.0 SD lack formal semantics as all UML specifications, which makes their verification difficult, especially if we are modeling a critical system where the automation of verification is necessary. Communicating Sequential Processes (CSP) is a formal specification language that is suited for analysis and has many automatic verification tools. Thus, UML and CSP have complementary aspects, which are modeling and analysis. Recently, a formalization of UML 2.0 SD using CSP has been proposed in the literature; however, no automation of that formalization exists. In this paper, we propose an approach on the basis of the above formalization and a visual modeling tool to model and automatically transform UML 2.0 SD to CSP ones; thus, the existing CSP model checker can verify them. This approach aims to use UML 2.0 SD for modeling and CSP and its tools for verification. This approach is based on graph transformation, which uses AToM3 tool and proposes a metamodel of UML 2.0 SD and a graph grammar to perform the mapping of the latter into CSP. Failures-Divergence Refinement (FDR) is the model checking tool used to verify the behavioral properties of the source model transformation such as deadlock, livelock and determinism. The proposed approach and tool are illustrated through a case study

Reconciling a component and process view

In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to understand. We suggest a solution how to cover this gap and to reconcile component and process views on system representation: a formal framework that gives the advantage of solving design problems for large-scale component systems.Comment: Preprint, 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 201

Process Calculi Abstractions for Biology

Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by Petri Nets theory, and some other by stochastic processes. A most recent approach consists in interpreting the living entities as terms of process calculi where the behavior of the represented systems can be inferred by applying syntax-driven rules. A comprehensive picture of the state of the art of the process calculi approach to biological modeling is still missing. This paper goes in the direction of providing such a picture by presenting a comparative survey of the process calculi that have been used and proposed to describe the behavior of living entities. This is the preliminary version of a paper that was published in Algorithmic Bioprocesses. The original publication is available at http://www.springer.com/computer/foundations/book/978-3-540-88868-

A multidisciplinary survey of modeling techniques for biochemical networks

All processes of life are dominated by networks of interacting biochemical components. The purpose of modeling these networks is manifold. From a theoretical point of view it allows the exploration of network structures and dynamics, to find emergent properties or to explain the organization and evolution of networks. From a practical point of view, in silico experiments can be performed that would be very expensive or impossible to achieve in the laboratory, such as hypothesis-testing with regard to knockout experiments or overexpression, or checking the validity of a proposed molecular mechanism. The literature on modeling biochemical networks is growing rapidly and the motivations behind different modeling techniques are sometimes quite distant from each other. To clarify the current context, we present a systematic overview of the different philosophies to model biochemical networks. We put particular emphasis on three main domains which have been playing a major role in the past, namely: mathematics with ordinary and partial differential equations, statistics with stochastic simulation algorithms, Bayesian networks and Markov chains, and the field of computer science with process calculi, term rewriting systems and state based systems. For each school, we evaluate advantages and disadvantages such as the granularity of representation, scalability, accessibility or availability of analysis tools. Following this, we describe how one can combine some of those techniques and thus take advantages of several techniques through the use of bridging tools. Finally, we propose a next step for modeling biochemical networks by using artificial chemistries and evolutionary computation. This work was funded by ESIGNET (Evolving Cell Signaling Networks in Silico), an European Integrated Project in the EU FP6 NEST Initiative (contract no. 12789)

Proposal for a Reference Model for Sales Operations Planning and Aggregate Planning

Companies are increasingly adopting practices aimed at improving the quality of management, with the main purpose of enabling them to act competitively in the present market characterized by high competition and strong organizational changes. Among the improvements developed, we highlight the adoption of Enterprise Resource Planning (ERP) systems. However, the high cost of deploying and maintaining this type of technology can be a barrier for small and medium-sized enterprises (SMEs) that want to achieve such advances. Therefore, it is essential to develop a reference model of typical business planning modules to support ERP implementation, aiming at reducing time and cost in the elaboration of a particular model. In this context, the main objective of this paper is to develop a reference model from the elaboration of the processes related to Sales Operations Planning (SOP) and Aggregate Planning (AP), important modules of Production Planning and Control (PPC). The methodology used for the elaboration of this work was divided in eight sequential stages: study of the functions of SOP and AP, study of process modeling area, definition of reference model processes, choice of modeling notation, choice of modeling tool , development of the reference model, software development and results analysis. The modeling methodology employed in this work was the Business Process Model and Notation (BPMN), through the tool Bizagi Process Modeler version 3.1.0.011. The software was developed through the interface Delphi version 7.0 (Object-Pascal language) in order to apply the reference model in the support to the implementation of a business management tool. As results, from a formal documentation, the reference model proved to be a useful tool in understanding and communicating the business processes raised. It is also concluded that the implemented model is able to support the implementation of production management systems in real situations