Остановите войну!
for scientists:
default search action
Lijun Shan
- > Home > Persons > Lijun Shan
Publications
- 2020
- [j6]Ning Fu, Lijun Shan, Chenglie Du, Zhiqiang Liu, Han Peng:
Modelling and verification of ARINC 653 hierarchical preemptive scheduling. Int. Arab J. Inf. Technol. 17(1): 99-106 (2020) - 2017
- [j5]Ning Fu, Yingfeng Zhang, Lijun Shan, Zhiqiang Liu, Han Peng:
A Formal Model to Enforce Trustworthiness Requirements in Service Composition. IEICE Trans. Inf. Syst. 100-D(9): 2056-2067 (2017) - 2015
- [c17]Lijun Shan, Chenglie Du, Hong Zhu:
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. COMPSAC 2015: 147-152 - 2014
- [c16]Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen:
Formal Verification of Lunar Rover Control Software Using UPPAAL. FM 2014: 718-732 - [c15]Yuying Wang, Xingshe Zhou, Lijun Shan, Kejian Miao:
Study on Complex Event Processing for CPS: An Event Model Perspective. UIC/ATC/ScalCom 2014: 305-310 - 2012
- [j4]Lijun Shan, Hong Zhu:
Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. Int. J. Softw. Informatics 6(2): 163-200 (2012) - 2009
- [j3]Lijun Shan, Hong Zhu:
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. Comput. J. 52(5): 571-588 (2009) - [c14]Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett:
Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) 2009: 228-233 - [c13]Iñaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando:
Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. ICAART 2009: 507-512 - [c12]Lijun Shan, Hong Zhu:
Semantics of Metamodels in UML. TASE 2009: 55-62 - [p2]Hong Zhu, Lijun Shan, Ian Bayley, Richard Amphlett:
Formal Descriptive Semantics of UML and Its Applications. UML 2 Semantics and Applications 2009: 95-123 - 2008
- [j2]XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang:
An adaptive casteship mechanism for developing multi-agent systems. Int. J. Comput. Appl. Technol. 31(1/2): 17-34 (2008) - [c11]Lijun Shan, Hong Zhu:
A Formal Descriptive Semantics of UML. ICFEM 2008: 375-396 - 2007
- [j1]Hong Zhu, Lijun Shan:
Modelling Web Services in the agent-oriented modelling language and environment CAMLE. Int. J. Simul. Process. Model. 3(1/2): 26-44 (2007) - 2006
- [c10]Lijun Shan, Hong Zhu:
Testing Software Modelling Tools Using Data Mutation. AST 2006: 43-49 - [c9]Lijun Shan, Hong Zhu:
Specifying Consistency Constraints for Modelling Languages. SEKE 2006: 578-583 - [c8]XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644 - 2005
- [c7]Hong Zhu, Lijun Shan:
Agent-Oriented Modelling and Specification of Web Services. WORDS 2005: 152-159 - [p1]Hong Zhu, Lijun Shan:
Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools. Model-Driven Software Development 2005: 57-89 - 2004
- [c6]Lijun Shan, Hong Zhu:
Consistency Check in Modelling Multi-Agent Systems. COMPSAC 2004: 114-119 - [c5]Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce:
Agent-Oriented Formal Specification of Web Services. GCC Workshops 2004: 633-641 - [c4]Lijun Shan, Hong Zhu:
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. SELMAS 2004: 144-161 - 2003
- [c3]Lijun Shan, Hong Zhu:
Modelling Cooperative Multi-agent Systems. GCC (2) 2003: 994-1001 - [c2]Lijun Shan, Hong Zhu:
Modelling and Specifying Scenarios and Agent Behaviour. IAT 2003: 32-38 - [c1]Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu:
Soft Gene, Role, Agent: MABS Learns from Sociology. IAT 2003: 450-453
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-02 01:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint