Zeszyty czasopisma

Tom 27 (2022): Zeszyt 1 (June 2022)

Tom 26 (2021): Zeszyt 2 (December 2021)

Tom 26 (2021): Zeszyt 1 (May 2021)

Tom 25 (2020): Zeszyt 2 (December 2020)

Tom 25 (2020): Zeszyt 1 (May 2020)

Tom 24 (2019): Zeszyt 2 (December 2019)

Tom 24 (2019): Zeszyt 1 (May 2019)

Tom 23 (2018): Zeszyt 2 (December 2018)

Tom 23 (2018): Zeszyt 1 (May 2018)

Tom 22 (2017): Zeszyt 1 (December 2017)

Tom 21 (2017): Zeszyt 1 (May 2017)

Tom 20 (2016): Zeszyt 1 (December 2016)

Tom 19 (2016): Zeszyt 1 (May 2016)

Tom 18 (2015): Zeszyt 1 (December 2015)

Tom 17 (2015): Zeszyt 1 (May 2015)

Tom 16 (2014): Zeszyt 1 (December 2014)

Tom 15 (2014): Zeszyt 1 (July 2014)

Tom 14 (2013): Zeszyt 1 (June 2013)

Tom 13 (2012): Zeszyt 1 (October 2012)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
2255-8691
Pierwsze wydanie
08 Nov 2012
Częstotliwość wydawania
2 razy w roku
Języki
Angielski

Wyszukiwanie

Tom 16 (2014): Zeszyt 1 (December 2014)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
2255-8691
Pierwsze wydanie
08 Nov 2012
Częstotliwość wydawania
2 razy w roku
Języki
Angielski

Wyszukiwanie

14 Artykułów
access type Otwarty dostęp

Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model

Data publikacji: 27 Jan 2015
Zakres stron: 5 - 12

Abstrakt

Abstract

A system architect has software requirements and some unspecified knowledge about a problem domain (e.g., an enterprise) as source information for assessment and evaluation of possible solutions and getting the target point, a preliminary software design. The solving factor is architect’s experience and expertise in the problem domain (“AS-IS”). A proposed approach is dedicated to assist a system architect in making an appropriate decision on the solution (“TO-BE”). It is based on a formal mathematical model, Topological Functioning Model (TFM). Compliant TFMs can be transformed into software architectural views. The paper demonstrates and discusses tracing dependency links from the requirements to and between the architectural views.

Słowa kluczowe

  • Analytical models
  • object oriented modeling
  • software architecture
  • software quality
  • topology
access type Otwarty dostęp

Introduction to the Integrated Domain Modeling Toolset

Data publikacji: 27 Jan 2015
Zakres stron: 13 - 18

Abstrakt

Abstract

This paper describes the Integrated Domain Modeling approach and introduces the supporting toolset as a solution to the complex domain-modeling task. This approach integrates artificial intelligence (AI) and system analysis by exploiting ontology, natural language processing (NLP), use cases and model-driven architecture (MDA) for knowledge engineering and domain modeling. The IDM toolset provides the opportunity to automatically generate the initial AS-IS model from the formally defined domain knowledge. In this paper, we describe in detail the scope, architecture and implementation of the toolset.

Słowa kluczowe

  • Eclipse modeling framework
  • model-to-model transformation
  • natural language processing
  • topological functioning model
access type Otwarty dostęp

Analysis of Using Resources in Business Process Modeling and Simulation

Data publikacji: 27 Jan 2015
Zakres stron: 19 - 25

Abstrakt

Abstract

One of the key purposes of Business Process Model and Notation (BPMN) is to support graphical representation of the process model. However, such models have a lack of support for the graphical representation of resources, whose processes are used during simulation or execution of process instance. The paper analyzes different methods and their extensions for resource modeling. Further, this article presents a selected set of resource properties that are relevant for resource modeling. The paper proposes an approach that explains how to use the selected set of resource properties for extension of process modeling using BPMN and simulation tools. They are based on BPMN, where business process instances use resources in a concurrency manner.

