Model eco-systems: Preliminary work

Conferences in Research and Practice in Information Technology Series

Volumn 79, Issue , 2008, Pages

  Ghose, Aditya ^a   Koliadis, George ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

Conceptual modeling; Model management

Indexed keywords

COMPUTATIONAL MODEL; CONCEPTUAL MODEL; CONCEPTUAL MODELING; ENGINEERING PROCESS; MODEL CHANGE; MODEL MANAGEMENT; REFINEMENT PROCESS; SOFTWARE ENGINEERING PRACTICES; STABLE STATE;

SOFTWARE ENGINEERING;

EID: 84864546141     PISSN: 14451336     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. A. Finkelstein, D. Gabbay, A. H. J. K. & Nuseibeh, B. (1994), 'Inconsistency handling in multiperspective specifications', IEEE Transactions on Software Engineering 20, 569-578.
2. Balzer, R. (1991), Tolerating inconsistency, in 'Proceedings of the 13th International Conference on Software Engineering', pp. 158-165. (Pubitemid 21689983)
3. Bashar Nuseibeh, J. K. & Finkelstein, A. (1994), 'A framework for expressing the relationships between multiple views in requirements specification', IEEE Transactions on Software Engineering 20(10), 760-773.
4. Colette Rolland, C. S. & Achour, C. B. (1998), 'Guiding goal modeling using scenarios', IEEE Transactions on Software Engineering 24(12), 1055-1071.
5. Constance L. Heitmeyer, R. D. J. & Labaw, B. G. (1996), 'Automated consistency checking of requirements specifications', ACM Transactions on Software Engineering Methodology 5, 231-261.
6. Finkelstein, A., Easterbrook, S., Kramer, J. & Nuseibeh, B. (1992), Requirements engineering through viewpoints, Technical report, Imperial College, Department of Computing, 180 Queen's Gate, London SW7 2BZ.
7. Heimdahl, M. P. E. & Leveson, N. G. (1996), 'Completeness and consistency in hierarchical statebased requirements', IEEE Transactions on Software Engineering 22(6), 363-377. (Pubitemid 126771676)
8. Hoffman, R. R., Shadbolt, N. R., Burton, M. & Klein, G. (1995), 'Eliciting knowledge from experts: A methodological analysis', Organizational Behaviour and Human Decision Processes 62, 129-158.
9. Hunter, A. & Nuseibeh, B. (1997), Analysing inconsistent specifications, in 'Proceedings of the Third IEEE International Symposium on Requirements Engineering', IEEE Computer Society Press, pp. 78-86.
10. IEEE (Volume 24, Number 11, 1998), IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development, IEEE Computer Society.
11. Liu, W., Easterbrook, S. & Mylopoulos, J. (2002), Rule-based detection of inconsistency in uml models, in 'Workshop on Consistency Problems in UML-Based Software Development'.
12. Nuseibeh, B. & Russo, A. (1999), Using abduction to evolve inconsistent requirements specifications, in 'Proc. of ICSE99 workshop on Software Change and Evolution'.
13. OMG (2007), 'Unified modeling language', http://www.uml.org/ .
14. Ryan, M. (1993), Defaults in specifications, in 'IEEE International Symposium on Requirements Engineering', IEEE Computer Society Press, San Diego, CA, pp. 142-149. URL: citeseer.ist.psu.edu/ryan93defaults.html
15. S. M. Easterbrook, A. C. W. Finkelstein, J. K. & Nuseibeh, B. A. (1994), 'Coordinating distributed viewpoints: The anatomy of a consistency check.', Journal of Concurrent Engineering: Research and Applications (Special Issue on Conflict Management) 2(3).
16. Tsai, J. J. P., Weigert, T. J. & Jang, H.-C. (1992), A hybrid knowledge representation as a basis of requirement specification and specification analysis, in 'IEEE Transactions on Software Engineering', Vol. 18, pp. 1076-1100.
17. van Lamsweerde, A., Letier, E. & Darimont, R. (1998), 'Managing conflicts in goal-driven requirements engineering', IEEE Transactions on Software Engineering 24, 908-926. (Pubitemid 128740282)
18. White, S. (2006), Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (http://www.bpmn.org).
19. Wiels, V. & Easterbrook, S. M. (1998), Management of evolving specifications using category theory, in 'Proceedings of the International Conference on Automated Software Engineering (ASE)'.
20. Wing, J. M. (1990), 'A specifier's introduction to formal methods', IEEE Computer 23(9), 8-24.
21. Young, R. M. & Gammack, J. (1987), The role of psychological techniques and intermediate representations in knowledge elicitation., in 'Proceedings of the First European Workshop on Knowledge Acquisition and Knowledge-based Systems'.
22. Yue, K. (1987), What does it mean to say that a specification is complete?, in 'Proceedings of the Fourth International Workshop on Software Specification and Design (IWSSD87), Monterey'.