for Journals by Title or ISSN
for Articles by Keywords
help

Publisher: Inderscience Publishers   (Total: 437 journals)

 A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

        1 2 3 | Last   [Sort by number of followers]   [Restore default list]

Showing 1 - 200 of 437 Journals sorted alphabetically
African J. of Accounting, Auditing and Finance     Hybrid Journal   (Followers: 12)
African J. of Economic and Sustainable Development     Hybrid Journal   (Followers: 14)
Afro-Asian J. of Finance and Accounting     Hybrid Journal   (Followers: 8, SJR: 0.195, CiteScore: 0)
American J. of Finance and Accounting     Hybrid Journal   (Followers: 23)
Asian J. of Management Science and Applications     Hybrid Journal   (Followers: 4)
Atoms for Peace: an Intl. J.     Hybrid Journal   (Followers: 3)
Electronic Government, an Intl. J.     Hybrid Journal   (Followers: 16, SJR: 0.424, CiteScore: 1)
EuroMed J. of Management     Hybrid Journal  
European J. of Cross-Cultural Competence and Management     Hybrid Journal   (Followers: 7)
European J. of Industrial Engineering     Hybrid Journal   (Followers: 10, SJR: 0.595, CiteScore: 1)
European J. of Intl. Management     Hybrid Journal   (Followers: 1, SJR: 0.3, CiteScore: 1)
Global Business and Economics Review     Hybrid Journal   (Followers: 2, SJR: 0.154, CiteScore: 0)
Interdisciplinary Environmental Review     Hybrid Journal   (Followers: 3)
Intl. J. of Abrasive Technology     Hybrid Journal   (Followers: 2, SJR: 0.279, CiteScore: 0)
Intl. J. of Accounting and Finance     Hybrid Journal   (Followers: 16)
Intl. J. of Accounting, Auditing and Performance Evaluation     Hybrid Journal   (Followers: 14, SJR: 0.14, CiteScore: 0)
Intl. J. of Ad Hoc and Ubiquitous Computing     Hybrid Journal   (Followers: 8, SJR: 0.21, CiteScore: 1)
Intl. J. of Adaptive and Innovative Systems     Hybrid Journal   (Followers: 1)
Intl. J. of Additive and Subtractive Materials Manufacturing     Hybrid Journal   (Followers: 5)
Intl. J. of Advanced Intelligence Paradigms     Hybrid Journal   (Followers: 5, SJR: 0.144, CiteScore: 1)
Intl. J. of Advanced Mechatronic Systems     Hybrid Journal   (Followers: 3, SJR: 0.132, CiteScore: 0)
Intl. J. of Advanced Media and Communication     Hybrid Journal   (Followers: 22, SJR: 0.124, CiteScore: 0)
Intl. J. of Advanced Operations Management     Hybrid Journal   (Followers: 8, SJR: 0.163, CiteScore: 0)
Intl. J. of Aerodynamics     Hybrid Journal   (Followers: 31)
Intl. J. of Agent-Oriented Software Engineering     Hybrid Journal   (Followers: 3)
Intl. J. of Agile and Extreme Software Development     Hybrid Journal   (Followers: 6)
Intl. J. of Agile Systems and Management     Hybrid Journal   (Followers: 6, SJR: 0.878, CiteScore: 3)
Intl. J. of Agricultural Resources, Governance and Ecology     Hybrid Journal   (Followers: 2, SJR: 0.152, CiteScore: 0)
Intl. J. of Alternative Propulsion     Hybrid Journal   (Followers: 12)
Intl. J. of Applied Cryptography     Hybrid Journal   (Followers: 10, SJR: 0.455, CiteScore: 3)
Intl. J. of Applied Decision Sciences     Hybrid Journal   (Followers: 1, SJR: 0.275, CiteScore: 1)
Intl. J. of Applied Management Science     Hybrid Journal   (Followers: 4, SJR: 0.229, CiteScore: 0)
Intl. J. of Applied Nonlinear Science     Hybrid Journal   (Followers: 1)
Intl. J. of Applied Pattern Recognition     Hybrid Journal   (Followers: 5)
Intl. J. of Applied Systemic Studies     Hybrid Journal   (SJR: 0.129, CiteScore: 0)
Intl. J. of Arab Culture, Management and Sustainable Development     Hybrid Journal   (Followers: 7)
Intl. J. of Artificial Intelligence and Soft Computing     Hybrid Journal   (Followers: 11)
Intl. J. of Arts and Technology     Hybrid Journal   (Followers: 6, SJR: 0.225, CiteScore: 1)
Intl. J. of Auditing Technology     Hybrid Journal   (Followers: 5)
Intl. J. of Automation and Control     Hybrid Journal   (Followers: 11, SJR: 0.189, CiteScore: 1)
Intl. J. of Automation and Logistics     Hybrid Journal   (Followers: 5)
Intl. J. of Automotive Composites     Hybrid Journal   (Followers: 4)
Intl. J. of Automotive Technology and Management     Hybrid Journal   (Followers: 6, SJR: 0.374, CiteScore: 1)
Intl. J. of Autonomic Computing     Hybrid Journal   (Followers: 2)
Intl. J. of Autonomous and Adaptive Communications Systems     Hybrid Journal   (Followers: 3, SJR: 0.128, CiteScore: 0)
Intl. J. of Aviation Management     Hybrid Journal   (Followers: 5)
Intl. J. of Banking, Accounting and Finance     Hybrid Journal   (Followers: 16, SJR: 0.137, CiteScore: 0)
Intl. J. of Behavioural Accounting and Finance     Hybrid Journal   (Followers: 10)
Intl. J. of Behavioural and Healthcare Research     Hybrid Journal   (Followers: 8)
Intl. J. of Bibliometrics in Business and Management     Hybrid Journal   (Followers: 2)
Intl. J. of Big Data Intelligence     Hybrid Journal   (Followers: 22)
Intl. J. of Bio-Inspired Computation     Hybrid Journal   (Followers: 1, SJR: 0.721, CiteScore: 4)
Intl. J. of Bioinformatics Research and Applications     Hybrid Journal   (Followers: 15, SJR: 0.157, CiteScore: 0)
Intl. J. of Biomechatronics and Biomedical Robotics     Hybrid Journal   (Followers: 4)
Intl. J. of Biomedical Engineering and Technology     Hybrid Journal   (Followers: 4, SJR: 0.205, CiteScore: 1)
Intl. J. of Biomedical Nanoscience and Nanotechnology     Hybrid Journal   (Followers: 6)
Intl. J. of Biometrics     Hybrid Journal   (Followers: 4, SJR: 0.155, CiteScore: 0)
Intl. J. of Biotechnology     Hybrid Journal   (Followers: 5, SJR: 0.269, CiteScore: 1)
Intl. J. of Bonds and Derivatives     Hybrid Journal   (Followers: 1)
Intl. J. of Business and Emerging Markets     Hybrid Journal   (Followers: 2)
Intl. J. of Business and Globalisation     Hybrid Journal   (Followers: 3, SJR: 0.263, CiteScore: 1)
Intl. J. of Business and Systems Research     Hybrid Journal   (Followers: 1, SJR: 0.104, CiteScore: 0)
Intl. J. of Business Competition and Growth     Hybrid Journal   (Followers: 5)
Intl. J. of Business Continuity and Risk Management     Hybrid Journal   (Followers: 14)
Intl. J. of Business Environment     Hybrid Journal   (Followers: 3)
Intl. J. of Business Excellence     Hybrid Journal   (Followers: 3, SJR: 0.274, CiteScore: 1)
Intl. J. of Business Forecasting and Marketing Intelligence     Hybrid Journal   (Followers: 6)
Intl. J. of Business Governance and Ethics     Hybrid Journal   (Followers: 4, SJR: 0.171, CiteScore: 0)
Intl. J. of Business Information Systems     Hybrid Journal   (Followers: 15, SJR: 0.266, CiteScore: 1)
Intl. J. of Business Innovation and Research     Hybrid Journal   (Followers: 10, SJR: 0.28, CiteScore: 1)
Intl. J. of Business Intelligence and Data Mining     Hybrid Journal   (Followers: 30, SJR: 0.249, CiteScore: 2)
Intl. J. of Business Intelligence and Systems Engineering     Hybrid Journal  
Intl. J. of Business Performance and Supply Chain Modelling     Hybrid Journal   (Followers: 17, SJR: 0.18, CiteScore: 0)
Intl. J. of Business Performance Management     Hybrid Journal   (Followers: 9, SJR: 0.197, CiteScore: 1)
Intl. J. of Business Process Integration and Management     Hybrid Journal   (Followers: 12, SJR: 0.149, CiteScore: 1)
Intl. J. of Chinese Culture and Management     Hybrid Journal   (Followers: 4)
Intl. J. of Circuits and Architecture Design     Hybrid Journal   (Followers: 6)
Intl. J. of Cloud Computing     Hybrid Journal   (Followers: 25)
Intl. J. of Cognitive Biometrics     Hybrid Journal   (Followers: 3)
Intl. J. of Cognitive Performance Support     Hybrid Journal   (Followers: 4)
Intl. J. of Collaborative Engineering     Hybrid Journal   (Followers: 1)
Intl. J. of Collaborative Enterprise     Hybrid Journal   (Followers: 1)
Intl. J. of Collaborative Intelligence     Hybrid Journal   (Followers: 3)
Intl. J. of Communication Networks and Distributed Systems     Hybrid Journal   (Followers: 7, SJR: 0.177, CiteScore: 1)
Intl. J. of Comparative Management     Hybrid Journal  
Intl. J. of Competitiveness     Hybrid Journal   (Followers: 2)
Intl. J. of Complexity in Applied Science and Technology     Hybrid Journal  
Intl. J. of Complexity in Leadership and Management     Hybrid Journal   (Followers: 28)
Intl. J. of Computational Biology and Drug Design     Hybrid Journal   (Followers: 1, SJR: 0.231, CiteScore: 1)
Intl. J. of Computational Complexity and Intelligent Algorithms     Hybrid Journal   (Followers: 2)
Intl. J. of Computational Economics and Econometrics     Hybrid Journal   (Followers: 5)
Intl. J. of Computational Intelligence in Bioinformatics and Systems Biology     Hybrid Journal   (Followers: 11)
Intl. J. of Computational Intelligence Studies     Hybrid Journal   (Followers: 3)
Intl. J. of Computational Materials Science and Surface Engineering     Hybrid Journal   (Followers: 6, SJR: 0.135, CiteScore: 0)
Intl. J. of Computational Science and Engineering     Hybrid Journal   (Followers: 2, SJR: 0.373, CiteScore: 1)
Intl. J. of Computational Systems Engineering     Hybrid Journal   (Followers: 1)
Intl. J. of Computational Vision and Robotics     Hybrid Journal   (Followers: 6, SJR: 0.129, CiteScore: 0)
Intl. J. of Computer Aided Engineering and Technology     Hybrid Journal   (Followers: 3, SJR: 0.131, CiteScore: 0)
Intl. J. of Computer Applications in Technology     Hybrid Journal   (Followers: 1, SJR: 0.225, CiteScore: 1)
Intl. J. of Computers in Healthcare     Hybrid Journal   (Followers: 3)
Intl. J. of Computing Science and Mathematics     Hybrid Journal   (Followers: 1, SJR: 0.299, CiteScore: 1)
Intl. J. of Continuing Engineering Education and Life-Long Learning     Hybrid Journal   (Followers: 5, SJR: 0.196, CiteScore: 0)
Intl. J. of Convergence Computing     Hybrid Journal   (Followers: 2)
Intl. J. of Corporate Governance     Hybrid Journal   (Followers: 4)
Intl. J. of Corporate Strategy and Social Responsibility     Hybrid Journal   (Followers: 4)
Intl. J. of Creative Computing     Hybrid Journal   (Followers: 1)
Intl. J. of Critical Accounting     Hybrid Journal   (Followers: 3)
Intl. J. of Critical Computer-Based Systems     Hybrid Journal   (Followers: 1, SJR: 0.127, CiteScore: 0)
Intl. J. of Critical Infrastructures     Hybrid Journal   (Followers: 2, SJR: 0.173, CiteScore: 1)
Intl. J. of Data Analysis Techniques and Strategies     Hybrid Journal   (Followers: 3, SJR: 0.23, CiteScore: 0)
Intl. J. of Data Mining and Bioinformatics     Hybrid Journal   (Followers: 17, SJR: 0.217, CiteScore: 1)
Intl. J. of Data Mining, Modelling and Management     Hybrid Journal   (Followers: 14, SJR: 0.209, CiteScore: 0)
Intl. J. of Data Science     Hybrid Journal   (Followers: 10)
Intl. J. of Decision Sciences, Risk and Management     Hybrid Journal   (Followers: 10)
Intl. J. of Decision Support Systems     Hybrid Journal   (Followers: 1)
Intl. J. of Design Engineering     Hybrid Journal   (Followers: 12)
Intl. J. of Digital Culture and Electronic Tourism     Hybrid Journal   (Followers: 6)
Intl. J. of Digital Enterprise Technology     Hybrid Journal   (Followers: 1)
Intl. J. of Digital Signals and Smart Systems     Hybrid Journal   (Followers: 1)
Intl. J. of Diplomacy and Economy     Hybrid Journal   (Followers: 6)
Intl. J. of Dynamical Systems and Differential Equations     Hybrid Journal   (Followers: 1, SJR: 0.184, CiteScore: 0)
Intl. J. of Earthquake and Impact Engineering     Hybrid Journal   (Followers: 4)
Intl. J. of Economic Policy in Emerging Economies     Hybrid Journal   (Followers: 3, SJR: 0.134, CiteScore: 1)
Intl. J. of Economics and Accounting     Hybrid Journal   (Followers: 1)
Intl. J. of Economics and Business Research     Hybrid Journal   (Followers: 5, SJR: 0.129, CiteScore: 0)
Intl. J. of Education Economics and Development     Hybrid Journal   (Followers: 5, SJR: 0.156, CiteScore: 0)
Intl. J. of Electric and Hybrid Vehicles     Hybrid Journal   (Followers: 9, SJR: 0.225, CiteScore: 1)
Intl. J. of Electronic Banking     Hybrid Journal   (Followers: 5)
Intl. J. of Electronic Business     Hybrid Journal   (Followers: 2, SJR: 0.24, CiteScore: 0)
Intl. J. of Electronic Customer Relationship Management     Hybrid Journal   (Followers: 3, SJR: 0.148, CiteScore: 0)
Intl. J. of Electronic Democracy     Hybrid Journal   (Followers: 2)
Intl. J. of Electronic Finance     Hybrid Journal   (Followers: 5, SJR: 0.155, CiteScore: 0)
Intl. J. of Electronic Governance     Hybrid Journal   (SJR: 0.142, CiteScore: 1)
Intl. J. of Electronic Healthcare     Hybrid Journal   (Followers: 2, SJR: 0.254, CiteScore: 1)
Intl. J. of Electronic Marketing and Retailing     Hybrid Journal   (Followers: 7, SJR: 0.249, CiteScore: 1)
Intl. J. of Electronic Security and Digital Forensics     Hybrid Journal   (Followers: 9, SJR: 0.137, CiteScore: 0)
Intl. J. of Electronic Transport     Hybrid Journal   (Followers: 8)
Intl. J. of Embedded Systems     Hybrid Journal   (Followers: 5, SJR: 0.48, CiteScore: 1)
Intl. J. of Emergency Management     Hybrid Journal   (Followers: 11, SJR: 0.185, CiteScore: 0)
Intl. J. of Energy Technology and Policy     Hybrid Journal   (Followers: 7, SJR: 0.224, CiteScore: 0)
Intl. J. of Engineering Management and Economics     Hybrid Journal   (Followers: 4)
Intl. J. of Engineering Systems Modelling and Simulation     Hybrid Journal   (Followers: 8, SJR: 0.175, CiteScore: 0)
Intl. J. of Enterprise Network Management     Hybrid Journal   (SJR: 0.118, CiteScore: 0)
Intl. J. of Entrepreneurial Venturing     Hybrid Journal   (Followers: 1, SJR: 0.308, CiteScore: 1)
Intl. J. of Entrepreneurship and Innovation Management     Hybrid Journal   (Followers: 27, SJR: 0.255, CiteScore: 1)
Intl. J. of Entrepreneurship and Small Business     Hybrid Journal   (Followers: 28, SJR: 0.401, CiteScore: 1)
Intl. J. of Environment and Health     Hybrid Journal   (Followers: 5, SJR: 0.181, CiteScore: 0)
Intl. J. of Environment and Pollution     Hybrid Journal   (Followers: 2, SJR: 0.215, CiteScore: 1)
Intl. J. of Environment and Sustainable Development     Hybrid Journal   (Followers: 17, SJR: 0.132, CiteScore: 0)
Intl. J. of Environment and Waste Management     Hybrid Journal   (Followers: 4, SJR: 0.175, CiteScore: 0)
Intl. J. of Environment, Workplace and Employment     Hybrid Journal   (Followers: 5, SJR: 0.117, CiteScore: 0)
Intl. J. of Environmental Engineering     Hybrid Journal   (Followers: 6)
Intl. J. of Environmental Policy and Decision Making     Hybrid Journal   (Followers: 3)
Intl. J. of Environmental Technology and Management     Hybrid Journal   (Followers: 1, SJR: 0.141, CiteScore: 0)
Intl. J. of Exergy     Hybrid Journal   (Followers: 2, SJR: 0.396, CiteScore: 1)
Intl. J. of Experimental and Computational Biomechanics     Hybrid Journal   (Followers: 8)
Intl. J. of Experimental Design and Process Optimisation     Hybrid Journal   (Followers: 6)
Intl. J. of Export Marketing     Hybrid Journal   (Followers: 3)
Intl. J. of Financial Engineering and Risk Management     Hybrid Journal   (Followers: 4)
Intl. J. of Financial Innovation in Banking     Hybrid Journal   (Followers: 3)
Intl. J. of Financial Markets and Derivatives     Hybrid Journal   (Followers: 4)
Intl. J. of Financial Services Management     Hybrid Journal   (Followers: 1)
Intl. J. of Food Safety, Nutrition and Public Health     Hybrid Journal   (Followers: 19)
Intl. J. of Forensic Engineering     Hybrid Journal   (Followers: 3)
Intl. J. of Forensic Engineering and Management     Hybrid Journal   (Followers: 3)
Intl. J. of Foresight and Innovation Policy     Hybrid Journal   (Followers: 6, SJR: 0.115, CiteScore: 0)
Intl. J. of Functional Informatics and Personalised Medicine     Hybrid Journal   (Followers: 4)
Intl. J. of Fuzzy Computation and Modelling     Hybrid Journal   (Followers: 2)
Intl. J. of Gender Studies in Developing Societies     Hybrid Journal   (Followers: 5)
Intl. J. of Global Energy Issues     Hybrid Journal   (Followers: 9, SJR: 0.199, CiteScore: 0)
Intl. J. of Global Environmental Issues     Hybrid Journal   (Followers: 3, SJR: 0.153, CiteScore: 0)
Intl. J. of Global Warming     Hybrid Journal   (Followers: 2, SJR: 0.259, CiteScore: 1)
Intl. J. of Globalisation and Small Business     Hybrid Journal   (Followers: 13, SJR: 0.233, CiteScore: 1)
Intl. J. of Governance and Financial Intermediation     Hybrid Journal  
Intl. J. of Granular Computing, Rough Sets and Intelligent Systems     Hybrid Journal   (Followers: 2)
Intl. J. of Green Economics     Hybrid Journal   (Followers: 5, SJR: 0.209, CiteScore: 0)
Intl. J. of Grid and Utility Computing     Hybrid Journal   (SJR: 0.341, CiteScore: 2)
Intl. J. of Happiness and Development     Hybrid Journal   (Followers: 8)
Intl. J. of Healthcare Technology and Management     Hybrid Journal   (Followers: 7, SJR: 0.139, CiteScore: 0)
Intl. J. of Heavy Vehicle Systems     Hybrid Journal   (Followers: 7, SJR: 0.23, CiteScore: 0)
Intl. J. of High Performance Computing and Networking     Hybrid Journal   (Followers: 4, SJR: 0.428, CiteScore: 1)
Intl. J. of High Performance Systems Architecture     Hybrid Journal   (Followers: 6, SJR: 0.116, CiteScore: 0)
Intl. J. of Higher Education and Sustainability     Hybrid Journal   (Followers: 5)
Intl. J. of Hospitality and Event Management     Hybrid Journal   (Followers: 4)
Intl. J. of Human Factors and Ergonomics     Hybrid Journal   (Followers: 18, SJR: 0.117, CiteScore: 0)
Intl. J. of Human Factors Modelling and Simulation     Hybrid Journal   (Followers: 15)
Intl. J. of Human Resources Development and Management     Hybrid Journal   (Followers: 27, SJR: 0.162, CiteScore: 0)
Intl. J. of Human Rights and Constitutional Studies     Hybrid Journal   (Followers: 14)
Intl. J. of Humanitarian Technology     Hybrid Journal  
Intl. J. of Hydrology Science and Technology     Hybrid Journal   (Followers: 7, SJR: 0.43, CiteScore: 2)
Intl. J. of Hydromechatronics     Hybrid Journal  
Intl. J. of Image Mining     Hybrid Journal   (Followers: 1)
Intl. J. of Immunological Studies     Hybrid Journal   (Followers: 1)
Intl. J. of Indian Culture and Business Management     Hybrid Journal  
Intl. J. of Industrial and Systems Engineering     Hybrid Journal   (Followers: 11, SJR: 0.34, CiteScore: 1)
Intl. J. of Industrial Electronics and Drives     Hybrid Journal   (Followers: 3)
Intl. J. of Information and Coding Theory     Hybrid Journal   (Followers: 6)
Intl. J. of Information and Communication Technology     Hybrid Journal   (Followers: 8, SJR: 0.13, CiteScore: 0)
Intl. J. of Information and Computer Security     Hybrid Journal   (Followers: 17, SJR: 0.141, CiteScore: 0)
Intl. J. of Information and Decision Sciences     Hybrid Journal   (Followers: 10, SJR: 0.233, CiteScore: 1)

        1 2 3 | Last   [Sort by number of followers]   [Restore default list]

