Service-oriented modeling of CoCoME with focus and AutoFocus

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

Volumn 5153 LNCS, Issue , 2008, Pages 177-206

  Broy, Manfred ^a   Fox, Jorge ^a   Hölzl, Florian ^a   Koss, Dagmar ^a   Kuhrmann, Marco ^a   Meisinger, Michael ^a   Penzenstadler, Birgit ^a   Rittmann, Sabine ^a   Schätz, Bernhard ^a   Spichkova, Maria ^a   Wild, Doris ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; EMBEDDED SYSTEMS; SOFTWARE ENGINEERING;

BUSINESS INFORMATION SYSTEMS; DISTRIBUTED SYSTEMS; EMBEDDED CONTROL SYSTEMS; HIGH QUALITIES; SERVICE-ORIENTED MODELING; SYSTEMATIC SOFTWARE ENGINEERINGS; TIME FRAMES;

CONTROL SYSTEMS;

EID: 54249090812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85289-6_8     Document Type: Conference Paper

References (18)

1. Gruler, A., Harhurin, A., Hartmann, J.: Modeling the Functionality of Multi-Functional Software Systems. In: 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS), pp. 349-358. IEEE Computer Society Press, Los Alamitos (2007)
2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, New York (2001)
3. Broy, M.: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures - The Janus-Approach. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute, pp. 47-82. Springer, Heidelberg (2005)
4. Krüger, I., Mathew, R., Meisinger, M.: Effcient Exploration of Service-Oriented Architectures using Aspects. In: Proceedings of the 28th International Conference on Software Engineering (ICSE) (2006)
5. Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(1) (2007)
6. Krüger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)
7. Technische Universität München: AutoFocus 2 (2007), http://www4.informatik.tu-muenchen.de/~af2
8. Huber, F., Schätz, B., Schmidt, A., Spies, K.: AutoFocus - A Tool for Distributed Systems Specification. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol. 1135, pp. 467-470. Springer, Heidelberg (1996)
9. Hartmann, J., Rittmann, S., Scholz, P., Wild, D.: A Compositional Approach for Functional Requirement Specifications of Automotive Software Systems. In: Proceedings of the Workshop on Automotive Requirements Engineering (AuRE 2006) (2006)
10. Deubler, M., Grünbauer, J., Holzbach, A., Popp, G., Wimmel, G.: Kontextadaptivit ät in dienstbasierten Softwaresystemen. Technical Report TUM-I0511, Institut für Informatik, Technische Universität München TUM (2005)
11. Deubler, M., Grünbauer, J., Jürjens, J., Wimmel, G.: Sound development of secure service based systems. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC) (2004)
12. Broy, M., Bauer, A., Romberg, J., Schätz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE, Detroit (2005) SAE 05AE-268
13. Fox, J., Jürjens, J.: A Framework for Analyzing Composition of Security Aspects. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R., eds.: Methods for Modelling Software Systems (MMOSS). Number 06351 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2007)
14. Spichkova, M.: Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, Technische Universität München (2007)
15. Technische Universität München, Institut für Informatik: CoCoME Full Model (2007), http://www4.in.tum.de/~af2/cocome.zip
16. ITU-TS: Recommendation Z.120: Message Sequence Chart (MSC), Geneva (1996)
17. Huber, F., Schätz, B.: Rapid Prototyping with AutoFocus. In: GI-FDT 1997 (1997)
18. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)