Collaboration Diagrams Research Articles

Pengembangan E- Inventory Peralatan dan Perlengkapan Sekolah Pada SMK Satmanggi Siompu

SMK Satmanggi Siompu is a private vocational high school located on Jalan Poros Siompu, Biwinapada Village, Siompu District, South Buton Regency, Southeast Sulawesi Province. The aim of this research is to understand the current inventory system, design a new system, conduct testing, and implement the system. It is hoped that the inventory information system for equipment and supplies at SMK Satmanggi Siompu can address issues related to inventory data collection and processing. The goal is to enhance performance in inventory data collection and processing. The information system encompasses hardware, software, database, and the user interface of the resulting system. The final stage of the research involves testing the software using the Black Box Testing method. The research method used is Research and Development (R&D), which aims to produce a specific product and test its effectiveness. Data collection methods are descriptive and involve using both primary and secondary data sources. The system-oriented approach uses object-oriented tools called Unified Modeling Language (UML). Analytical tools include use case diagrams, activity diagrams, sequence diagrams, collaboration diagrams, class diagrams, object diagrams, and component diagrams. The system development method uses the prototype method. The system is built using the Bootstrap framework, PHP programming language, and MySQL database

A technique for discovering BPMN collaboration diagrams

A technique for discovering BPMN collaboration diagrams

Collaboration Tiredness Aware Manufacturing Service Collaboration Incentive and Optimization

Manufacturing service collaboration (MSC) provides a low cost, high efficiency, and good quality collaboration diagram on Industrial Internet Platforms. However, some stakeholders areunwilling to participate in MSC continuously due to their short-term dissatisfaction outbursts or long-term dissatisfaction accumulation with MSC. To describe the aforementioned status of stakeholders, collaboration tiredness is first defined and its causes and impacts on MSC are analyzed. To avoid massive loss of stakeholders on the platform, it is urgent to study stimulus methods to improve their satisfaction. In this article, long-term dynamic utility models are established to depict changes in stakeholder satisfaction, including short-term utility models and long-term utility updating criteria. Then, an incentive strategy is proposed, which aims at stimulating the collaboration willingness of consumers with collaboration tiredness. Once consumers with collaboration tiredness are detected through Bayesian thresholds, utility references would be generated. Then, to reach the utility references, MSC optimization would be continuously provoked to generate new plans through the improved memetic algorithm. Finally, experiments verify the effectiveness of the proposed incentive strategy from a long-term perspective.

A BPMN-driven framework for Multi-Robot System development

Programming robotic systems is often a challenging task requiring advanced skills, especially when the goal is to ensure loosely-coupled coordination in heterogeneous Multi-Robot Systems (MRSs). Model-driven approaches for robotic system engineering have shown their benefits in facilitating the development of robots’ behavior, controllers, and system components. However, the state of the art still lacks contributions addressing crucial aspects of the model-driven approach applied to MRSs, such as developing robots’ distributed cooperation through models supporting the communication among robots.In this paper, we present a novel framework for modeling, configuring and enacting the cooperative behaviors of MRSs through collaboration diagrams as provided by the BPMN 2.0 standard. The advantages of our solution lie, indeed, in the use of BPMN, which provides easily understandable and highly expressive diagrams for representing the cooperation among distributed robots, and benefits from a wide list of supporting tools. Starting from the selection of BPMNelements, we define a set of guidelines for driving the developer in modeling an MRS mission using BPMN. The developer configures the resulting collaboration diagram to link elements in the model to the robotic middleware, ROS2 in the toolchain we implemented. Finally, the configured model is enacted by BPMN engines integrated into the ROS2 middleware run by each robot involved in the MRS, thus obtaining a fully distributed cooperation. We assess our framework’s effectiveness through experiments in simulated and real environments.

Consistent modelling of hierarchical BPMN collaborations

PurposeThis paper aims at supporting business process designers in modelling collaborative scenarios in terms of hierarchical BPMN collaboration diagrams, to enforce consistency among different hierarchical levels.Design/methodology/approachThe proposed approach is based on a set of guidelines to apply during the modelling of hierarchical diagrams. These guidelines address consistency issues related to the hiding capability provided by sub-process and call activity elements, which may obscure behaviours at inner levels, especially exchange of messages, that are inconsistent with those in other hierarchical levels. A laboratory experience validates the guidelines' effectiveness.FindingsThe paper points out the issues of hierarchical diagrams, and the lack of support in this context from the existing BPMN modelling tools. Moreover, through a laboratory experience, the paper shows the benefits carried by the proposed guidelines concerning the quality of the modelled diagrams.Practical implicationsThe proposed guidelines have been implemented in a consistency checking tool that avoids consistency errors during the modelling activity. To foster its usage, the tool has been integrated into the Eclipse BPMN modelling environment.Originality/valueThe paper, employing consistency guidelines, provides a novel solution to the weaknesses of hierarchical modelling.