Słowa kluczowe

  • Business Process Model and Notation (BPMN)
  • business process models
  • resources
  • resources models
  • resources modeling
  • resource aspect modeling
access type Otwarty dostęp

Implementation of Software Configuration Management Process by Models: Practical Experiments and Learned Lessons

Data publikacji: 27 Jan 2015
Zakres stron: 26 - 32

Abstrakt

Abstract

Nowadays software configuration management process is not only dilemma which system should be used for version control or how to merge changes from one source code branch to other. There are multiple tasks such as version control, build management, deploy management, status accounting, bug tracking and many others that should be solved to support full configuration management process according to most popular quality standards. The main scope of the mentioned process is to include only valid and tested software items to final version of product and prepare a new version as soon as possible. To implement different tasks of software configuration management process, a set of different tools, scripts and utilities should be used. The current paper provides a new model-based approach to implementation of configuration management. Using different models, a new approach helps to organize existing solutions and develop new ones by a parameterized way, thus increasing reuse of solutions. The study provides a general description of new model-based conception and definitions of all models needed to implement a new approach. The second part of the paper contains an overview of criteria, practical experiments and lessons learned from using new models in software configuration management. Finally, further works are defined based on results of practical experiments and lessons learned.

Słowa kluczowe

  • Model-Driven Approach
  • Software Configuration Management
access type Otwarty dostęp

BrainTool v2.0 for Software Modeling in UML

Data publikacji: 27 Jan 2015
Zakres stron: 33 - 42

Abstrakt

Abstract

It is a modern trend to develop a CASE tool for system modeling with an ability to transform models defined in different notations and also to generate a program code. Such a system modeling tool tries to bridge the gap between the system specification and the software components. A tool called BrainTool has been developed for generation of the UML diagrams from the initial presentation of problem domain by the two-hemisphere model. The paper presents the main components of BrainTool and compares it to other system modeling tools.

Słowa kluczowe

  • BrainTool
  • system modeling tool
  • two-hemisphere model
  • Unified Modeling Language (UML)
access type Otwarty dostęp

Relationships between UML Sequence Diagrams and the Topological Functioning Model for Backward Transformation

Data publikacji: 27 Jan 2015
Zakres stron: 43 - 52

Abstrakt

Abstract

The software system needs to be analyzed and designed before the program code is written. A Computation Independent Model (CIM) and a Platform Independent Model/ Platform Specific Model (PIM/PSM) from Model-Driven Architecture (MDA) will be partially considered in this paper. A Topological Functioning Model (TFM) will be considered as a formal CIM, and UML sequence diagrams - as a behavioral PIM/PSM of the software system. The paper presents a short overview of the TFM and sequence diagrams with their constructs, as well as the example of transformation from the sequence diagrams to the TFM.

Słowa kluczowe

  • Model transformation
  • model-driven architecture
  • topological functioning model
  • UML sequence diagrams
access type Otwarty dostęp

FPGA-based Accelerators for Parallel Data Sort

Data publikacji: 27 Jan 2015
Zakres stron: 53 - 63

Abstrakt

Abstract

The paper is dedicated to parallel data sort based on sorting networks. The proposed methods and circuits have the following characteristics: 1) using two-level parallel comparators in even-odd transition networks with feedback to a register keeping input/intermediate data; 2) parallel merging of many sorted sequences; 3) using even-odd transition networks built from other sorting networks; 4) rational reuse of comparators in different types of networks, namely even-odd transition and for discovering maximum/minimum values. The experiments in FPGA, which were done for up to 16×220 32-bit data items, demonstrate very good results (as fast as 3-5 ns per data item).

Słowa kluczowe

  • Merging
  • performance analysis reconfigurable architectures
  • sorting
access type Otwarty dostęp

Adopting to Agile Software Development

Data publikacji: 27 Jan 2015
Zakres stron: 64 - 70

Abstrakt

Abstract

