125 citations · 125 across the 1 of their papers we have counts for
5 papers · 1 filter
Automated Prototype Generation from Formal Requirements Model
Yilong Yang, Xiaoshan Li, Zhiming Liu +3
Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually developing a proto…
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture
Yilong Yang, Quan Zu, Peng Liu +2
This paper takes up the problem of medical resource sharing through MicroService architecture without compromising patient privacy. To achieve this goal, we suggest refactoring the…
Integrating UML with Service Refinement for Requirements Modeling and Analysis
Yilong Yang, Jing Yang, Xiaoshan Li
Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, an…
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Yilong Yang, Xiaoshan Li, Quan Zu
With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However…
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers
Yilong Yang, Xiaoshan Li, Nafees Qamar +2
Legacy Electronic Health Records (EHRs) systems were not developed with the level of connectivity expected from them nowadays. Therefore, interoperability weakness inherent in the…