Validating conceptual models by transformational prototyping

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

Volumn 685 LNCS, Issue , 1993, Pages 165-183

  Lindland, Odd Ivar ^a   Krogstie, John ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; SYSTEMS ENGINEERING;

CONCEPTUAL MODELING LANGUAGES; DEVELOPMENT PROCESS; DYNAMIC PROPERTY; FUNCTIONAL REQUIREMENT; MODEL COMPREHENSIBILITIES; MODELING BEHAVIOR; USER REQUIREMENTS; VALIDATION APPROACH;

MODELING LANGUAGES;

EID: 84906280551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (31)

1. B.W. Boehm. Software Engineering Economics. Prentice-Hall, Inc., 1981.
2. F. P. Brooks. No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer, pages 10-18, April 1987.
3. M. Broy and P. Pepper. Program Development as a Formal Activity. IEEE Transactions on Software Engineering, 7(1):14-22, January 1981.
4. J. R. Cameron. An Overview of JSD. IEEE Transactions on Software Engineering, SE-12(2):222-240, February 1986.
5. A. M. Davis. Software Requirements: analysis and specification. Prentice-Hall, Inc., 1990.
6. A.M. Davis. Rapid Prototyping Using Executable Requirements Specifications. ACM SIGSOFT Software Engineering Notes, 7(5):39-44, December 1982.
7. F. Dignum, T. Kemme, W. Kreuzen, H. Weigand, and R. P. van de Riet. ConstraJnt modelling using a conceptual prototyping language. Data & Knowledge Engineering, 2(3):213-254, September 1987.
8. J.A. Gulla, O.I. Lindland, and G. Willumsen. PPP - An Integrated CASE environment. In R. Andersen, J.A Bubenko jr, and A. Sølvberg editors, Advanced Information Systems Engineering, Third International Conference - CAiSE’91, pages 194-221. Springer-Verlag, 1991.
9. G.F. Håland. SIMSPEC - Simulating a PPP Specification. Master’s thesis, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, Trondheim, 1991.
10. D. Hard. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, (8):231-274, 1987.
11. D. Harel. Biting the Silver Bullet - Towards a Brighter Future for System Development. IEEE Computer, 25(1):8-20, January 1992.
12. D. Harel et. al. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.
13. J.R. Jørgensen, O.T. Kogstad, and H. Nilsen. Rapid Prototyping of User Interfaces in the I-CASE Environment PPP. Master’s thesis, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, Trondheim, 1991.
14. M.D. Konrad. FunctionM Prototyping with PROTO. In P.A. Fig and R.T. Yeh, editors, Modern software engineering: foundations and current perspectives, pages 378-398. Van Nostrand Reinhold, 1990.
15. J. Krogstie. Conceptual Modelling in Tempora. Master’s thesis, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, Trondhelm, 1991.
16. J. Krogstie, P. McBrien, R. Owens, and A.H. Seltveit. Information Systems Development Using a Combination of Process and Rule Based Approaches. In R. Andersen, J.A Bubenko jr, and A. Sølvberg editors, Advanced Information Systems Engineering, Third International Conference - CA iS E '91, pages 319-335. Springer-Verlag, 1991.
17. C. Kung. Process Interface Modeling and Consistency Checking. The Journal of Systems and Software, 15(2):185-191, May 1991.
18. O.I. Lindland and J. Krogstie. Transformations in CASE tools - A Compiler View. Submitted to CASE’93.
19. O.I. Lindland, G. Willumsen, and J.A. Gulla. Prototyping in Transformation-Based CASE Environments. Submitted to SEKE’93.
20. J. Lingat, P. Colignon, and C. Rolland. Rapid Application Prototyping - The PROQUEL Language. In F. Bancilhon and D.J. DeWitt, editors, Proceedings of the fourteenth international conference on very large data bases, pages 206-217, 1988.
21. P. Loucopoulos et. al. Integrating database technology, rule-based systems and temporal reasoning for effective information systems: the TEMPORA paradigm. Journal of Information Systems, 1:129-152, 1991.
22. M. D. Lubars. A General Design Representation. Technical Report STP-066-89, Microelectronics and computer technology corporation (MCC), 1989.
23. A.L. Opdahl. RAPIER - A Formal Definition of Diagrammatic Systems Specification. Technical Report DAISEE Working Paper No. 88, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, 1988.
24. R.P. Owens and P. McBrien. TEQUEL: The TEMPORA Execution Language. Technical Report E2469/IC/3.1/2/3, Imperial College, 1990.
25. J. Peckham and F. Maryanski. Semantic Data Models. ACM Computing Surveys, 20(3):153-190, September 1988.
26. A. Sølvberg A contribution to the definition of concepts for expressing user’s information systems requirements. “Entity-Relationship Approach to Systems Analysis and Design”, N. H. PubL Comp., 1980.
27. TEMPORA. Project Manual - Esprit Project 2469.” Technical report, BIM, Belgium, 1992.
28. TEMPORA - Esprit Project 2469. The Sweden Post Case Study. Technical report, BIM, Belgium, November 1991.
29. I. Thomas and B.A. Nejmeh. Definitions of Tool Integration for Environments. IEEE Software, 9(2):29-35, March 1992.
30. L. L. Tripp. A Survey of Graphical Notations for Program Design - An Update. A CM SIGSOFT Software Engineering Notes, 13(4):39-44, October 1988.
31. Paul T. Ward. The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transactions on Software Engineering, SE-12(2):198-210, February 1986.