A logic-based framework for reasoning support in software evolution

Vescoukis, VC; Papaspyrou, N; Skordalakis, E

dc.contributor.author	Vescoukis, VC	en
dc.contributor.author	Papaspyrou, N	en
dc.contributor.author	Skordalakis, E	en
dc.date.accessioned	2014-03-01T01:11:36Z
dc.date.available	2014-03-01T01:11:36Z
dc.date.issued	1996	en
dc.identifier.issn	0302-9743	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/11729
dc.subject	meta-models	en
dc.subject	decision-based software development	en
dc.subject	logic-based models	en
dc.subject	knowledge-based software engineering	en
dc.subject	conceptual modelling	en
dc.subject	reasoning	en
dc.subject	software evolution support	en
dc.subject.classification	Computer Science, Theory & Methods	en
dc.subject.other	KNOWLEDGE	en
dc.subject.other	SYSTEMS	en
dc.title	A logic-based framework for reasoning support in software evolution	en
heal.type	journalArticle	en
heal.identifier.primary	10.1007/3-540-61292-0_3	en
heal.identifier.secondary	http://dx.doi.org/10.1007/3-540-61292-0_3	en
heal.language	English	en
heal.publicationDate	1996	en
heal.abstract	Software development has been acknowledged as a complicated problem-solving activity done in a complex, multi-dimensional space. People actively involved in software development need support in understanding and documenting not only the description of the software developed, but also the problem domain and the reasons behind decisions taken during evolution. Development methods do not provide such support, and researchers begin to explore the recording of reasoning in specific phases of software evolution. Several data models have been presented, aiming to support developers by maintaining a repository of deliberation elements of decisions taken during development; these models are usually supported by a special CASE tool that can be classified as a Software decision management system. Using experience gained in the development of large-scale applications in an industrial environment, and experimenting with prototype software design decision management systems, we introduce PROFILE, a conceptual logic-based meta-model that integrates software evolution process modelling with deliberation representation and decision factors. PROFILE enhances existing models by providing support throughout the whole software evolution, by capturing assumptions as real-world reasoning elements, and by maintaining a Knowledge Base of decision-making factors. A prototype Software Evolution Decision Support System based on an instance of PROFILE is also presented in this paper.	en
heal.publisher	SPRINGER-VERLAG BERLIN	en
heal.journalName	ADVANCED INFORMATION SYSTEMS ENGINEERING	en
heal.bookName	LECTURE NOTES IN COMPUTER SCIENCE	en
dc.identifier.doi	10.1007/3-540-61292-0_3	en
dc.identifier.isi	ISI:A1996BH79Q00003	en
dc.identifier.volume	1080	en
dc.identifier.spage	44	en
dc.identifier.epage	59	en