Journal Cover
International Journal of Critical Computer-Based Systems
Journal Prestige (SJR): 0.127
Number of Followers: 1  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1757-8779 - ISSN (Online) 1757-8787
Published by Inderscience Publishers Homepage  [437 journals]
  • µQC: a property-based testing framework for L4 microkernels
    • Authors: Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus
      Pages: 1 - 24
      Abstract: As the complexity of software is increasing, traditional testing methods are unable to provide a high level of assurance for critical software systems, particularly operating system kernels, which represent the root of trust in computing systems. At the same time, formal verification is costly and difficult even for small system software such as microkernels, which are relied on for applications with high security and/or safety requirements, e.g., automotive and cellular radio. Our work closes a trade-off between the strong guarantees of formal verification and the flexibility of traditional software testing methods such as unit testing. We argue that this trade-off can be readily closed by property-based testing. In this paper we present <i>µ</i>QC, a property-based testing framework for L4 microkernels. We illustrate our prototype by evaluating a significant subset of the L4 API (threading and scheduling) starting from its specification.
      Keywords: software testing; property-based testing; L4 microkernel; application programming interface; API
      Citation: International Journal of Critical Computer-Based Systems, Vol. 8, No. 1 (2018) pp. 1 - 24
      PubDate: 2018-05-18T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2018.091826
      Issue No: Vol. 8, No. 1 (2018)
       
  • Extending GSPNs for the modelling, analysis and performance evaluation of
           dynamic systems
    • Authors: Samir Tigane, Laid Kahloul, Samir Bourekkache, Souheib Baarir
      Pages: 25 - 44
      Abstract: Cloud-based systems are open systems where resources are theoretically non-limited and the number of connected users/devices varies all the time. These systems are close to dynamic systems where the structure changes at runtime. The objective of this paper is to present a new formalism 'extended generalised stochastic Petri nets (EGSPNs)' dedicated to model, analyse and evaluate the performance of reconfigurable systems. In its basic form, GSPNs extend Petri nets by introducing stochastic time. In this paper, GSPNs are enriched with a set of mechanisms allowing the reconfigurability of their structure at runtime. The new formalism 'EGSPNs' is applied to model, analyse and evaluate the performance of a case study.
      Keywords: Petri nets; generalised stochastic Petri nets; rewriting systems; extended GSPNs; reconfigurable systems; formal modelling; qualitative verification; performance evaluation; dynamic systems; critical systems
      Citation: International Journal of Critical Computer-Based Systems, Vol. 8, No. 1 (2018) pp. 25 - 44
      PubDate: 2018-05-18T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2018.091837
      Issue No: Vol. 8, No. 1 (2018)
       
  • On context-independent and context-aware cloud services
           substitutability verification
    • Authors: Sofiane Bourouz, Nadia Zeghib
      Pages: 45 - 77
      Abstract: The composition of web services in cloud computing allows making them cooperative in order to satisfy a client request. However, the substitution of one of these services by another must ensure the proper functioning of the new composition. Hence there is a need to develop adequate methods to verify the services substitution. In this aim, we propose, in the present paper, two verification methods. The first one deals with context-independent substitution and sets if a web service can substitute another one. The second one focuses on context-aware substitution and decides the substitutability of web services in a specific composition. These methods use open coloured Petri net (OCNets) as a formal framework for modelling web services and their composition in cloud computing. This model allows the structural analysis of web services' interfaces. For the behavioural verification, we use services automata, which allow capturing OCNets' behaviour and checking its preservation.
      Keywords: web service; web services substitutability; open coloured Petri nets; OCNets; context-awareness; context-aware; structural verification; behavioural verification; web services composition; composability; cloud services
      Citation: International Journal of Critical Computer-Based Systems, Vol. 8, No. 1 (2018) pp. 45 - 77
      PubDate: 2018-05-18T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2018.091839
      Issue No: Vol. 8, No. 1 (2018)
       
  • Diagnosability analysis and fault diagnosis of P-time labelled Petri
           nets
    • Authors: Sofiane Bourouz, Nadia Zeghib
      Pages: 78 - 103
      Abstract: This paper addresses the problem of analysing the diagnosability of a P-time labelled Petri net with partial information. Indeed, the set of transitions is partitioned into those labelled with the empty string <i>ε</i> called silent (as their firing cannot be detected) including the faulty transitions and the observable ones. The diagnosability can be defined as the ability to detect the type of a failure within a finite number of steps after its occurrence - the system is then said to be diagnosable. The proposed approach is based on the synthesis of a modified state observer where the fault transitions are considered as observable allowing the construction of a sampath-like diagnoser. The novelty of the developed approach resides in the fact that, although the time factor is considered as intervals, the diagnoser is computed thanks to the underlying untimed Petri net structure of the P-time labelled model considered. Furthermore, the method relies on linear programming techniques and the schedulability analysis of particular firing sequences exhibited by the analysis of the obtained diagnoser and does not require the building of the state class graph.
      Keywords: Petri nets; fault diagnosis; diagnosability; estimation; time dependent systems
      Citation: International Journal of Critical Computer-Based Systems, Vol. 8, No. 1 (2018) pp. 78 - 103
      PubDate: 2018-05-18T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2018.091856
      Issue No: Vol. 8, No. 1 (2018)
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs
Your IP address: 54.166.133.84
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-