<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

To every manifest domain a CSP expression – a rôle for mereology in computer science

Name: To every manifest domain a CSP expression – a rôle for mereology in computer science
Creator: Bjørner, Dines
Keywords: Manifest domain, Domain description, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Mereology

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 2018 Denmark Publisher:Elsevier BVJournal:Journal of Logical and Algebraic Methods in Programming, volume 94, pages 91-108 (issn: 2352-2208,

Authors: Bjørner, Dines;

doi: 10.1016/j.jlamp.2017.09.005

To every manifest domain a CSP expression – a rôle for mereology in computer science

- Summary
- Subjects
- Metrics

Abstract

Abstract We give an abstract model 1 of parts and part-hood relations, of Stanislaw Leśniewski's mereology [2] . Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems , etc. We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes [3] , that is: a λ-expression.

Country

Denmark

Related Organizations

Technical University of Denmark
Denmark

Keywords

Manifest domain, Domain description, Mereology

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	5
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average