Analysis of Concurrent Processes in Internet of Things Solutions | SpringerLink
Skip to main content
Springer Nature Link
Log in

Analysis of Concurrent Processes in Internet of Things Solutions

  • Conference paper
  • First Online:
Information Technology for Management: Business and Social Issues (FedCSIS-AIST 2021, ISM 2021)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 442))

Abstract

The rapid development of ICT has enabled services that did not exist before. Such services include shared vehicles like e-scooters, which offer a quick and simple mobility. A method of analysis for e-scooter and client collaboration is offered to detect e-scooter and client collaboration risks when e-scooter is used concurrently by many clients. The method provides for the creation of an exact description of e-scooter and customer cooperation processes, from which e-scooter and all-executable scenarios are created through symbolic execution. When analyzing the results of scenario execution, e-scooter and client collaboration risks are identified. The obtained result allows e-scooter system developers to prevent or mitigate identified risks, while customers have the possibility to use new transport services effectively but knowing the potential risks.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5147
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 6434
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Bicevskis, J., Nikiforova, A., Karnitis, G., Oditis, I., Bicevska, Z.: Risks of concurrent execution in E-commerce processes. In: Ganzha, M., Maciaszek, L., Paprzycki, M., Ślęzak D. (eds.) Proceedings of the 16th Conference on Computer Science and Intelligence Systems ACSIS, pp. 447–451 (2021). https://doi.org/10.15439/2021F70

  2. Bicevskis, J., Karnitis, G.: Testing of execution of concurrent processes. In: Robal, T., Haav, H.-M., Penjam, J., Matulevičius, R. (eds.) DB&IS 2020. CCIS, vol. 1243, pp. 265–279. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-57672-1_20

    Chapter  Google Scholar 

  3. Nikiforova, A., Bicevskis, J., Karnitis, G.: Towards a concurrence analysis in business processes. In: Proceedings of the 7th International Conference on Social Network Analysis, Management and Security (SNAMS), pp. 1–6 (2020). https://doi.org/10.1109/SNAMS52053.2020.9336566

  4. Barzdins, J., Bicevskis, J., Kalnins, A.: Automatic construction of complete sample systems for testing. In: Proceedings of the IFIP 1977 Congress, North Holland, pp. 57–62 (1977)

    Google Scholar 

  5. Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. ACM Comput. Surv. 3(2), 67–78 (1971). https://doi.org/10.1145/356586.356588

    Article  MATH  Google Scholar 

  6. Xi, Y., Zhang, J., Xiang, F.: The implementation of a communication deadlock analysis based on the theory of deadlock analysis for the actor model. J. Softw. Eng. Appl. 12, 393–405 (2021). https://doi.org/10.4236/jsea.2019.1210024

  7. Rajesh Kumar, R., Shanbhag, V., Dinesha, K.V.: Automated deadlock detection for large Java libraries. In: Goswami, D., Hoang, T.A. (eds.) ICDCIT 2021. LNCS, vol. 12582, pp. 129–144. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-65621-8_8

    Chapter  Google Scholar 

  8. Mitschele-Thiel, A.: Systems Engineering with SDL: Developing Performance-Critical Communication Systems. Wiley, Hoboken (2001)

    Google Scholar 

  9. O’Callaghan, E., Murray, J.: The International Review of Retail, Distribution and Consumer Research 27(5), 435–436 (2017). https://doi.org/10.1080/09593969.2017.1391957

    Article  Google Scholar 

  10. Forsythe, S., Shi, B.: Consumer patronage and risk perceptions in Internet shopping. J. Bus. Res. 56(11), 867–875 (2003). https://doi.org/10.1016/S0148-2963(01)00273-9

    Article  Google Scholar 

  11. Amirtha, R., Sivakumar, V.J., Hwang, Y.: Influence of perceived risk dimensions one-shopping behavioral intention among women—a family life cycle stage perspective. J. Theor. Appl. Electron. Commer. Res. 16(3), 320–355 (2021). https://doi.org/10.3390/jtaer16030022

    Article  Google Scholar 

  12. Rita, P., Oliveira, T., Farisa, A.: The impact of e-service quality and customer satisfaction on customer behavior in online shopping. Heliyon 5(10), e02690 (2019). https://doi.org/10.1016/j.heliyon.2019.e02690

    Article  Google Scholar 

  13. Pappas, N.: Marketing strategies, perceived risks, and consumer trust in online buying behavior. J. Retail. Consum. Serv. 29, 92–103 (2016). https://doi.org/10.1016/j.jretconser.2015.11.007

    Article  Google Scholar 

  14. Sellami, C., Baron, M., Bechchi, M., Hadjali, A., Jean, S., Chabot, D.: Towards a unified framework for computational trust and reputation models for e-commerce applications. In: Cherfi, S., Perini, A., Nurcan, S. (eds.) RCIS 2021. LNBIP, vol. 415, pp. 616–622. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-75018-3_44

    Chapter  Google Scholar 

  15. Bezes, C.: Comparing online and in-store risks in multichannel shopping. Int. J. Retail Distrib. Manag. 44(3), 284–300 (2016). https://doi.org/10.1108/IJRDM-02-2015-0019

    Article  Google Scholar 

  16. Wai, K., Dastane, O., Johari, Z., Ismail, N.B.: Perceived risk factors affecting consumers’ online shopping behavior. J. Asian Finance Econ. Bus. 6(4), 249–260 (2019). https://doi.org/10.2139/ssrn.3498766

    Article  Google Scholar 

  17. Ziemba, E., Chmielarz, W. (eds): Information Technology for Management: Towards Business Excellence. 15th Conference, ISM 2020, and FedCSIS-IST 2020 Track, held as part of FedCSIS, Sofia, Bulgaria, 6–9 September 2020, extended and revised selected papers. Springer, Cham (2020). https://link.springer.com/book/10.1007/978-3-030-71846-6

  18. Padua, D. (ed.): Encyclopedia of Parallel Computing. Springer, Boston (2011). https://doi.org/10.1007/978-0-387-09766-4

    Book  MATH  Google Scholar 

  19. van der Aalst, W.M.P., van Hee, K.M., Hofstede, A.H.M.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2011). https://doi.org/10.1007/s00165-010-0161-4

    Article  MathSciNet  MATH  Google Scholar 

  20. Bekey, A.: Autonomous Robots. Massachusetts Institute of Technology (2005). ISBN 0-262-02578-7

    Google Scholar 

  21. Bicevskis, J., Gaujens, A., Kalnins, J.: Testing of RUAV and UGV robots’ collaboration in the simulink environment. Baltic J. Modern Comput. 1(3–4), 156–177 (2013)

    Google Scholar 

