已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

Leveraging SPARQL Queries for UML Consistency Checking

计算机科学 SPARQL公司 本体论 Web本体语言 类图 UML的应用 本体语言 猫头鹰-S 软件工程 统一建模语言 程序设计语言 情报检索 RDF公司 语义网 社交语义网 软件 哲学 认识论
作者
Bingyang Wei,Jing Sun
出处
期刊:International Journal of Software Engineering and Knowledge Engineering [World Scientific]
卷期号:31 (04): 635-654 被引量:4
标识
DOI:10.1142/s0218194021500170
摘要

Context and motivation: Multiple-viewed requirements modeling method describes the system to-be from different perspectives. Some requirements models are then specified in various UML diagrams. Question/problem: Managing those models can be tedious and error-prone, since a lot of CASE tools provide poor support for reasoning and consistency checking. Principal ideas/results: Ontology is a formal notation for describing concepts and their relations in a domain. Since software requirements are a kind of knowledge, we propose to adopt a knowledge engineering approach for managing the consistency of requirements models. In this paper, an ontology for three most commonly used UML diagrams is developed in Web Ontology Language (OWL). The transformation of UML class, sequence and state diagrams to OWL knowledge base is presented. Owing to the underlying logical reasoning capability of OWL, a semantic query language, SPARQL (SPARQL Protocol and RDF Query Language), is used to query the knowledge base for consistency checking. Contribution: This paper introduces a semantic web-based knowledge engineering approach to represent and manage software requirements knowledge in OWL. By experimenting with a concrete software system, we demonstrate the feasibility and applicability of this knowledge approach.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
寻道图强应助郝南烟采纳,获得30
1秒前
2秒前
刘敏完成签到 ,获得积分10
2秒前
桐桐应助HC采纳,获得10
3秒前
可久斯基完成签到 ,获得积分10
6秒前
酷波er应助无语的稀采纳,获得10
6秒前
还行吧完成签到 ,获得积分10
8秒前
东东发布了新的文献求助10
8秒前
8秒前
11秒前
帝国之花发布了新的文献求助10
11秒前
小白智取饼干应助心儿采纳,获得20
11秒前
小二郎应助amber采纳,获得10
15秒前
科研通AI2S应助吕培森采纳,获得10
16秒前
fengyuke发布了新的文献求助10
18秒前
不想吃大蒜完成签到 ,获得积分10
18秒前
19秒前
21秒前
一路向北完成签到,获得积分10
22秒前
Luoling完成签到 ,获得积分10
22秒前
22秒前
24秒前
25秒前
西川完成签到 ,获得积分10
25秒前
一路向北发布了新的文献求助10
26秒前
慕青应助帝国之花采纳,获得10
27秒前
王婷完成签到,获得积分10
31秒前
sonya完成签到 ,获得积分10
32秒前
心儿完成签到,获得积分10
33秒前
amengptsd完成签到,获得积分10
33秒前
双黄应助科研通管家采纳,获得10
34秒前
李健应助科研通管家采纳,获得10
34秒前
田様应助科研通管家采纳,获得10
34秒前
wanci应助科研通管家采纳,获得10
34秒前
34秒前
小二郎应助一路向北采纳,获得10
37秒前
41秒前
快乐谷蓝发布了新的文献求助10
41秒前
实验大牛完成签到,获得积分10
42秒前
医疗废物专用车乘客完成签到,获得积分10
47秒前
高分求助中
The late Devonian Standard Conodont Zonation 2000
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China 1500
Very-high-order BVD Schemes Using β-variable THINC Method 890
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 800
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 800
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3256743
求助须知:如何正确求助?哪些是违规求助? 2898909
关于积分的说明 8302988
捐赠科研通 2568075
什么是DOI,文献DOI怎么找? 1394872
科研通“疑难数据库(出版商)”最低求助积分说明 652924
邀请新用户注册赠送积分活动 630631