Dynamic Evolution of Requirement Goal Deployed on Network Environment

Abstract:

Under the network environment, it inevitably exists inconsistency and dynamic information in users requirements because of the complicated and volatile network, update, restructuring and so on. This paper studies how to handle the inconsistent information and keep correctness of the requirement goals from the users. It also provides relevant rules of model evolution under dynamic environment. With maximal consistent set, the inconsistent information can be reserved to keep the indeterminacy in the early stage and expand the function of the software. It is helpful for the next step of the software development.

• Periodical: Advanced Materials Research (Volumes 756-759)
• Pages: 2197-2203
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.756-759.2197
• Online since: September 2013
• Authors: Yang Liu, Jin Zhao Wu
• Keywords: Dynamic Information, Inconsistent Information, Maximal Consistent Set, Requirement Goal, Software Development

References

[1] B. Nuseibeh, S. Easterbrook, Requirements Engineering: A Roadmap", Proc. of the 22th Int, 1 Conf. on Software Engineering, Future of Software Engineering Track. Limerick: IEEE Computer Press, 2000, pp: 35-46.

DOI: 10.1145/336512.336523

[2] R. Balzer, Tolerating Inconsistency", Proc. of the 23th Int, 1 Conf. on Software Engineering. Toronto: IEEE Computer Press, 2001, pp: 665-667.

[3] C. Ghezzi, B. Nuseibeh. Guest Editorial: Introductio to the Special Section, IEEE Trans. on Software Engineering, 25(6), pp: 782-785, (1999).

DOI: 10.1109/tse.1999.824393

[4] S. Easterbrook, M. Chechik, Int'1 Workshop on Living with Inconsistency", Proc. of the 23th Int, 1 Conf. on Software Engineering. Toronto: IEEE Computer Press, 2001, pp: 749-750.

[5] K. Boness, A. Finkelstein, R. Harrison, A Lightweight Technique for Assessing Risks in Requirements Analysis, IET Software, 2(1), pp: 46-47, (2008).

DOI: 10.1049/iet-sen:20070068

[6] P. Brescinani, P. Giorgini, F. Giunchiglia, et al, Tropos: An Agent-Oriented Software Development Methodology, Joural of Autonomous Agents and Multi-agent Systems, 8(3), pp: 203-236, (2004).

DOI: 10.1023/b:agnt.0000018806.20944.ef

[7] A. Hunter, Reasoning with Contradictory Information Using Quasi-Classical Logic, Jounal of Logic and Computation, 10(5), pp: 677-703, (2000).

DOI: 10.1093/logcom/10.5.677

[8] J. Grant, A. Hunter, Measuring Inconsistency in Knowledgebases, Journal of Intelligent Information Systems, 27(2), pp: 159-184, (2006).

DOI: 10.1007/s10844-006-2974-4

[9] A. Hunter, Paraconsistent Logics, In Hadbook of Defeasible Reasoning ad Uncertainty Managemet , Kluwer, (1998).

[10] J. Grant and V. S. Subrahmanian, Applications of Paraconsistency in Data and Knowledge Bases, Synthese, 2000, 125: 121-132.

[11] K. Q. He, R. Peng, J. Wang, et al, Network Software, Science Press, China, (2008).