Systems engineering foundations of software systems integration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2426 LNCS, Issue , 2002, Pages 245-259

  Denno, Peter ^a   Feeney, Allison Barnard ^a  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

Business Process; Enterprise Model; Object Management Group; Problem Solver; Software System Integration

Indexed keywords

COMPUTER SOFTWARE; INFORMATION SYSTEMS; INFORMATION USE; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

BUSINESS PROCESS; ENTERPRISE MODELING; OBJECT MANAGEMENT GROUPS; PROBLEM SOLVERS; SOFTWARE SYSTEMS;

SYSTEMS ENGINEERING;

EID: 85048986515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46105-1_29     Document Type: Conference Paper

References (31)

1. Allen, R., Garlan, D., “A Formal Basis for Architectural Connection,” ACM Transactions on Software Engineering and Methodology. July, 1997. 248, 256
2. American Institute of Aeronautics and Astronautics, AIAA Guide for the Verification and Validation of Computational Fluid Dynamics Simulations (G-077-1998), AIAA Standards Series, 1998. 258
3. Barkmeyer, E. J., (Editor). Concepts for Automating Systems Integration, NIST Interagency Report, National Institute of Standards and Technology, Gaithersburg, Maryland, To be published. 246, 250
4. Cook, S., “The UML Family: Profiles, Prefaces and Packages” UML 2000 — The Unified Modeling Language: Advancing the Standard, Proceedings of the Third International Conference, York, UK, Springer Lecture Notes in Computer Science, Vol 1939, October 2000. 255
5. Craig, I. D., Formal Specification of Advanced AI Architectures, Ellis Horwood Limited, Chichester, West Sussex, 1991. 254
6. de Kleer, J., “An Assumption-Based TMS,” Artificial Intelligence 28(2): 127-162, 1986. 254
7. de Kleer, J., “A Perspective on Assumption-Based Truth Maintenance,” Artificial Intelligence 59(1-2): 63-67, 1993. 254
8. Denno, P., Flater, D., Gruninger, M., “Modeling Technology for a Model-Intensive Enterprise,” Proceedings of SSGRR-2001, Infrastructure for e-Business, e-Education, e-Science, and e-Medicine, Scuola Superiore G. Reiss Romoli, L’Aquila, Italy, July, 2001. 246, 254
9. Esprit Consortium AMICE (editors), CIMOSA: Open System Architecture for CIM, 2nd revised and extended edition, Springer-Verlag, Berlin, 1993. 256
10. Federal Information Processing Standards, Integration definition for function modeling (IDEF0), National Institute of Standards and Technology, Gaithersburg, Maryland, 1993. 256
11. Gabb, A., “Requirements Categorization,” Requirements Working Group of the International Council on Systems Engineering (INCOSE), 2002. 251
12. Grady, J. O., System Integration, CRC Press, Boca Raton, Florida, 1994. 251
13. Harel, D., “Statecharts: a visual formalism for complex systems”. Science of Computer Programming 8, 3, June 1987. 256
14. IEEE 1471, IEEE Recommended Practice for Architectural Description of Software-Intensive Systems. Institute of Electrical and Electronics Engineers, Inc., September, 2000. 246, 258
15. ISO/IEC IS 10746, ITU-T X.900, Open Distributed Processing – Reference Model, International Organization for Standards, 1996.
16. Johnson, W. L., Feather, M. S., and Harris, D. R., “Representation and Presentation of Requirements Knowledge,” IEEE Transactions on Software Engineering, Vol 18, No. 10. October, 1992. 255, 257
17. Mark, W., et al., “Commitment-Based Software Development,” IEEE Transactions on Software Engineering, Vol 18, No. 10. October, 1992. 248
18. Minsky, M., The Society of Mind, Simon & Schuster, New York, New York, 1985. 251
19. Object Management Group, Model Driven Architecture (MDA), http://www.omg.org/cgi-bin/doc?ormsc/2001-07-01, July 1, 2001. 256
20. Object Management Group, Meta Object Facility (MOF) Specification, Version 1.3: ftp://ftp.omg.org/pub/docs/ formal/00-04-03March, 2000. 255
21. Object Management Group, Request For Proposal: UML 2.0 Infrastructure, ftp://ftp.omg.org/pub/docs/ad/2000-09-01, September, 2000. 256
22. Oliver, D. O., Personal communications. 252
23. Oliver, D. O., Kelliher, T. P., and Keegan, G. J., Engineering Complex Systems With Models and Objects, McGraw Hill Text, 1997. 256
24. Preece, A., et al. “Better Knowledge Management through Knowledge Engineer-ing,” IEEE Intelligent Systems 16:1, Jan-Feb, 2001. 255, 257
25. Quine, W. V., From a Logical Point of View, second edition, Harvard University Press, Cambridge Massachusetts, 1980. 250
26. Simon, H. A., The Sciences of the Artificial, Third Edition, The MIT Press, Cambridge, Massachusetts, 1996. 252
27. Spivey, J. M., The Z Notation: A Reference Manual, Prentice-Hall, London, 1989. 255
28. Thomas, L. D., “System Engineering the International Space Station,” NASA Langley Research Center, International Space Station Video Conference ’97, 1997. 251
29. Wiederhold, G., “Mediators in the Architecture of Future Information Systems,” IEEE Computer Magazine, March, 1992. 256
30. Zave, P., Jackson, M.: “Four Dark Corners in Requirements Engineering,” ACM Transactions on Software Engineering and Methodology, Vol 6, No. 1, January 1997. 248, 251, 255
31. Zave, P., Jackson, M.: “Conjunction as Composition,” ACM Transactions on Software Engineering and Methodology, Vol 2, No. 4, October, 1993. 255, 257