A review of information flow diagrammatic models for product-service systems

A product-service system (PSS) is a combination of products and services to create value for both customers and manufacturers. Modelling a PSS based on function orientation offers a useful way to distinguish system inputs and outputs with regards to how data are consumed and information is used, i.e. information flow. This article presents a review of diagrammatic information flow tools, which are designed to describe a system through its functions. The origin, concept and applications of these tools are investigated, followed by an analysis of information flow modelling with regards to key PSS properties. A case study of selection laser melting technology implemented as PSS will then be used to show the application of information flow modelling for PSS design. A discussion based on the usefulness of the tools in modelling the key elements of PSS and possible future research directions are also presented

Modeling of Traceability Information System for Material Flow Control Data.

This paper focuses on data modeling for traceability of material/work flow in information layer of manufacturing control system. The model is able to trace all associated data throughout the product manufacturing from order to final product. Dynamic data processing of Quality and Purchase activities are considered in data modeling as well as Order and Operation base on lots particulars. The modeling consisted of four steps and integrated as one final model. Entity-Relationships Modeling as data modeling methodology is proposed. The model is reengineered with Toad Data Modeler software in physical modeling step. The developed model promises to handle fundamental issues of a traceability system effectively. It supports for customization and real-time control of material in flow in all levels of manufacturing processes. Through enhanced visibility and dynamic store/retrieval of data, all traceability usages and applications is responded. Designed solution is initially applicable as reference data model in identical lot-base traceability system

Product specification documentation standard and Data Item Descriptions (DID). Volume of the information system life-cycle and documentation standards, volume 3

This is the third of five volumes on Information System Life-Cycle and Documentation Standards which present a well organized, easily used standard for providing technical information needed for developing information systems, components, and related processes. This volume states the Software Management and Assurance Program documentation standard for a product specification document and for data item descriptions. The framework can be applied to any NASA information system, software, hardware, operational procedures components, and related processes

A System for Deduction-based Formal Verification of Workflow-oriented Software Models

The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logic formulas, seems to be the significant obstacle for an inexperienced user when applying the deductive approach. A system, and its architecture, for the deduction-based verification of workflow-oriented models is proposed. The process of inference is based on the semantic tableaux method which has some advantages when compared to traditional deduction strategies. The algorithm for an automatic generation of logical specifications is proposed. The generation procedure is based on the predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea for the approach is to consider patterns, defined in terms of temporal logic,as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between intuitiveness of the deductive reasoning and the difficulty of its practical application in the case when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing our understanding of, the deduction-based formal verification of workflow-oriented models.Comment: International Journal of Applied Mathematics and Computer Scienc

Towards Model-Driven Development of Access Control Policies for Web Applications

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Using Project Management Techniques to Design a PMP Mathematics Study App for the Windows Universal Platform

Background As a late comer to the smartphone market, Microsoft has fallen behind the Apple and Google app ecosystems in the quantity and quality of apps offered. To attract developer talent, Microsoft released the Universal Windows Platform which enables apps to run across Windows devices with few additional modifications. Although the Windows app ecosystem has realized an increased number of available apps, few apps related to project management are currently available. About the project This project will design a PMP Certification Mathematics Study App for the Universal Windows Platform which will serve as a reference and study aid for the PMP certification exam. The app will be available to mobile and PC users who are utilizing the Microsoft Windows 10 and Windows 8 operating systems. Features of the app will include project management formula lookup, formula flashcards, and practice problems. At the completion of the project, the app will be submitted to the Windows Store for review and publishing to the Windows 10 application ecosystem. Approach The project scope will include the design of the app from requirements gathering to completion. Project deliverables will be aligned with Windows store applications evaluation criteria for responsiveness, reliability, and style. This project will conclude with submission of a completed application design to the project sponsor.Title Page / Table of Contents / List of Exhibits / Abstract / Background / About the project / Approach / Keywords / Introduction / Project Purpose / Project Approach / Research and Analysis / Research Approach / Research Analysis / Application Design Rating Verification / Research Objective 1: Investigate the preferred learning style of potential users / Research Objective 1: Design Conclusions and Implications / Flashcards Module / Formula Builder Module / Formula Reference Module / Research Objective 2: Investigate the most important aspect of user satisfaction / Research Objective 2: Design Conclusions and Implications / Research Conclusions / Requirements Gathering / User Interface Design / Project Deliverable Design / ViTech CORE / Input Application Requirements / Identify Application Components / Identify Component Functions / Identify Use Cases and Test Activities / Project Deliverables / Application Design Documents / Application Hierarchy / Conclusions and Recommendations / ViTech CORE Software Con/ lusions / Graphing Capabilities / Diagnostics Capabilities / Requirements Mapping and Verification / Final Project Deliverables / Recommendations for Further Research and Development / Application Publishing / Further Development and Product Updates / User Feedback Collection / Application Update Opportunities / Application Expansion Opportunitie

Semantics-driven dataflow diagram processing.

Dataflow diagram is a commonly used tool of structured analysis and design techniques in specifications and design of a software system, and in analysis of an existing system as well. While automatic generating dataflow diagram saves system designers from tedious drawing and help them develop a new system, simulating dataflow diagrams provides system analysts with a dynamic graph and help them understand an existing system. CASE tools for dataflow diagrams play an important role in software engineering. Methodologies applied to the tools are dominant issues extensively evaluated by tools designers. Executable specifications with dataflow diagrams turn out an opportunity to execute graphic dataflow diagrams for systems analysts to simulate the behavior of a system. In this thesis, a syntax representation of dataflow diagram was developed, and a formal specification for dataflow diagram was established. A parser of this developed CASE tool translates the syntax representation of DFDs into their semantic representation. An interpreter of this tool then analyzes the DFDs semantic notations and builds a set of services of a system represented by the DFDs. This CASE tool can be used to simulate system behavior, check equivalence of two systems and detect deadlock. Based on its features, this tool can be used in every phase through entire software life cycle. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1998 .Z46. Source: Masters Abstracts International, Volume: 39-02, page: 0535. Adviser: Indra A. Tjandra. Thesis (M.Sc.)--University of Windsor (Canada), 1998