RANCANGAN DAN IMPLEMENTASI SISTEM KEARSIPAN KELURAHAN PAKANSARI BERBASIS WEBSITE

<p><em>The Pakansari Village archive data media are only stored in the register book for each category. Even then, there is still a lot of data that is not stored or a lot of data is lost due to inadequate storage media. This situation becomes a problem for people who want to find data to check it. The purpose of this study was to build a website for archive data in Pakansari Village using the OOP method. The research method used is the waterfall. The design of the system has been carried out with the UML model so that it consists of context diagrams, use case diagrams, actuvuty diagrams, sequence diagrams, component diagrams, collaboration diagrams, deployment diagrams. The system has been built with the following modules: registration module, login module, blank add module, blank detail module, blank edit module, blank delete module, blank print module.</em></p>

Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS

Business Process Model and Notation (BPMN) is a standard graphical notation for modeling complex business processes. Given the importance of business processes, the modeling analysis and validation stage for BPMN is essential. In recent years, BPMN notation has become a widespread practice in business process modeling because of these intuitive diagrams. BPMN diagrams are built from basic elements. The major challenge of BPMN diagrams is the lack of formal semantics, which leads to several interpretations of the concerned diagrams. Hence, this work aims to propose an approach for checking BPMN collaboration diagrams to guarantee some properties of smooth functioning of systems modeled by BPMN notation. The verification approach used in this work is based on model checking techniques. The approach proposes as a first step a formal semantics of the collaboration diagrams in terms of the formal language DD-LOTOS, i.e., a phase of the transformation of collaboration diagrams into DD-LOTOS. This transformation is guided by applying the inference rules of the formal semantics of the DD-LOTOS formal language, and we then use the UPPAAL model checker to check the absence of deadlock, safety properties, and liveness properties.

Automatic integration testing through collaboration diagram and logic contracts

Component-based software development can effectively increase software development efficiency through component reuse. Integration testing is an important technical means to guarantee the quality of software systems composed of components. Aiming at the problem that the scale of software systems is getting larger and larger, and manual design of test cases is costly and difficult, we propose an automatic approach for integration test cases generation based on collaboration diagram and logic contracts. By extracting control flow information from collaboration diagram and combining with contracts as component specification, an intermediate model called execution tree of components is established, then test cases are automatically generated through contract solving technology. This approach not only realizes path coverage, but also completes the automatic integration testing of software system, thereby improving test efficiency and reducing test cost.

The Influence of Using Collapsed Sub-processes and Groups on the Understandability of Business Process Models

Many factors influence the creation of business process models which are understandable for a target audience. Understandability of process models becomes more critical when size and complexity of the models increase. Using vertical modularization to decompose such models hierarchically into modules is considered to improve their understandability. To investigate this assumption, two experiments were conducted. The experiments involved 2 large-scale real-life business process models that were modeled using BPMN v2.0 (Business Process Model and Notation) in the form of collaboration diagrams. Each process was modeled in 3 modularity forms: fully-flattened, flattened where activities are clustered using BPMN groups, and modularized using separately viewed BPMN sub-processes. The objective was to investigate if and how different forms of modularity representation (used for vertical modularization) in BPMN collaboration diagrams influence the understandability of process models. In addition to the forms of modularity representation, the presentation medium (paper vs. computer) and model reader’s level of business process modeling competency were investigated as factors that potentially influence model comprehension. 60 business practitioners from a large organization and 140 graduate students participated in our experiments. The results indicate that, when these three modularity representations are considered, it is best to present the model in a ‘flattened’ form (with or without the use of groups) and in the ‘paper’ format in order to optimally understand a BPMN model. The results also show that the model reader’s business process modeling competency is an important factor of process model comprehension.

MENERAPKAN APLIKASI GIS UNTUK MENGETAHUI LOKASI DAN KEBUTUHAN SEKOLAH (Studi Kasus di Dinas Pendidikan Mukomuko)

