Functional and object-oriented views in embedded software modeling

Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004

Volumn , Issue , 2004, Pages 378-387

  Fernandes, João M ^a   Lilius, Johan ^b  

^a UNIVERSITY OF MINHO   (Portugal)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW DIAGRAMS (DFD); EMBEDDED SOFTWARE MODELING; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 7744229679     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2004.1316722     Document Type: Conference Paper

References (45)

1. J. Kim and F. J. Lerch. Towards a Model of Cognitive Process in Logical Design: Comparing Object-Oriented and Traditional Functional Decomposition Software Methodologies. In Conference on Human Factors in Computing Systems (CHI '92), pp. 489-98. ACM Press, May 1992.
2. R.L. Glass. The Naturalness of Object Orientation: Beating a Dead Horse? IEEE Software, 19(3):103-4, 2002.
3. I. Vessey and S. A. Conger. Requirements Specification: Learning Object, Process, and Data Methodologies. Communications of the ACM, 37(5):102-13, 1994.
4. M. Jackson. Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. ACM Press, 1995.
5. D. J. Hatley, P. Hruschka, and I. A. Pirbhai. Process for System Architecture and Requirements Engineering. Dorset House, New York, 2000.
6. B. P. Douglass, D. Harel, and M. Trakhtenbrot. Statecharts in Use: Structured Analysis and Object-Orientation. In G. Rozenberg and F. Vaandrager, editors, Lectures on Embedded Systems, vol. 1494 of LNCS, pp. 368-94. Springer-Verlag, 1998.
7. I. M. Holland and K. J. Lieberherr. Object-Oriented Design. ACM Computing Surveys, 28(1):273-5, 1996.
8. A. Pnueli. Embedded Systems: Challenges in Specification and Verification. In A. Sangiovanni-Vincentelli and J. Sifakis, editors, Embedded Software, Second International Conference, EMSOFT 2002, vol. 2491 of Lecture Notes in Computer Science, pp. 1-14. Springer-Verlag, Oct. 2002.
9. J. M. Fernandes. Functional and Object-Oriented Modeling of Embedded Software. Technical Report 512, TUCS, Turku, Finland, Feb. 2003.
10. P. P.-S. Chen. Entity-Relationship Modeling: Historical Events, Future Trends, and Lessons Learned. In M. Broy and E. Denert, editors, Software Pioneers: Contributions to Software Engineering, pp. 297-310, Springer-Verlag, 2002.
11. W. Swartout and R. Balzer. On the Inevitable Intertwining of Specification and Implementation. Communications of the ACM, 25(7):438-40, 1982.
12. A. Girault, B. Lee, and E. A. Lee. Hierarchical Finite State Machines with Multiple Concurrency Models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(6):742-60, June 1999.
13. W. G. Howerton and M. G. Hinchey. Using the Right Tool for the Job. In 6th IEEE International Conference on Complex Computer Systems (ICECCS '00), pp. 105-15. IEEE CS Press, Sep. 2000.
14. E. A. Lee. Computing for Embedded Systems. In 18th IEEE Instrumentation and Measurement Technology Conference (IMTC/2001), May 2001.
15. B. Alabiso. Transformation of Data Flow Analysis Models to Object Oriented Design. In Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '88), pp. 335-53. ACM Press, 1988.
16. P. T. Ward. How to Integrate Object Orientation with Structured Analysis and Design. IEEE Software, 6(2):74-82, 1989.
17. K. Periyasamy and C. Mathew. Mapping a Functional Specification to an Object-Oriented Specification in Software Reengineering. In 24th ACM Annual Conference on Computer Science (CSC '96), pp. 24-33. ACM Press, 1996.
18. P. Shoval and J. Kabeli. FOOM: Functional- and Object-Oriented Analysis & Design of Information Systems -An Integrated Methodology. Journal of Database Management, 12(1): 15-25, 2001.
19. D. de Champeaux, L. Constantine, I. Jacobson, S. Mellor, P. Ward, and E. Yourdon. Panel: Structured Analysis and Object Oriented Analysis. In European Conference on Object-Oriented Programming / Conference on Object-Oriented Programming Systems, Languages and Applications (ECOOP/OOPSLA '90), pp. 135-9. ACM Press, Oct. 1990.
20. W. Heisenberg. Physics and Philosophy: The Revolution in Modern Science. Harper & Row, 1958.
21. A. C. Sodan. Yin and Yang in Computer Science. Communications of the ACM, 41(4):103-111, 1998.
22. G. Booch. UML in Action. Communications of the ACM, 42(10):26-28, 1999.
23. G. Engels, R. Heckel, and S. Sauer. UML - A Universal Modeling Language? In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, vol. 1825 of LNCS, pp. 24-38. Springer-Verlag, June 2000.
24. S. Sigfried. Understanding Object-Oriented Software Engineering. IEEE Press, 1996.
25. G. Booch. Growing the UML. Software and Systems Modeling, 1(2):5-9, 2002.
26. E. A. Lee and T. M. Parks. Dataflow Process Networks. Proceedings of the IEEE, 83(5):773-801, May 1995.
27. W. Wolf. Computers as Components: Principles of Embedded Computing System Design. Morgan Kaufman, Sep. 2000.
28. D. D. Gajski and F. Vahid. Specification and Design of Embedded Hardware-Software Systems. IEEE Design & Test of Computers, 12(1):53-67, 1995.
29. I. Jacobson. Basic Use Case Modeling (Continued). Report on Object Analysis and Design, 1(3):7-9, 1994.
30. S. J. Mellor and M. J. Balcer. Executable UML: A Foundation for Model-Driven Architecture. Object Technology. Addison-Wesley, 2002.
31. J. Hahn and J. Kim. Why Are Some Representations (Sometimes) More Effective? In 20th International Conference on Information Systems (ICIS '99), pp. 245-59. Association for Information Systems, 1999.
32. D. Harel and B. Rumpe. Modeling Languages: Syntax, Semantics and All That Stuff - Part I: The Basic Stuff. Technical Report MCSOO-16, Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, Israel, Sep. 2000.
33. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksit and S. Matsuoka, editors, ECOOP '97 - Object-Oriented Programming, 11th European Conference, vol. 1241 of Lecture Notes in Computer Science, pp. 140-9. Springer-Verlag, 1997.
34. J. M. Fernandes, R. J. Machado, and H. D. Santos. Modeling Industrial Embedded Systems with UML. In 8th Int. Workshop on Hardware/Software Codesign (CODES 2000), pp. 18-22. ACM Press, May 2000.
35. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, 1994.
36. B. Selic. Using UML for Modeling Complex Real-Time Systems. In F. Mueller and A. Bestavros, editors, Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, vol. 1474 of LNCS, pp. 31-40. Springer-Verlag, June 1998.
37. D. Morris, G. Evans, P. Green, and C. Theaker. Object-Oriented Computer Systems Engineering. Applied Computing. Springer-Verlag, London, UK, 1996.
38. L. B. Becker, C. E. Pereira, O. P. Dias, I. M. Teixeira, and J. P. Teixeira. MOSYS: A Methodology for Automatic Object Identification from System Specification. In 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), pp. 198-201. IEEE CS Press, Mar. 2000.
39. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.
40. D. Rosenberg and K. Scott. Use Case Driven Object Modeling with UML: A Practical Approach. Object Technology. Addison-Wesley, 1999.
41. J. M. Fernandes and R. J. Machado. From Use Cases to Objects: An Industrial Information Systems Case Study Analysis. In 7th International Conference on Object-Oriented Information Systems (OOIS '01), pp. 319-28. Springer-Verlag, Aug. 2001.
42. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, 1996.
43. R. Pawson. Naked Objects. IEEE Software, 19(4):81-3, 2002.
44. I. Millet. Technical Note - A Proposal to Simplify Data Flow Diagrams. IBM Systems Journal, 38(1):118-21, 1999.
45. OMG Unified Modeling Language Specification. Technical report, OMG, Sep. 2002.