11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)最新文献_第3页

Communicating complex systems 通信复杂系统

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.53

P. Welch, F. Barnes, F. Polack

{"title":"Communicating complex systems","authors":"P. Welch, F. Barnes, F. Polack","doi":"10.1109/ICECCS.2006.53","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.53","url":null,"abstract":"This paper presents efficient mechanisms for the direct implementation of formal models of highly concurrent dynamic systems. The formalisms captured are CSP (for concurrency) and B (for state transformation). The technology is driving the development of occam-pi, a multiprocessing language based on a careful combination of ideas from Hoare's CSP (giving compositional semantics, refinement and safety/liveness analysis) and Milner's pi-calculus (giving dynamic network construction and mobility). We have been experimenting with systems developing as layered networks of self-organising neighbourhood-aware communicating processes, with no need for advanced planning or centralised control. The work reported is part of our TUNA (`Theory Underpinning Nanotech Assemblers') project, a partnership with colleagues from the Universities of York, Surrey and Kent, which is investigating formal approaches to the capture of safe emergent behaviour in highly complex systems. A particular study modelling artificial blood platelets is described. A novel contribution reported here is a fast resolution of (CSP external) choice between multiway process synchronisations from which any participant may withdraw its offer at any time. The software technology scales to millions of processes per processor and distributes over common multiprocessor clusters","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129804524","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}

引用次数: 35

An assertional correctness proof of a self-stabilizing /spl lscr/-exclusion algorithm 一种自稳定/spl lscr/-排除算法的断言正确性证明

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.49

M. Besta, F. Stomp

引用次数: 0

Formal specification-based online monitoring 基于正式规范的在线监测

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.56

Hui Liang, J. Dong, Jing Sun, R. Duke, R. Seviora

{"title":"Formal specification-based online monitoring","authors":"Hui Liang, J. Dong, Jing Sun, R. Duke, R. Seviora","doi":"10.1109/ICECCS.2006.56","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.56","url":null,"abstract":"With current trends towards more complex software system and use of higher level languages, a monitoring technique is of increasing importance for the areas such as performance enhancement, dependability, correctness checking and so on. In this paper, we present a formal specification-based online monitoring technique. The key idea of our technique is to build a linking system, which connects a specification animator and a program debugger. The required information about dynamic behaviors of the formal specification and concrete implementation of a target system is obtained from the animator and the debugger. Based on that information, the judgment on the consistency of the concrete implementation with the formal specification will be provided. Not embedding any instrumentation code into the target system, our monitoring technique will not alter the dynamic behavior of the target system. Animating the formal specification, rather than annotating the target system with extra formal specifications, our monitoring technique separates the implementation-dependent description of the monitored objects and the formal requirement specification of them","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125078946","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

Model-based design of distributed collaborative bioinformatics processes in the jABC jABC中分布式协同生物信息学过程的模型设计

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.61

T. Margaria, C. Kubczak, M. Njoku, B. Steffen

引用次数: 35

Modeling bacterial growth patterns in the presence of antibiotic 模拟细菌在抗生素作用下的生长模式

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.62

Ray Walshe

{"title":"Modeling bacterial growth patterns in the presence of antibiotic","authors":"Ray Walshe","doi":"10.1109/ICECCS.2006.62","DOIUrl":"https://doi.org/10.1109/ICECCS.2006.62","url":null,"abstract":"With recent growth in systems biology research there has been a significant increase in complex systems modeling research relating to biological systems. Multi-drug resistant (MDR) organisms are a threat not only as hospital-acquired infections, but also now as community-acquired infections. Multilocus sequence typing (MLST) can genetically characterize clones of several bacterial pathogens, allowing the tracking of hypervirulent/ antibiotic resistant lineages and the extent of acquisition and horizontal movement of the resistance genes by Feil, E.J., et al, (2004). This paper describes the initial research using an agent based cellular automata approach to model the complex sub-cellular processes in bacteria growth. Rules derived from a biological background simulate the growth of bacteria under a number of conditions including the presence of antibiotic. Altering the level of antibiotic in the bacteria environment and effects on the growth curves was explored and verified. Bacterial survival under a number of conditions (pH, temperature, nutrient concentration) emergent growth patterns and collective behaviour were also studied. A case study using the parameters reflecting the bacterium Escherichia coli was simulated and the results were validated. The software provides an in silico laboratory where bacteria can be grown under a variety of rules and conditions thereby learning the underlying mechanisms of behaviour at a local level, which collectively generate the global behaviour of interest","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115757709","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}

引用次数: 6

Inference of design pattern instances in UML models via logic programming 通过逻辑编程对UML模型中的设计模式实例进行推理

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.58

Dae-Kyoo Kim, Lunjin Lu

引用次数: 20

Integrating timed automata into tabu algorithm for HW-SW partitioning 将时间自动机集成到HW-SW分区禁忌算法中

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI: 10.1109/ICECCS.2006.60

G. Pu, Chong Zhang, Z. Qiu, Jifeng He, W. Yi

引用次数: 2