Model-driven migration of supervisory machine control architectures

Journal of Systems and Software

Volumn 81, Issue 4, 2008, Pages 517-535

  Graaf, Bas ^a   Weber, Sven ^b,c   van Deursen, Arie ^a,d  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b ASML   (Netherlands)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^d CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SUPERVISORY AND EXECUTIVE PROGRAMS; SYSTEMS ANALYSIS;

PRODUCT LINE ARCHITECTURE; SUPERVISORY MACHINE CONTROL ARCHITECTURES;

COMPUTER ARCHITECTURE;

EID: 40049083379     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.06.007     Document Type: Article

References (26)

1. Baxter, I.D., Pidgeon, C., Mehlich, M., 2004. DMS: Program transformations for practical scalable software evolution. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). IEEE CS, pp. 625-634.
2. Bosch, J., Molin, P., 1999. Software architecture design: evaluation and transformation. In: Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS'99). IEEE CS, pp. 4-10.
3. Bril R., Krikhaar R., and Postma A. Architectural support in industry: a reflection using C-POSH. J. Softw. Maint. Evol.: Res. Pract 17 (2005) 3-25
4. Buttazzo G. Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications (2002), Kluwer Academic Publishers
5. Clements P., Bachmann F., Bass L., Garlan D., Ivers J., Little R., Nord R., and Stafford J. Documenting Software Architectures: Views and Beyond (2002), Addison-Wesley
6. Eclipse Foundation, 2005. Eclipse modeling framework (EMF). http://www.eclipse.org/emf.
7. Fahmy, H., Holt, R.C., 2000a. Software architecture transformations. In: Proceedings of the 16th International Conference on Software Maintenance (ICSM 2000). IEEE CS, pp. 88-96.
8. Fahmy, H., Holt, R.C., 2000b. Using graph rewriting to specify software architectural transformations. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering. IEEE CS, pp. 187-196.
9. Gohari P., and Wonham W. Reduced supervisors for timed discrete-event systems. IEEE Trans. Autom. Control 48 7 (2003) 1187-1198
10. Graaf B., Lormans M., and Toetenel H. Embedded software engineering: state of the practice. IEEE Software 20 6 (2003) 61-69
11. Gray J., Zhang J., Roychoudhury S., Wu H., Sudarsan R., Aniruddha, Neema S., Shi F., and Bapty T. Model-driven program transformation of a large avionics framework. Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE 2004) (2004), Springer-Verlag 361-378
12. IEEE-1471, 2000. IEEE recommended practice for architectural description of software intensive systems. IEEE Std 1471-2000.
13. Jouault, F., Kurtev, I., 2005. Transforming models with ATL. In: Proceedings of the Model Transformations in Practice Workshop at MoDELS2005.
14. Lange C.F., Chaudron M.R., and Muskuens J. In practice: UML software architecture and design description. IEEE Software 23 2 (2006) 40-46
15. In: Lehman M.M., and Belady L.A. (Eds). Program Evolution: Processes of Software Change (1985), Academic Press Professional, Inc, San Diego, CA, USA
16. MDR, 2006. mdr: netbeans.org : Metadata repository. .
17. OMG, 2001. OMG Unified Modeling Language Specification, version 1.4. .
18. OMG, 2005a. MDA. .
19. OMG, 2005b. Meta-object facility (MOF). .
20. Perry D.E., and Wolf A.L. Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes 17 4 (1992) 40-52
21. Ramadge P., and Wonham W. Supervisory control of a class of discrete event processes. SIAM J. Control Optimiz. 25 1 (1987) 206-230
22. Reveliotis S.A. Real-time management of resource allocation systems. A discrete event systems approach. International Series in Operations Research and Management Science vol. 79 (2005), Springer-Verlag
23. Sabuncuoglu I., and Bayiz M. Analysis of reactive scheduling problems in a job-shop environment. Eur. J. Oper. Res. 126 (2000) 567-586
24. Van den Nieuwelaar, N., 2004. Supervisory machine control by predictive-reactive scheduling. Ph.D. thesis, Technische Univ. Eindhoven.
25. Van Deursen, A., Hofmeister, C., Koschke, R., Moonen, L., Riva, C., 2004. Symphony: View-driven software architecture reconstruction. In: Proceedings of the Fourth Working IEEE/IFIP Conf. Software Architecture (WICSA 4). IEEE CS, pp. 122-134.
26. Viennot G.X. Heaps of pieces, I: Basic definitions and combinatorial lemmas. In: Labelle G., and Leroux P. (Eds). Proceedings of Colloque de combinatoire énumérative (UQAM 1985), Montreal, Canada. Lecture Notes in Math vol. 1234 (1986), Springer-Verlag 321-350