Agile software development can be made successful, but there is no well-defined way how to achieve this. The problem is that the successful adoption of agile methods and practices is a complex process and this process should be customizable for a particular organization or a team. This research focuses on identification of agile methods and practices. Result of the research is the ranking of agile methods, practices and their usage trends. As some terms of agile software development are interpreted differently in different organizations and teams, terminology used is analyzed. Results of the research can be used as a reference material for those who are planning to adopt agile methods or are looking for the next agile practice to implement. Results will be used for the development of an expert system to support agile adoption.

Słowa kluczowe

  • Agile
  • agile methods
  • agile practices
  • expert system
  • Scrum
access type Otwarty dostęp

Specification of the Framework for Evaluating the Efficiency of Mechanisms for Concurrent Processes

Data publikacji: 27 Jan 2015
Zakres stron: 71 - 76

Abstrakt

Abstract

The goal of this paper is to give a specification of the software framework that evaluates the efficiency of different mechanisms for concurrent processes, notably process synchronization mechanisms. The paper discusses the concept of this framework, the potential users of it and some necessary considerations, including assumptions. Further, it defines general requirements for the framework and presents its desired conceptual design. The conclusions and possible directions for future work end the paper.

Słowa kluczowe

  • Concurrent computing
  • efficiency
  • inter-process communication
  • mechanisms
  • software framework
access type Otwarty dostęp

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

Data publikacji: 27 Jan 2015
Zakres stron: 77 - 84

Abstrakt

Abstract

The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets (CPNs) and Topological Functioning Model (TFM), is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of system theory and algebraic topology, and formally bridges the solution domain with the problem domain. It is a base for further automated construction of software design models. The paper discusses a perspective on check of control and data flows in the TFM by CPNs formalism. The research result is definition of mappings from TFMs to CPNs.

Słowa kluczowe

  • Control flows
  • data flows
  • model verification
  • Petri nets
  • topological functioning model
access type Otwarty dostęp

Analysis of the Usage of Magnetic Force-directed Approach and Visual Techniques for Interactive Context-based Drawing of Multi-attributed Graphs

Data publikacji: 27 Jan 2015
Zakres stron: 85 - 91

Abstrakt

Abstract

In this article, the authors perform an analysis in order to assess adaptation of magnetic force-directed algorithms for context-based information extraction from multi-attributed graphs during visualization sessions. Theoretic standings behind magnetic force-directed approach are stated together with review on how particular features of respective algorithms in combination with appropriate visual techniques are especially suitable for improved processing and presenting of knowledge that is captured in form of graphs. The complexity of retrieving multi-attributed information within the proposed approach is handled with dedicated tools, such as selective attraction of nodes to MFE (Magnetic Force Emitter) based on search criteria, localization of POI (Point of Interest) regions, graph node anchoring, etc. Implicit compatibility of aforementioned tools with interactive nature of data exploration is distinguished. Description of case study, based on bibliometric network analysis is given, which is followed by the review of existing related works in this field. Conclusions are made and further studies in the field of visualization of multi-attributed graphs are defined.

Słowa kluczowe

  • Graph
  • context-based
  • force-directed
  • visualization
access type Otwarty dostęp

State Synchronization Approaches in Web-based Applications

Data publikacji: 27 Jan 2015
Zakres stron: 92 - 96

Abstrakt

Abstract

The main objective of the article is to provide insight into technologies and approaches available to maintain consistent state on both client and server sides. The article describes basic RIA application state persistence difficulties and offers approaches to overcoming such problems using asynchronous data transmission synchronization channels and other user-available browser abilities.

Słowa kluczowe

  • Persistence
  • state
  • synchronization
  • web application
access type Otwarty dostęp

Analysis of Questionnaire Results in the Use of BP and ND in Public Administration

Data publikacji: 27 Jan 2015
Zakres stron: 97 - 104

Abstrakt

Abstract

The goal of effective public administration is to provide qualitative services to citizens. Due to the increasing use of information and communication technologies (ICT), e-government is one of the possible solutions in achieving this goal. This solution includes a good understanding and management of the existing business processes, the use of normative documents and the effective use of information systems in public administration. To get the current view of all mentioned necessary components, the questionnaire was made. This paper is devoted to the analysis of questionnaire results. As a result of the analysis, hypotheses for further study are set.

