13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)最新文献

Verifying Semistructured Data Normalization Using PVS 用PVS验证半结构化数据规范化

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.23

S. Lee, Jing Sun, G. Dobbie, L. Groves

{"title":"Verifying Semistructured Data Normalization Using PVS","authors":"S. Lee, Jing Sun, G. Dobbie, L. Groves","doi":"10.1109/ICECCS.2008.23","DOIUrl":"https://doi.org/10.1109/ICECCS.2008.23","url":null,"abstract":"The dramatic expansion of semistructured data has led to the development of database systems for manipulating the data. Despite its huge potential, there is still a lack of formality and verification support in the design of good semistructured databases. Like traditional database systems, developed semistructured database systems should contain minimal redundancies and update anomalies, in order to store and manage the data effectively. Several normalization algorithms have been proposed to satisfy these needs, by transforming the schema of the semistructured data into a better form. It is essential to ensure that the normalized schema remains semantically equivalent to its original form. In this paper, we present tool support for reasoning about the correctness of semistructured data normalization. The proposed approach uses the ORA-SS data modeling notation and defines its correctness criteria and rules in the PVS formal language. It further utilizes the PVS theorem prover to perform automated checking on the normalized schema, checking that functional dependencies are preserved, no data is lost and no spurious data is created. In summary, our approach not only investigates the characteristics of semistructured data normalization, but also provides a scalable and automated first step towards reasoning about the correctness of normalization algorithms on semistructured data.","PeriodicalId":186804,"journal":{"name":"13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116867960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Linking VDM and Z 连接VDM和Z

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.36

J. Woodcock, Leo Freitas

引用次数: 12

Task Mapping in Heterogeneous MPSoCs for System Level Design 面向系统级设计的异构mpsoc任务映射

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.18

K. Vivekanandarajah, S. K. Pilakkat

引用次数: 17

Revisiting Safe Realizability of Message Sequence Charts Specifications 重新审视消息序列图规范的安全可实现性

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.9

A. Mousavi, B. Far

引用次数: 1

The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level 语义Web服务的挑战:在编排级别处理复杂性

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.41

T. Margaria

引用次数: 12

POSIX and the Verification Grand Challenge: A Roadmap POSIX和验证大挑战:路线图

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.35

Leo Freitas, J. Woodcock, A. Butterfield

引用次数: 30

Dealing with AADL End-to-End Flow Latency with UML MARTE 用UML MARTE处理AADL端到端流延迟

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.14

Su-Young Lee, F. Mallet, R. Simone

引用次数: 27

A Formal Model of Semantic Web Service Ontology (WSMO) Execution 语义Web服务本体(WSMO)执行的形式化模型

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.25

Hai H. Wang, Nicholas Gibbins, T. Payne, Ahmed Saleh, Jun Sun

引用次数: 5

Efficient Embedded Runtime Systems through Port Communication Optimization 通过端口通信优化的高效嵌入式运行时系统

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.20

P. Feiler

引用次数: 15

On Extracting Tests from a Testable Model in the Context of Domain Engineering 领域工程中从可测试模型中提取测试的研究

13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) Pub Date : 2008-03-31 DOI: 10.1109/ICECCS.2008.17

Soheila Bashardoust-Tajali, J. Corriveau

{"title":"On Extracting Tests from a Testable Model in the Context of Domain Engineering","authors":"Soheila Bashardoust-Tajali, J. Corriveau","doi":"10.1109/ICECCS.2008.17","DOIUrl":"https://doi.org/10.1109/ICECCS.2008.17","url":null,"abstract":"Software testing is the traditional way to verify the functionality of a given software system against its requirements. In domain engineering, these requirements consist of variabilities and commonalities observed in a domain and captured in a domain model [5]. We remark that the latter may be used to obtain an elaborate design; however tests cannot be derived from it. This observation proceeds from the fact that testing techniques relevant to single-system engineering cannot deal with the variability intrinsic to a domain. Therefore, in the context of domain engineering, we claim that there is a need for a new modeling approach enabling domain testing. We have proposed elsewhere [1, 3, 4] a testable [2] domain model (based on the domain requirements) that takes the form of generative contracts. In this paper, we present a test extraction technique applicable to this testable model. This technique generates tests for validating behavioural aspects of an implemented member of the domain against that member's requirements. That is, upon selecting a specific member to test, the variability of domain tests is eliminated, resulting in member- specific tests, which are to be bound to artefacts of that member's corresponding implementation in order to obtain executable tests for this member. A case study on a domain-specific testable model will illustrate the steps of our proposed test extraction technique.","PeriodicalId":186804,"journal":{"name":"13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134429489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 12