Towards a semantic framework for non-functional specifications of component-based systems

Conference Proceedings of the EUROMICRO

Volumn 30, Issue , 2004, Pages 92-99

  Zschaler, Steffen ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; COSTS; FAILURE ANALYSIS; FUNCTIONS; SECURITY OF DATA; SEMANTICS; SPECIFICATIONS; SOFTWARE ENGINEERING;

ANALYSIS TOOLS; COMPONENT-BASED SYSTEMS; NON-FUNCTIONAL SPECIFICATIONS; REFINEMENT TOOLS; COMPONENT BASED SYSTEMS; DEVELOPMENT CYCLE; EXTRA-FUNCTIONAL PROPERTIES; FUNCTIONAL PROPERTIES; NON FUNCTIONAL PROPERTIES; RUNTIME ENVIRONMENTS; SEMANTIC FRAMEWORK;

COMPUTER AIDED SOFTWARE ENGINEERING; SEMANTICS;

EID: 12144255579     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/eurmic.2004.1333360     Document Type: Conference Paper

References (29)

1. J. Ø. Aagedal. Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo, 2001.
2. M. Abadi and L. Lamport. Composing specifications. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness, volume 430 of LNCS, pages 1-41, Berlin, Germany, 1989. Springer-Verlag.
3. M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM ToPLaS, 16(5): 1543-1571, Sept. 1994.
4. R. Aigner, M. Pohlack, S. Röttger, and S. Zschaler. Towards pervasive treatment of non-functional properties at design and run-time. In Proc. Int'l Conf. on Software & Systems Engineering and their Applications (ICSSEA), Paris. Dec. 2003.
5. A. Bertolino and R. Mirandola. Towards component based software performance engineering. In Proc. 6th Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction at ICSE 2003, pages 1-6. ACM/IEEE, May 2003.
6. J. Cheesman and J. Daniels. UML Components: A Simple Process for Specifying Component-Based Software. Addison Wesley Longman, Inc., 2001.
7. L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. The Kluwcr international series in software engineering. Kluwer Academic Publishers Group, Dordrecht, Netherlands, 1999.
8. G. Ford. Measurement theory for software engineers. In Lecture Notes on Engineering Measurement for Software Engineers. Carnegie Mellon University, 1993. CMU/SEI report CMU/SEI-93-EM-9.
9. A. Gościński. Distributed Operating Systems: The logical design. Addison-Wesley Publishers Ltd., 1991.
10. V. Grassi and R. Mirandola. Towards automatic compositional performance analysis of component-based systems. In Proc. 4th Int'l Workshop on Software and Performance WOSP 2004, pages 59-63, California, USA, Jan. 2004.
11. S. A. Hissam, G. A. Moreno, J. A. Stafford, and K. C. Wallnau. Packaging predictable assembly. In J. Bishop, editor, Proc. IFIP/ACM Working Conf. on Component Deployment (CD 2002), volume 2370 of LNCS, pages 108-126, Berlin, Germany, June 2002. Springer-Verlag.
12. IASTED. Proc. IASTED Int'l Conf. on Software Engineering (IASTED SE'04). Innsbruck, Austria, Feb. 2004. ACTA Press.
13. C. B. Jones. Specification and design of (parallel) programs. In R. E. A. Manson, editor, Proceedings of IFIP '83, pages 321-332. IFIP, North-Holland, 1983.
14. I. H. Krüger. Service specification with MSCs and roles. In Proc. IASTED Int'l Conf. on Software Engineering (IASTED SE'04) [12].
15. J. W. S. Liu. Real-Time Systems. Prentice Hall, NJ, 2000.
16. J. W. S. Liu, K. Nahrstedt, D. Hull, S. Chen, and B. Li. EPIQ QoS characterization. ARPA Report, Quorum Meeting, July 1997.
17. Object Management Group. UML profile for schedulability, performance, and time specification. OMG Document, Mar. 2002. URL http://www.omg.org/cgi-bin/ doc?ptc/02-03-02.
18. R. H. Reussner. Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten. Logos Verlag, Berlin, 2001.
19. R. H. Reussner, I. H. Poernomo, and H. W. Schmidt. Contracts and quality attributes for software components. In W. Week, J. Bosch, and C. Szyperski, editors, Proc. 8th Int'l Workshop on Component-Oriented Programming (WCOP'03), June 2003.
20. S. Röttger and S. Zschaler. Model-driven development for non-functional properties: Refinement through model transformation. In Proc. «UML» Conf., 2004. To appear.
21. S. Röttger and S. Zschaler. A software development process supporting non-functional properties. In Proc. IASTED Int'l Conf. on Software Engineering (IASTED SE'04) [12].
22. B. Sabata, S. Chatterjee, M. Davis, J. J. Sydir, and T. F. Lawrence. Taxonomy for QoS specifications. In Proc. 3rd Int'l Workshop on Object-oriented Real-Time Dependable Systems (WORDS'97), Newport Beach, California, Feb. 1997.
23. C. Salzmann and B. Schätz. Service-based software specification. In Proc. Int'l Workshop on Test and Analysis of Component Based Systems (TACOS) ETAPS 2003, Electronic Notes in Theoretical Computer Science. Warsaw, Poland, Apr. 2003. Elsevier.
24. R. Staehli, F. Eliassen, J. Ø, Aagedal, and G. Blair. Quality of service semantics for component-based systems. In Middleware 2003 Companion, 2nd Int'I Workshop on Reflective and Adaptive Middleware Systems, 2003.
25. R. Staehli, J. Walpole, and D. Maier. Quality of service specification for multimedia presentations. Multimedia Systems, 3(5/6), Nov. 1995.
26. J. A. Stankovic, M. Spuri, M. D. Natale, and G. Buttazzo. Implications of classical scheduling results for real-time systems. IEEE Computer, 28(6): 16-25, June 1995.
27. C. Szyperski. Component Software : Beyond Object-Oriented Programming. Addison-Wesley Publishing Company, Nov. 1997.
28. A. S. Tanenbaum. Modern Operating Systems. Prentice Hall, 2nd edition, 2002.
29. A. M. Tilborg, editor. Foundations of Real-Time Computing. Kluwer Academics, 1991.