Słowa kluczowe

  • Business process (BP)
  • compliance
  • document management system (DMS)
  • information system (IS)
  • modeling
  • normative document (ND)
  • quality management system (QMS)
access type Otwarty dostęp

HTML5 in Development of Assessment Tasks for e-Learning

Data publikacji: 27 Jan 2015
Zakres stron: 105 - 110

Abstrakt

Abstract

The paper describes various types of assessment tasks that are used in e-learning environments and studies the use of HTML5 in the development of user interface elements for e-learning systems. Popular existing practices of HTML5 user interface design are examined, and some examples relevant to e-learning environments are provided.

Słowa kluczowe

  • Assessment
  • assessment task types
  • e-learning
  • HTML5
  • Internet technologies
14 Artykułów
access type Otwarty dostęp

Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model

Data publikacji: 27 Jan 2015
Zakres stron: 5 - 12

Abstrakt

Abstract

A system architect has software requirements and some unspecified knowledge about a problem domain (e.g., an enterprise) as source information for assessment and evaluation of possible solutions and getting the target point, a preliminary software design. The solving factor is architect’s experience and expertise in the problem domain (“AS-IS”). A proposed approach is dedicated to assist a system architect in making an appropriate decision on the solution (“TO-BE”). It is based on a formal mathematical model, Topological Functioning Model (TFM). Compliant TFMs can be transformed into software architectural views. The paper demonstrates and discusses tracing dependency links from the requirements to and between the architectural views.

Słowa kluczowe

  • Analytical models
  • object oriented modeling
  • software architecture
  • software quality
  • topology
access type Otwarty dostęp

Introduction to the Integrated Domain Modeling Toolset

Data publikacji: 27 Jan 2015
Zakres stron: 13 - 18

Abstrakt

Abstract

This paper describes the Integrated Domain Modeling approach and introduces the supporting toolset as a solution to the complex domain-modeling task. This approach integrates artificial intelligence (AI) and system analysis by exploiting ontology, natural language processing (NLP), use cases and model-driven architecture (MDA) for knowledge engineering and domain modeling. The IDM toolset provides the opportunity to automatically generate the initial AS-IS model from the formally defined domain knowledge. In this paper, we describe in detail the scope, architecture and implementation of the toolset.

Słowa kluczowe

  • Eclipse modeling framework
  • model-to-model transformation
  • natural language processing
  • topological functioning model
access type Otwarty dostęp

Analysis of Using Resources in Business Process Modeling and Simulation

Data publikacji: 27 Jan 2015
Zakres stron: 19 - 25

Abstrakt

Abstract

One of the key purposes of Business Process Model and Notation (BPMN) is to support graphical representation of the process model. However, such models have a lack of support for the graphical representation of resources, whose processes are used during simulation or execution of process instance. The paper analyzes different methods and their extensions for resource modeling. Further, this article presents a selected set of resource properties that are relevant for resource modeling. The paper proposes an approach that explains how to use the selected set of resource properties for extension of process modeling using BPMN and simulation tools. They are based on BPMN, where business process instances use resources in a concurrency manner.

Słowa kluczowe

  • Business Process Model and Notation (BPMN)
  • business process models
  • resources
  • resources models
  • resources modeling
  • resource aspect modeling
access type Otwarty dostęp

Implementation of Software Configuration Management Process by Models: Practical Experiments and Learned Lessons

Data publikacji: 27 Jan 2015
Zakres stron: 26 - 32

Abstrakt

Abstract

Nowadays software configuration management process is not only dilemma which system should be used for version control or how to merge changes from one source code branch to other. There are multiple tasks such as version control, build management, deploy management, status accounting, bug tracking and many others that should be solved to support full configuration management process according to most popular quality standards. The main scope of the mentioned process is to include only valid and tested software items to final version of product and prepare a new version as soon as possible. To implement different tasks of software configuration management process, a set of different tools, scripts and utilities should be used. The current paper provides a new model-based approach to implementation of configuration management. Using different models, a new approach helps to organize existing solutions and develop new ones by a parameterized way, thus increasing reuse of solutions. The study provides a general description of new model-based conception and definitions of all models needed to implement a new approach. The second part of the paper contains an overview of criteria, practical experiments and lessons learned from using new models in software configuration management. Finally, further works are defined based on results of practical experiments and lessons learned.