Abstract - The content of this study is the construction of a Geographic Information System. The development of this Geographic Information System is expected to help the Education Office to record school needs displayed in the form of maps. In addition, it helps the community to know the location and needs of the school. This Geographic Information System is displayed in a web form so that everyone can access it. In building this Geographic Information System, the author uses google maps to determine coordinates. This coordinate point is the latitude and longitude points found on google maps. Using these coordinates, you will get the school location. Latitude and longitude values will be stored in the MySQL database and will be called using PHP programming. This Geographic Information System can run locally, namely using a local server such as XAMPP, provided that it must be connected to the internet. Geographic Information System Design uses UML modeling consisting of usecase, activity diagrams, class diagrams, sequential diagrams, statechart diagrams, package diagrams, component diagrams, deployment diagrams, and collaboration diagrams. Keywords - Geographic Information Systems, Google Maps, Latitude, Longitude, UML

Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language

The approach proposed in this article presents a formal verification of embedded systems. The method relies on an automated modeling and code generation based on the systems' behavior. The key concept is the combined use of a subset of UML behavior diagrams extended with timing annotations (Real-Time Statechart and Real-Time Collaboration diagrams) for system modeling and the Maude language for verification. First, UML modeling tools are developed. Then, an automatic generation of equivalent Maude specification is performed. The approach is based on code generation. This is why it is possible to use an available model checking tool to verify certain timed properties represented in Linear Temporal Logic (LTL). The meta-modeling tool ATOM3 is used. A case study is presented to illustrate the feasibility of the approach.

Automatic test case generation through collaboration diagram: a case study

Testing process consists of designing set test cases which are efficient enough to identify the faults in the system. Automatic test case generation by UML diagrams helps to detect the faults in the system at an early stage, thereby, reducing the cost and the effort to rectify them. Collaboration diagrams represent a significant opportunity for testing because they precisely describe how the system interacts with its components. Moreover, they capture the dynamic behavior of the objects in the system unlike any other UML diagram. Hence, it can be used for efficient automatic test case generation. Still, there exists a limited research in this domain, thereby making it an apt choice for study. This paper presents an approach to generate test cases automatically from collaboration diagrams and validation of results using mutation testing. The study found that the proposed algorithm generates test cases automatically from collaboration diagrams ensuring adequate path coverage and avoiding infinite loops. The algorithm was further found to be highly efficient in identifying mutants in wide range of scenarios.

Research and Implementation of Event Driven Multi Process Collaboration Interaction Platform

Along with the development of electronic commerce and the increase of business requirement, the interactive system becomes the typical form of the daily computing world, and the multiple processes of the system must cooperate with each other to make the whole system work well. In order to make the software system have a complete business processing function and meet the growing demand of the users, this paper proposes an event driven multi process collaboration interaction platform. This platform provides a process interaction design modeling tool with a friendly interface, which can design collaboration diagram to organize the interaction of multi process and support process modeling and process validation. And it can be remotely deployed to the workflow engine of the platform. This platform also includes the operation support of multi process interaction, and it can provide messages integration and filtering between the workflow engines through the jBPM workflow engine combined with message middleware, effectively supporting event interaction in multi workflow engine. Finally, an example is used to analyze and test event driven multi process collaboration interaction platform, and the availability of the platform is verified.

Automation of ride orders for passenger vehicles

Effective functioning of organizations depends on the quality of management of interconnected and interdependent business processes. The key problem in the projects implementation is associated with ignorance of business processes of a business itself. The paper provides an approach for modeling business processes through a selection of tried and tested methods and models for coping with the complexity of systems. Business high-level features are decomposed into smaller functional units, resulting in a hierarchical structure of business functions of different granularity. At the bottom of the functional decomposition hierarchy, there are so-called primitive functions which are in fact managing processes. The specifications of the interactions between the systems participants are use case diagrams. The specification of business processes has been realized through BPMN diagrams (choreographies and collaboration diagrams). An automated solution improves the quality of operations and coordinates all participants in this business system. In this paper, the business analysis method has been presented as well as the results of the design of the segment called 'a ride order for passenger vehicles' and the business processes closely associated with it.

Designing of Testing Framework through Finite State Automata for Object-Oriented Systems using UML

Many researches to testing object-oriented systems (OOSs) have been proposed for the past decade. After all, almost all large OO software specifications still contain incompleteness, inconsistency, and ambiguity. The framework can be defined using any state-based specification notation and used to derive test cases from state-based specifications in this paper, it is demonstrated using the RSML notation. A state transition diagram (STD) derived from RSML specification provides a complete behavior of a given OOS. System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams. The goal is here to support the derivation of functional system test requirements, which will be transformed into test cases once we have detailed design information. In this paper, we describe a methodology in a practical way and illustrate it with an example. In this paper a framework that formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process.

Collaborative diagramming during problem based learning in medical education: Do computerized diagrams support basic science knowledge construction?