Download references

Acknowledgements

This work has been supported by University of Latvia projects: AAP2016/B032 “Innovative information technologies” and research project “Competence Centre of Information and Communication Technologies” of EU Structural funds, contract No. 1.2.1.1/18/A/003 signed between IT Competence Centre and Central Finance and Contracting Agency, Research No. 1.6 “Concurrence analysis in business process models”.

Author information

Authors and Affiliations

  1. Department of Computing, University of Latvia, Raina Boulevard 19, Riga, 1586, Latvia

    Janis Bicevskis & Girts Karnitis

  2. DIVI Grupa Ltd., Avotu Street 40a-33, Riga, 1009, Latvia

    Zane Bicevska & Ivo Oditis

Authors
  1. Janis Bicevskis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Girts Karnitis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zane Bicevska
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ivo Oditis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Janis Bicevskis .

Editor information

Editors and Affiliations

  1. University of Economics in Katowice, Katowice, Poland

    Ewa Ziemba

  2. University of Warsaw, Warsaw, Poland

    Witold Chmielarz

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bicevskis, J., Karnitis, G., Bicevska, Z., Oditis, I. (2022). Analysis of Concurrent Processes in Internet of Things Solutions. In: Ziemba, E., Chmielarz, W. (eds) Information Technology for Management: Business and Social Issues. FedCSIS-AIST ISM 2021 2021. Lecture Notes in Business Information Processing, vol 442. Springer, Cham. https://doi.org/10.1007/978-3-030-98997-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-98997-2_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-98996-5

  • Online ISBN: 978-3-030-98997-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation