Identifying application key knowledge through system operations modeling

Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007

Volumn , Issue , 2007, Pages 246-254

  Alarcón, Pedro P ^a   Garbajosa, Juan ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Agile methodologies; Complex systems; Concept of operations; Conops; Engineering of computer based systems; Systems software operations modeling; Systems software systems engineering; User system interaction modeling

Indexed keywords

CHLORINE COMPOUNDS; INDUSTRIAL ENGINEERING; SPECIFICATIONS; STANDARDS; SYSTEMS ENGINEERING; TECHNOLOGY; UNIFIED MODELING LANGUAGE;

AGILE METHODOLOGIES; COGNITIVE INFORMATICS; COMPLEX SYSTEMS; COMPLEX SYSTEMS ENGINEERING; CONCEPT OF OPERATIONS; CONOPS; ENGINEERING OF COMPUTER BASED SYSTEMS; ENGINEERING STANDARDS; INTERNATIONAL CONFERENCES; LIFE-CYCLE; META MODELLING; MODEL SYSTEMS; STANDARD BODIES; SYSTEM DEVELOPMENT; SYSTEM IMPLEMENTATION; SYSTEM KNOWLEDGE; SYSTEM OPERATIONS; SYSTEM SPECIFICATIONS; SYSTEMS/SOFTWARE OPERATIONS MODELING; SYSTEMS/SOFTWARE SYSTEMS ENGINEERING; USER-SYSTEM INTERACTION MODELING;

KNOWLEDGE ENGINEERING;

EID: 48049108674     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2007.4341897     Document Type: Conference Paper

References (39)

1. IEEE, IEEE Std 1471-2000. Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE Press, New York, October 2000.
2. IEEE Std 1362-1998. Guide for Information Technology - System Definition - Concept of Operations (ConOps) Document, IEEE Press, New York, March 1998.
3. European Cooperation for Space Standardization, ECSS, Space engineering - Test and operations procedure language, European Space Agency, April 2006.
4. OMG, Unified Modeling Language: Superstructure, version 2.1.1, Object Modeling Group, February 2007.
5. Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada. IEEE Computer Society, 2002.
6. D. Patel, S. Patel, and Y. Wang, Eds., Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 18-20 August 2003, London, UK. IEEE Computer Society, 2003.
7. C. W. Chan, W. Kinsner, Y. Wang, and D. M. Miller, Eds., Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada. IEEE Computer Society, 2004.
8. Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), August 8-10, 2005, University of California, Irvine, USA. IEEE, 2005.
9. Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2006), 17-19 July 2002, Beijing, China. IEEE Computer Society, 2006.
10. M. Broy and K. Stoelen, Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.
11. D. Parnas and J. Mandey, "Functional documents for computer systems," Science of Computer Programming, vol. 25, no. 1, pp. 41-61, 1995.
12. S. P. Miller and A. C. Tribble, "Extending the four-variable model to bridge the system-software gap," in Proceedings of the 20th Digital Avionics Systems Conference (DASC'01), Florida, USA, 2001.
13. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated consistency checking of requirements specifications," ACM Transactions on Software Engineering and Methodology, vol. 5, no. 3, pp. 231-261, 1996.
14. T. K. Sateesh, "Conceptual model of real-time systems: a perspective." in Proceedings of the 1995 ACM symposium on Applied computing (SAC'95). Nashville, Tennessee, USA: ACM Press, 1995, pp. 206-209.
15. Y. Wang, "On abstract systems and system algebra," in Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI'O6). Beijing, China: IEEE CS Press, July 2006, pp. 332-343.
16. IEEE Std 1233-1998. Guide for Software Developing System Requirements Specifications, IEEE Press, New York, December 1998.
17. IEEE Std 830-1998. Recommended Practice for Software Requirements Specifications, IEEE Press, New York, June 1998.
18. European Cooperation for Space Standardization, ECSS, System engineering - Part 6: Functional and technical specifications, European Space Agency, October 2005.
19. _ , Space engineering - Software, European Space Agency, July 2000.
20. OMG, Object Constraint Language Specification, version 2.0, Object Management Group, June 2006.
21. P. P. Alarcon, J. Garbajosa, A. Crespo, and B. Magro, "Automated integrated support for requirements-area and validation processes related to system development," in Proceedings of the 2nd IEEE International Conference on Industrial Informatics (INDIN'O4). IEEE Press, 2004.
22. The Rational Unified Process, Rational Software Corporation, 2003.
23. M. Jackson, "The world and the machine," in Proceedings of the 17th international conference on Software engineering (ICSE '95). ACM Press, 1995, pp. 283-292.
24. M. Broy, "Characterizing the behavior of reactive systems by trace sets," Technische Universitat Munchen, Tech. Rep. TUM-I9102, 1995.
25. Message Sequence Charts, International Telecommunications Union. Telecommunication Standardization Sector Recommendation Z.120, 2000.
26. S. Uchitel, R. Chatley, J. Kramer, and J. Magee, "Goal and scenario validation: a fluent combination," in Requirements Eng. Springer-Verlag, 2006, pp. 123-137.
27. I. Daz, O. Pastor, and A. Matteo, "Modeling interactions using role-driven patterns," in Proceedings of the 13th International Conference on Requirements Engineering (RE'O5). IEEE Press, 2005.
28. E. Letier, J. Kramer, J. Magee, and S. Uchitel, "Monitoring and control in scenario-based requirements analysis," in Proceedings of the 27th IEEE/ACM International Conference on Software Engineering (ICSE'O5), 2005.
29. M. Jackson, Software Requirements & Specifications - A Lexicon of Practice, Principles and Prejudices, A. Press, Ed. Addison-Wesley, 1995.
30. B. Meyer, "Applying design by contract," Computer, vol. 25, no. 10, pp. 40-51, 1992.
31. H. Giese, "Contract-based component system design," in Proceedings of the 33rd Hawaii International Conference on System Sciences, 2000.
32. A. Rashid, P. Sawyer, A. Moreira, and J. Araujo, "Early aspects: a model for aspect-oriented requirements engineering," in Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'O2). IEEE Press, 2002.
33. S. Clarke and R. J. Walker, "Composition patterns: An approach to designing reusable aspects," in Proceedings of the International Conference on Software Engineering (ICSE'01), 2001.
34. G. Zhang, "Towards aspect-oriented class diagrams," in Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'O5). IEEE Press, 2005.
35. J. Whittle, J. Arajo, and D.-K. Kim, "Modeling and validating interaction aspects in uml," in Proceedings of the 4th Workshop on Aspect Oriented Modeling with UML (AOSD), 2003.
36. D. Heuzeroth, "Compass: Tool-supported adaptation of interactions," in Proceedings of the 19th International Conference on Automated Software Engineering (ASE'O4). IEEE, 2004.
37. P. Lin, A. MacArthur, and J. Leaney, "Defining autonomic computing: A software engineering perspective," in Proceedings of the 2005 Australian Software Engineering Conference (ASWEC'O5). IEEE Press, 2005.
38. International Standardization Organization, "ISO /IEC 19761:2003, Software Engineering - COSMIC-FFP - A Functional Size Measurement Method, International Standardization Organization," ISO/IEC 19761:2003, 2002.
39. B. J. Krämer, M. P. Papazoglou, and F. Cubera, "05462 abstracts collection - service oriented computing (soc)," in Service Oriented Computing (SOC), ser. Dagstuhl Seminar Proceedings, F. Cubera, B. J. Kramer, and M. P. Papazoglou, Eds., no. 05462. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006, [date of citation: 2006-01-01].