Natallia Kokash - Academia.edu (original) (raw)

Papers by Natallia Kokash

Research paper thumbnail of A flexible QoS-aware routing protocol for infrastructure-less B3G networks

Research paper thumbnail of ApiNATOMY: the generation of interactive circuitboard schematics of multiscale neuroscientific knowledge

Frontiers in Neuroinformatics, 2014

Research paper thumbnail of The Open Physiology workflow: modeling processes over physiology circuitboards of interoperable tissue units

Research paper thumbnail of Service Oriented Computing and Coordination Models

Proceedings of Challenges in Collaborative Engineering Workshop, Sopron, Hungary, Apr 1, 2005

Abstract. In this paper we briefly describe the challenges related to Serviceoriented computing (... more Abstract. In this paper we briefly describe the challenges related to Serviceoriented computing (SOC). SOC is a novel architectural approach to building complex applications in terms of composition of simple services. A number of challenges arise from the need of coordinating the composed services. We describe approaches based on service orchestration and on service choreography. We also introduce coordination models used in the field of parallel and distributed systems, and we sketch the potential for application of ...

Research paper thumbnail of Evaluating quality of web services: A risk-driven approach

Business Information Systems, 2007

Composing existing web services to obtain new functionalities is important for e-business applica... more Composing existing web services to obtain new functionalities is important for e-business applications. Deficiencies of aggregated web services can be compensated involving a redundant number of them for critical tasks. Key steps lie in Quality of Service (QoS) evaluation and selection of web services with appropriate quality characteristics in order to avoid frequent and severe faults of a composite web service. This paper, first, surveys the existing approaches for QoS-driven web service selection. Then, it proposes a novel ...

Research paper thumbnail of IC-service

Proceedings of the 2007 ACM symposium on Applied computing - SAC '07, 2007

Research paper thumbnail of Reo + mCRL2 : A framework for model-checking dataflow in service compositions

Formal Aspects of Computing, 2012

Research paper thumbnail of Modeling and Simulation of Selected Operational IT Risks in the Banking Sector (Extended Version

Research paper thumbnail of Rsfs.2015.

Research paper thumbnail of Model Description Language (MDL): A Standard for Modeling and Simulation

Research paper thumbnail of Data-Aware Design and Verification of Service Compositions with Reo and mCRL2

Research paper thumbnail of Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools

Research paper thumbnail of Template-based treemaps to preserve spatial constraints

Research paper thumbnail of Time and Data Aware Analysis of Graphical Service Models

Research paper thumbnail of Tissue Motifs and Multi-scale Transport Physiology

Research paper thumbnail of Input-output Conformance Testing for Channel-based Service Connectors

Research paper thumbnail of Pharmacometrics Markup Language (PharmML): Opening New Perspectives for Model Exchange in Drug Development

Research paper thumbnail of From Timed Reo Networks to Networks of Timed Automata

Research paper thumbnail of The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Implementing a domain-specific language for model-based drug development

Research paper thumbnail of ApiNATOMY: Towards Multiscale Views of Human Anatomy

Research paper thumbnail of A flexible QoS-aware routing protocol for infrastructure-less B3G networks

Research paper thumbnail of ApiNATOMY: the generation of interactive circuitboard schematics of multiscale neuroscientific knowledge

Frontiers in Neuroinformatics, 2014

Research paper thumbnail of The Open Physiology workflow: modeling processes over physiology circuitboards of interoperable tissue units

Research paper thumbnail of Service Oriented Computing and Coordination Models

Proceedings of Challenges in Collaborative Engineering Workshop, Sopron, Hungary, Apr 1, 2005

Abstract. In this paper we briefly describe the challenges related to Serviceoriented computing (... more Abstract. In this paper we briefly describe the challenges related to Serviceoriented computing (SOC). SOC is a novel architectural approach to building complex applications in terms of composition of simple services. A number of challenges arise from the need of coordinating the composed services. We describe approaches based on service orchestration and on service choreography. We also introduce coordination models used in the field of parallel and distributed systems, and we sketch the potential for application of ...

Research paper thumbnail of Evaluating quality of web services: A risk-driven approach

Business Information Systems, 2007

Composing existing web services to obtain new functionalities is important for e-business applica... more Composing existing web services to obtain new functionalities is important for e-business applications. Deficiencies of aggregated web services can be compensated involving a redundant number of them for critical tasks. Key steps lie in Quality of Service (QoS) evaluation and selection of web services with appropriate quality characteristics in order to avoid frequent and severe faults of a composite web service. This paper, first, surveys the existing approaches for QoS-driven web service selection. Then, it proposes a novel ...

Research paper thumbnail of IC-service

Proceedings of the 2007 ACM symposium on Applied computing - SAC '07, 2007

Research paper thumbnail of Reo + mCRL2 : A framework for model-checking dataflow in service compositions

Formal Aspects of Computing, 2012

Research paper thumbnail of Modeling and Simulation of Selected Operational IT Risks in the Banking Sector (Extended Version

Research paper thumbnail of Rsfs.2015.

Research paper thumbnail of Model Description Language (MDL): A Standard for Modeling and Simulation

Research paper thumbnail of Data-Aware Design and Verification of Service Compositions with Reo and mCRL2

Research paper thumbnail of Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools

Research paper thumbnail of Template-based treemaps to preserve spatial constraints

Research paper thumbnail of Time and Data Aware Analysis of Graphical Service Models

Research paper thumbnail of Tissue Motifs and Multi-scale Transport Physiology

Research paper thumbnail of Input-output Conformance Testing for Channel-based Service Connectors

Research paper thumbnail of Pharmacometrics Markup Language (PharmML): Opening New Perspectives for Model Exchange in Drug Development

Research paper thumbnail of From Timed Reo Networks to Networks of Timed Automata

Research paper thumbnail of The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Implementing a domain-specific language for model-based drug development

Research paper thumbnail of ApiNATOMY: Towards Multiscale Views of Human Anatomy