Słowa kluczowe

  • Model-Driven Approach
  • Software Configuration Management
access type Otwarty dostęp

BrainTool v2.0 for Software Modeling in UML

Data publikacji: 27 Jan 2015
Zakres stron: 33 - 42

Abstrakt

Abstract

It is a modern trend to develop a CASE tool for system modeling with an ability to transform models defined in different notations and also to generate a program code. Such a system modeling tool tries to bridge the gap between the system specification and the software components. A tool called BrainTool has been developed for generation of the UML diagrams from the initial presentation of problem domain by the two-hemisphere model. The paper presents the main components of BrainTool and compares it to other system modeling tools.

Słowa kluczowe

  • BrainTool
  • system modeling tool
  • two-hemisphere model
  • Unified Modeling Language (UML)
access type Otwarty dostęp

Relationships between UML Sequence Diagrams and the Topological Functioning Model for Backward Transformation

Data publikacji: 27 Jan 2015
Zakres stron: 43 - 52

Abstrakt

Abstract

The software system needs to be analyzed and designed before the program code is written. A Computation Independent Model (CIM) and a Platform Independent Model/ Platform Specific Model (PIM/PSM) from Model-Driven Architecture (MDA) will be partially considered in this paper. A Topological Functioning Model (TFM) will be considered as a formal CIM, and UML sequence diagrams - as a behavioral PIM/PSM of the software system. The paper presents a short overview of the TFM and sequence diagrams with their constructs, as well as the example of transformation from the sequence diagrams to the TFM.

Słowa kluczowe

  • Model transformation
  • model-driven architecture
  • topological functioning model
  • UML sequence diagrams
access type Otwarty dostęp

FPGA-based Accelerators for Parallel Data Sort

Data publikacji: 27 Jan 2015
Zakres stron: 53 - 63

Abstrakt

Abstract

The paper is dedicated to parallel data sort based on sorting networks. The proposed methods and circuits have the following characteristics: 1) using two-level parallel comparators in even-odd transition networks with feedback to a register keeping input/intermediate data; 2) parallel merging of many sorted sequences; 3) using even-odd transition networks built from other sorting networks; 4) rational reuse of comparators in different types of networks, namely even-odd transition and for discovering maximum/minimum values. The experiments in FPGA, which were done for up to 16×220 32-bit data items, demonstrate very good results (as fast as 3-5 ns per data item).

Słowa kluczowe

  • Merging
  • performance analysis reconfigurable architectures
  • sorting
access type Otwarty dostęp

Adopting to Agile Software Development

Data publikacji: 27 Jan 2015
Zakres stron: 64 - 70

Abstrakt

Abstract

Agile software development can be made successful, but there is no well-defined way how to achieve this. The problem is that the successful adoption of agile methods and practices is a complex process and this process should be customizable for a particular organization or a team. This research focuses on identification of agile methods and practices. Result of the research is the ranking of agile methods, practices and their usage trends. As some terms of agile software development are interpreted differently in different organizations and teams, terminology used is analyzed. Results of the research can be used as a reference material for those who are planning to adopt agile methods or are looking for the next agile practice to implement. Results will be used for the development of an expert system to support agile adoption.

Słowa kluczowe

  • Agile
  • agile methods
  • agile practices
  • expert system
  • Scrum
access type Otwarty dostęp

Specification of the Framework for Evaluating the Efficiency of Mechanisms for Concurrent Processes

Data publikacji: 27 Jan 2015
Zakres stron: 71 - 76

Abstrakt

Abstract

The goal of this paper is to give a specification of the software framework that evaluates the efficiency of different mechanisms for concurrent processes, notably process synchronization mechanisms. The paper discusses the concept of this framework, the potential users of it and some necessary considerations, including assumptions. Further, it defines general requirements for the framework and presents its desired conceptual design. The conclusions and possible directions for future work end the paper.