Aim: To examine how collaborative diagramming affects discussion and knowledge construction when learning complex basic science topics in medical education, including its effectiveness in the reformulation phase of problem-based learning.Methods: Opinions and perceptions of students (n = 70) and tutors (n = 4) who used collaborative diagramming in tutorial groups were collected with a questionnaire and focus group discussions. A framework derived from the analysis of discourse in computer-supported collaborative leaning was used to construct the questionnaire. Video observations were used during the focus group discussions.Results: Both students and tutors felt that collaborative diagramming positively affected discussion and knowledge construction. Students particularly appreciated that diagrams helped them to structure knowledge, to develop an overview of topics, and stimulated them to find relationships between topics. Tutors emphasized that diagramming increased interaction and enhanced the focus and detail of the discussion. Favourable conditions were the following: working with a shared whiteboard, using a diagram format that facilitated distribution, and applying half filled-in diagrams for non-content expert tutors and\\or for heterogeneous groups with low achieving students.Conclusion: The empirical findings in this study support the findings of earlier more descriptive studies that diagramming in a collaborative setting is valuable for learning complex knowledge in medicine.

Rich Picture: The Role of the Facilitator

Information Systems for complex situations often fail to adequately deliver quality and suitability. One reason for this failure is an inability to identify comprehensive user requirements. Seldom do all stakeholders, especially those ‘invisible’ or ‘back room’ system users, have a voice when systems are designed. To improve upon this, system designers use rich pictures (RPs) as a diagrammatic means of identifying differing world views with the aim of creating shared understanding of the organisation. RPs have predominantly been used as freeform, unstructured tools with no commonly agreed syntax. This paper focuses only on the early stages of RP facilitation and is part of a large scale research project involving analysis on a substantial collection of RPs. Although facilitation is well documented in other domains there is a dearth of information and advice within academic literature on how to facilitate RP collaborative group drawing exercises. Thus, three styles of RP facilitation are presented showing how facilitator instruction and approach to delivery affects the initial picturing process and outcome. Results, suggest that the method one takes when instigating RP group work has profound influences on the group behaviour and the resulting RPs. From the researchers point of view it is hoped that this paper might act as a catalyst for debate concerning the role of the facilitator in collaborative diagramming.

Modeling and Analysis of Complex System with UML: A Case Study

The Unified Modeling Language - UML - is the most used specification language, and the way the world models not only application structure, behavior, and architecture, but also business process and data structure. In this paper, we aim to demonstrate a system development methodology by generating the UML diagrams from the requirements of the Automatic Banking Machine (ABM) System and discuss their relationships, differences and suitability. The high-level requirements of the system are specified by using use-case diagram, activity diagram, state chart diagram, collaboration diagram, sequence diagram, and component diagram, and the low-level requirements of each component using class diagrams. We briefly introduce each diagram, their usage, their advantages and some limitations, and then we discuss the relationships and differences between two or more diagrams, and suitability for modeling the different parts of the system.

Presenting an Excusable Model of Enterprise Architecture for Evaluation of Reliability using Colored Petri Nets

Upon increasing application of unified modeling language diagrams for description of enterprise architecture and importance of evaluating the non-functional requirements in the enterprise architecture, establishing an executable model of these diagrams is necessary. On the other side, unified modeling language diagrams have not the capability of evaluating the non-functional requirements of system directly. The simplicity and characteristics of these diagrams must be reserved and the capability of evaluating these requirements to be incorporated thereto. To achieve this goal, an executable model of these diagrams to be Created. In this paper, it is assumed that architecture of a system has been described by two use case and collaboration diagrams of unified modeling language. The role of these diagrams in evaluation of reliability and annotations related thereto has been examined and extended by a algorithm to an executable model means colored Petri net. In this study, the procedure of establishing an executable model that can analyze the reliability of artifacts in C4ISR framework. According to the results obtained from simulation of this model and their analysis, we could identify the problems in planning phase and improve out artifacts in order to avoid the extreme time and economic costs of implementation.

From Dialogue Games to m-ThinkLets

The authors present an integrated overview and extension of a conversational approach to support analysis and design of goal-driven and focused interaction between stakeholders and facilitators, to be specifically applied in collaborative modeling. Complementary to ‘collaborative diagram drawing’ approaches, the authors provide more focused and accessible, wizard-like or even game-like conceptualization support. This work is rooted in theory as well as (study of) industrial practice. Ideas developed in over half a decade, as well as some new concepts, are coherently presented, centering on the notion of ‘Dialogue Games’. The approach is brought under the umbrella of the ‘ThinkLet’ approach from Collaboration Engineering, and is positioned as a specialization thereof, aiming to fit the specific needs and features of collaborative modeling.