Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 2 SPEC. ISS., 2006, Pages 101-118

  Karusseit, Martin ^a   Margaria, Tiziana ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF GÖTTINGEN   (Germany)

Author keywords

coordination based approaches; feature based systems; Object oriented and component based development

Indexed keywords

COMPUTER SIMULATION; INDUSTRIAL APPLICATIONS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; ONLINE SYSTEMS;

COORDINATION-BASED APPROACHES; FEATURE-BASED SYSTEMS; OBJECT-ORIENTED AND COMPONENT-BASED DEVELOPMENT;

COMPUTER SYSTEMS;

EID: 33646354619     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.049     Document Type: Article

References (21)

1. Ahmed T., and Tripathi A. Static Verification of Security Requirements in Role Based CSCW Systems. Proc. 8th Symp. on Access Control Models and Technologies, Como (I) (2003), ACM Press 196-203
2. C. Blundell, K. Fisler, S. Krishnamurthi, P. Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines Proc. ASE 2004, IEEE International Symposium on Automated Software Engineering
3. Bredereke J. On Feature Orientation and Requirements Encapsulation. volume "Components, Features, and Agents". LNCS 2975 (2004), Springer Verlag
4. Hagerer A., Margaria T., Niese O., Steffen B., Brune G., and Ide H.-D. An Efficient Regression Testing of CTI Systems: Testing a complex Call-Center Solution. Annual Review of Communic. Vol. 55 (2001), Int. Engin. Consortium, Chicago
5. Harris H., and Ryan M. Theoretical Foundations of Updating Systems. ASE 2003, 18th IEEE Int. Conf. on Aut. Software Engineering (2003), IEEE-CS Press
6. ITU: General recommendations on telephone switching and signaling intelligent network: Introduction to intelligent network capability set 1, Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva, Mar. 1993
7. ITU-T: Recommendation Q. 1203. "Intelligent Network - Global Functional Plane Architecture", Oct. 1992
8. S. Katz, Y. Gil: Aspects and Superimpositions, Proc.ECOOP 1999, LNCS N.1743, Springer Verlag
9. H.C. Li, S. Krishnamurthi, K. Fisler: Verifying Cross-Cutting Features as Open Systems, Proc. FSE-10, ACM SIGSOFT Int. Symp. on the Foundations of Software Engineering, 2002
10. B. Lindner, T. Margaria, B. Steffen: Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse, GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Geschäfts-prozesse (eBusiness Processes), Universität Klagenfurt, September 2001, http://syssec.uni-klu.ac.at/EBP2001/
11. Margaria T. Components, Features, and Agents in the ABC. Components, Features, and Agents. LNCS 2975 (2004), Springer Verlag 154-174
12. T. Margaria, M. Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conf. on "e-commerce, e-business, e-government" (I3E 2002), Lisboa (P), Oct. 2002, in "Towards the Knowledge Society", Kluwer, pp.497-511
13. Margaria T., and Steffen B. Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT. Int. Journal on Software Tools for Technology Transfer 5 2-3 (March 2004) 107-123 Springer-Verlag
14. Müller-Olm M., and Yoo H. MetaGame: An Animation Tool for Model-Checking Games. Proc. TACAS 2004. LNCS 2988 (2004), Springer Verlag 163-167
15. Sandhu R., Coyne E., Feinstein H., and Youman C. Role-Based Access Control Models. IEEE Computer 29 2 (Feb. 1996) 38-47
16. Shaw M., and Garlan D. Software Architecture: Perspectives on an Emerging Discipline (1996), Prentice-Hall
17. Steffen B., Claßen A., Klein M., Knoop J., and Margaria T. The Fixpoint Analysis Machine. (invited paper). CONCUR'95. Pittsburgh (USA). LNCS 962 (August 1995), Springer Verlag
18. Steffen B., and Margaria T. METAFrame in Practice: Intelligent Network Service Design. Correct System Design - Issues, Methods and Perspectives. LNCS 1710 (1999), Springer Verlag 390-415
19. Steffen B., Margaria T., and Braun V. Coarse Granular Model Checking in Practice. Proc.8th Intern. SPIN Workshop on Model Checking Software. satellite to ICSE 2001, Toronto (Canada). LNCS 2057 (May 2001), Springer Verlag 304-312
20. Steffen B., Margaria T., Braun V., and Kalt N. Hierarchical service definition. Annual Rev. of Communication (1997), IEC, Chicago 847-856
21. H. Weber: Continuous Engineering of Information and Communication Infrastructures, Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE'99), Amsterdam, LNCS N. 1577, Springer Verlag, pp. 22-29