Słowa kluczowe

  • Concurrent computing
  • efficiency
  • inter-process communication
  • mechanisms
  • software framework
access type Otwarty dostęp

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

Data publikacji: 27 Jan 2015
Zakres stron: 77 - 84

Abstrakt

Abstract

The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets (CPNs) and Topological Functioning Model (TFM), is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of system theory and algebraic topology, and formally bridges the solution domain with the problem domain. It is a base for further automated construction of software design models. The paper discusses a perspective on check of control and data flows in the TFM by CPNs formalism. The research result is definition of mappings from TFMs to CPNs.

Słowa kluczowe

  • Control flows
  • data flows
  • model verification
  • Petri nets
  • topological functioning model
access type Otwarty dostęp

Analysis of the Usage of Magnetic Force-directed Approach and Visual Techniques for Interactive Context-based Drawing of Multi-attributed Graphs

Data publikacji: 27 Jan 2015
Zakres stron: 85 - 91

Abstrakt

Abstract

In this article, the authors perform an analysis in order to assess adaptation of magnetic force-directed algorithms for context-based information extraction from multi-attributed graphs during visualization sessions. Theoretic standings behind magnetic force-directed approach are stated together with review on how particular features of respective algorithms in combination with appropriate visual techniques are especially suitable for improved processing and presenting of knowledge that is captured in form of graphs. The complexity of retrieving multi-attributed information within the proposed approach is handled with dedicated tools, such as selective attraction of nodes to MFE (Magnetic Force Emitter) based on search criteria, localization of POI (Point of Interest) regions, graph node anchoring, etc. Implicit compatibility of aforementioned tools with interactive nature of data exploration is distinguished. Description of case study, based on bibliometric network analysis is given, which is followed by the review of existing related works in this field. Conclusions are made and further studies in the field of visualization of multi-attributed graphs are defined.

Słowa kluczowe

  • Graph
  • context-based
  • force-directed
  • visualization
access type Otwarty dostęp

State Synchronization Approaches in Web-based Applications

Data publikacji: 27 Jan 2015
Zakres stron: 92 - 96

Abstrakt

Abstract

The main objective of the article is to provide insight into technologies and approaches available to maintain consistent state on both client and server sides. The article describes basic RIA application state persistence difficulties and offers approaches to overcoming such problems using asynchronous data transmission synchronization channels and other user-available browser abilities.

Słowa kluczowe

  • Persistence
  • state
  • synchronization
  • web application
access type Otwarty dostęp

Analysis of Questionnaire Results in the Use of BP and ND in Public Administration

Data publikacji: 27 Jan 2015
Zakres stron: 97 - 104

Abstrakt

Abstract

The goal of effective public administration is to provide qualitative services to citizens. Due to the increasing use of information and communication technologies (ICT), e-government is one of the possible solutions in achieving this goal. This solution includes a good understanding and management of the existing business processes, the use of normative documents and the effective use of information systems in public administration. To get the current view of all mentioned necessary components, the questionnaire was made. This paper is devoted to the analysis of questionnaire results. As a result of the analysis, hypotheses for further study are set.

Słowa kluczowe

  • Business process (BP)
  • compliance
  • document management system (DMS)
  • information system (IS)
  • modeling
  • normative document (ND)
  • quality management system (QMS)
access type Otwarty dostęp

HTML5 in Development of Assessment Tasks for e-Learning

Data publikacji: 27 Jan 2015
Zakres stron: 105 - 110

Abstrakt

Abstract

The paper describes various types of assessment tasks that are used in e-learning environments and studies the use of HTML5 in the development of user interface elements for e-learning systems. Popular existing practices of HTML5 user interface design are examined, and some examples relevant to e-learning environments are provided.

Słowa kluczowe

  • Assessment
  • assessment task types
  • e-learning
  • HTML5
  • Internet technologies

Zaplanuj zdalną konferencję ze Sciendo