The research work of Wil van der Aalst, Arthur ter Hofstede, Bartek Kiepuszewski, and Alistair Barros has resulted in the identification of 21 patterns that describe the behavior of business processes. This paper reviews how two graphical process modeling notations, tShe BPMN Business Process Diagram from the Business Process Management Initiative (BPMI), and the UML 2.0 Activity Diagram from t...

As a form of accountability in carrying out its duties, functions, and authority, a government agency must prepare a budget and work plan. The budgeting process in many government agencies utilizes manual processes with various documents, resulting in long processing time, numerous errors, and difficulty in data searching. Furthermore,the lack of data integration interferes with the need to mee...

It is important that all those who use representations of a system during the development process can clearly understand the representations that are used. Research has shown that structure plays an important role in whether a diagrammatic representation may be readily understood. In this paper we present the results of a study where two different approaches were taken to the evaluation of two ...

This paper presents an approach for specifying reusable aspect models that define structure (using class diagrams) and behavior (using sequence diagrams). The high degree of reusability of the aspect models is demonstrated by modeling the design of 8 inter-dependent aspects of the AspectOptima case study. Based on this experience, several modeling language features that we deem essential to sup...

In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and completeness of a UML model. This problem is addressed in this report by integrating the information specified in class and statechart diagram...

The early stages of software development are increasingly supported by objectoriented analysis and design (OOA/OOD) techniques. Recent methodologies suggest to combine Jacobson’s use case analysis with modelling techniques for class/object structure, object behaviour and process interaction. However, the choice and definition of objects and classes in the domain space is not supported by either...

In this article, we introduce a new approach for analyzing UML designs to detect the inconsistencies between multiple state diagrams and sequence diagrams. The Super State Analysis (SSA) identifies the inconsistencies in super states, single step transitions, and sequences. Because SSA considers multiple UML state diagrams, it discovers inconsistencies that cannot be discovered when considering...

We present a rigorous mathematical analysis of a discrete dynamical system modeling plant pattern formation. In this model, based on the work of physicists Douady and Couder, fixed points are the spiral or helical lattices often occurring in plants. The frequent occurrence of the Fibonacci sequence in the number of visible spirals is explained by the stability of the fixed points in this system...

Abstract—The threat modeling process starts with the phases of identifying critical assets, creating an architecture overview, and decomposing to identify possible points of attack. Data flow diagrams and sequence diagrams are used in this process. This paper proposes an alternative flow-based methodology for building an architectural map for the system. It provides a high-level methodology for...