A Research of Mosaic Force Elements Orchestration Based on Process Calculus
Pages 13 - 22
Abstract
Mosaic warfare system includes networks, digital mosaic elements, artificial intelligent systems and autonomous unmanned systems. Mosaic force elements were created for force elements in cyberspace. Networks connect all physical force elements and digital force elements. Command & control relationships and the operation mechanism will be mapped into cyberspace, promoting the combination of dynamic force elements. This research focuses on the orchestration of digital force elements based on web service combination theory tool. The attributes and quality of digital force element are defined, and then a semantically expanded process calculus is utilized to conduct formal modeling and validate force agent orchestration. Numerical results show that the proposed method improves the overall quality of force element combination.
References
[1]
Zhao Peng, Zhu Yilan. Overview and development prospect of big data technology[J]. Astronautical Systems Engineering Technology,2022,6(01):55-60.
[2]
Jiang Donghan, Liu Xiaoping, Wu Zuodong. A review of research on the development status of cloud computing technology [J]. China Computer & Communication, 2019(08):170-171.
[3]
GRAYSON T. 2017.Strategic technology office outlines vision for "mosaic warfare" .EB /OL. https://www.darpa.mil/news-events/Strategic Technology Office Outlines Vision for “Mosaic Warfare”. 2017-08-04
[4]
JUSTIN G, LAMB J, O'DONOUGHUE N A.2021. Findings on mosaic warfare from a colonel blotto game. Technical Report No. RR-4397-OSD RAND Corporation, Santa Monica
[5]
Lei Z-Xin, Li Yuan-Ping.1999. Analysis of U.S. Mosaic Warfare Operations Concept .[J]. Military Digest. 2019 (3): 7-10
[6]
Qin Jiang long. 2018. Research on modeling and mapping for web service portfolio. PhD Thesis. Yunnan University
[7]
YUAN Min.2012.Modeling and Verifying Business Transactions for Web Services. PhD Thesis. Nanjing University of Aeronautics and Astronautics
[8]
Milner R.1980.A calculus of communicating systems [M], Springer Verlag. ISBN: 978-3-540-38311-6
[9]
Hoare C A R. Communicating sequential processes [J]. Communications of the ACM, 1978, 21 (8): 666–677
[10]
Andova, S. Process algebra with probabilistic choice. In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS’99, Bamberg, Germany, May 26-28, 1999. Proceedings. pp. 111–129(1999)
[11]
Milner R., Parrow J., Walker D. A calculus of mobile processes. Part I/II. Information and Computation, 1992,100(1):1-77.
[12]
A. Lapadula, R. Pugliese, and F. Tiezzi. A Calculus for Orchestration of Web Services (full version). Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze, 2006. Available at http://rap.dsi.unifi.it/cows.
[13]
Salaun G, Bordeaux L, Schaerf M. Describing and reasoning on Web services using process algebra [C]. Proceedings of the 2nd IEEE International Conference on Web Services, San Diego, CA, USA, 2004, 1(2): 43-50
[14]
Ferrara A, Aiello M, Aoyama M, Web services: a process algebra approach [C]. Proceedings of the 2nd International Conference on Service Oriented Computing, New York City, NY, USA, 2004: 242-251
[15]
Shalini Batra and Seema Bawa, "Review of Machine Learning Approaches to Semantic Web Service Discovery," Journal of Advances in Information Technology, Vol. 1, No. 3, pp. 146-151, August,2010.
[16]
Brogi A., Canal C., Pimentel E., Vallecillo A. Formalizing Web Service Choreographies[J]. Electronic Notes in Theoretical Computer Science, 2004,105.73-94.
[17]
Momtahan L., Martin A., Roscoe A. W. A Taxonomy of Web Services Using CSP[J]. Electronic Notes in Theoretical Computer Science, 2006,151(2):71-87.
[18]
Butler M., Ferreira C. An operational semantics for St AC, a language for modelling long-running business transactions. In: R. D. Nicola, G.-L. Ferrari, G. Meredith, eds. Proc. of the 6th International Conference on Coordination Models and Languages (COORDINATION 2004), LNCS 2949, Belin, Heidelberg: Springer-Verlag, 2004. 87-104.
[19]
Shalini Batra and Seema Bawa, "Review of Machine Learning Approaches to Semantic Web Service Discovery," Journal of Advances in Information Technology, Vol. 1, No. 3, pp. 146-151, August,2010.
[20]
Bai Yu, Zhang Yaoxue, Zhou Yuezhi. A formal description method for services based on process algebra [J]. Journal of Tsinghua University ( Natural Science Edition ), 2012, 52(12): 1769-1775
[21]
Fei Dai, Li-Xia Wang, Zhong-Wen Xie, etc. An algebraic derivation method for verifying the behavior of software evolutionary processes [J]. Jiang Journal of Jiangsu University (Natural Sciences Edition), 2013, 34(5): 548-555
[22]
Feng L.-Y., Li D.-S., Li W.-C. Intelligent process modeling based on π-algorithm[J]. Computer Technology and Development, 2012, 22(9): 111-115
[23]
Bocchi L., Laneve C., Zavattaro G. A Calculus for Long-Running Transactions. In: E. Najm, U.Nestmann, P. Stevens, eds. Proc. of the 6th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), LNCS 2884, Belin, Heidelberg: Springer-Verlag, 2003. 124-138.
[24]
Wang Peng, Xiang Yang, Zong Yuwei, Based on the spatio-temporal π-calculus for component replaceability determination of information-physical fusion systems [J]. Journal of Electronics and Information, 2012, 34(10): 2494-2500
[25]
P. Cau, S. Manca, R. Demontis, D. Muroni, C. Soru, L. Muscas, E. Lorrai, and P. A. Marras, "A NoSQL Geo-Data Solution for the Consumption of Services on the Web," Vol. 7, No. 2, pp. 88-92, May, 2016.
[26]
Yusuke Matsuno, Kyoji Kawagoe, and Kenta Oku, "Graphical User-ID with Partial Match Scheme and Application for Mobile Web-Services," Vol. 7, No. 3, pp. 161-166, August, 2016.
[27]
Mohamed Gharzouli and Mahmoud Boufaida, "PM4SWS: A P2P Model for Semantic Web Services Discovery and Composition," Journal of Advances in Information Technology, Vol. 2, No. 1, pp. 15-26,February, 2011.
[28]
Lapadula A, Pugliese R, Tiezzi F. 2008. Service discovery and negotiation with COWS. J. Electronic Notes in Theoretical Computer Science, 2008, 200(3): 133-154
[29]
Lapadula A, Pugliese R, Tiezzi F. 2007.COWS: A timed service-oriented calculus. In Proceedings of the 4th International Conference on Theoretical Aspects of Computing, Macao, China, 4711: 275-290
[30]
Zhou Lingye. Design and implementation of a task-based collaborative path planning method for UAVs. MA Thesis. Beijing University of Posts and Telecommunications, 2021.
[31]
Wang Xu. Design and development of Web GIS-based UAV data transmission and visualization system. MA Thesis. Kunming University of Technology,2020
Index Terms
- A Research of Mosaic Force Elements Orchestration Based on Process Calculus
Recommendations
Analysis of moving loads using force-based finite elements
An analysis method for moving loads computes the internal force history in a structural member at the integration points of force-based finite elements as opposed to the end forces of a refined displacement-based finite element mesh. The force-based ...
Research of Electro-dynamic Repulsion Force of Miniature Circuit Breaker Contact
ICCECT '13: Proceedings of the 2013 International Conference on Control Engineering and Communication TechnologyIn the process of miniature circuit breaker's short circuit breaking, the short-circuit current will cause the electro-dynamic repulsion force between the pairs of contacts, thus there is a certain influence on the movement of operating mechanism. The ...
The Enriched Crouzeix---Raviart Elements are Equivalent to the Raviart---Thomas Elements
For both the Poisson model problem and the Stokes problem in any dimension, this paper proves that the enriched Crouzeix---Raviart elements are actually identical to the first order Raviart---Thomas elements in the sense that they produce the same ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
August 2022
188 pages
ISBN:9781450396837
DOI:10.1145/3561877
Copyright © 2022 ACM.
© 2022 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 20 November 2022
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
ICISS 2022
ICISS 2022: 2022 the 5th International Conference on Information Science and Systems
August 26 - 28, 2022
Beijing, China
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 31Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)2
Reflects downloads up to 22 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format