With the evolution of Industry 4.0, some problems related to inefficient digitalization become clearer in organizations. To minimize these problems, implementation lean philosophy is needed digital environment. However, before Lean can start solve there a need digitalize its tools so that they comprehend 4.0 dynamics and more effective. The aim this study contribute theoretical development cont...

Information systems for supporting collaborative activities (e.g., business process modeling tools, workflow management tools, or project management tools) should explicitly address regulatory requirements. Integrating a legal perspective into such information systems would contribute to a better legal compliance and a more effective collaboration. This paper introduces a meta-design for integr...

Evidence of effectiveness does not equal successful implementation. To progress the field, practical tools are needed to bridge the gap between research and practice and to truly unite effectiveness and implementation evidence. This paper describes the Knowledge Transfer Scheme integrating existing implementation research frameworks into a tool which has been developed specifically to bridge th...

BACKGROUND Electronic health (eHealth) and mobile health (mHealth) tools can support and improve the whole process of workplace health promotion (WHP) projects. However, several challenges and opportunities have to be considered while integrating these tools in WHP projects. Currently, a large number of eHealth tools are developed for changing health behavior, but these tools can support the wh...

An implementation of a visual DEVS formalism in two meta-modeling tools, GenGED and AToM is described. In particular an attempt is made to exploit the specialized nature of these tools to build the implementation in as little time as possible. The need for graphical layout, an easy to use user interface, model correctness checking, and generation of DEVS simulation code push these tools to the ...

We present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse.

We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components. We also outline specification composition, directly associated with application composition. We present the integration of specification and implementation of program development. We particularly elaborate on testing and debugging of MP applications based on the ...

This paper presents a persistent graph abstract data type which is suited to the implementation of repositories for CASE tools. it contains both deductive database and persistent graph representations of repositories for several CASE tools, in particular the entity-relationship-atttribute methodfor conceptual data modelling. It shows that while the deductive database approach is feasible, a PGA...

EFFICIENT PARALLEL PROCESSING WITH OPTICAL INTERCONNECTIONS