Enforcing business policies through automated reconfiguration'

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 426-429

  Andrade, L ^a   Fiadeiro, J L ^a,b   Wermelinger, M ^a,b  

^a ATX Software SA   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; INFORMATION USE;

BUSINESS ACTIVITIES; BUSINESS POLICIES; DYNAMIC RE-CONFIGURATION; PROCESS EXECUTION; PROCESS OF EVOLUTION; PROPERTY;

DYNAMIC MODELS;

EID: 0000683608     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989844     Document Type: Conference Paper

References (12)

1. R.Allen and D.Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3), 1997, 213-249.
2. L.F.Andrade and J.L.Fiadeiro, "Interconnecting Objects via Contracts", in UML - Beyond the Standard, R.France and B.Rumpe (eds), LNCS 1723, Springer 1999, 566-583.
3. G.Booch, J.Rumbaugh and I.Jacobson, The Unified Modeling Language User Guide, Addison-Wesley 1998.
4. J.L.Fiadeiro and A.Lopes, "Semantics of Architectural Connectors", in TAPSOFT'97, LNCS 1214, Springer-Verlag 1997, 505-519.
5. J.L.Fiadeiro, N.Martí-Oliet, T.Maibaum, J.Meseguer and I. Pita,, "Towards a Verification Logic for Rewriting Logic", in Recent Trends in Algebraic Development Techniques, D.Bert and C.Choppy (eds), LNCS 1827, Springer 2000, 438-458.
6. D.Gelemter and N.Carriero, "Coordination Languages and their Significance", CACM 35, 2, pp. 97-107, 1992.
7. J.Gouveia, G.Koutsoukos, L.Andrade and J.Fiadeiro, "Tool Support for Coordination-Based Software Evolution", in Technology of Object-Oriented Languages and Systems - TOOLS 38, W.Pree (ed), IEEE Press 2001, 184-196.
8. S.Katz, "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2), 1993, 337-356.
9. G.Koutsoukos, J.Gouveia, L.Andrade and J.L.Fiadeiro, "Managing Evolution in Telecommunications Systems", in Proc. IFIP Working Conference on Distributed Applications and Interoperable Systems, Kluwer, in print
10. J.Magee and J.Kramer, "Dynamic Structure in Software Architectures", in 4th Symp. on Foundations of Software Engineering, ACM Press 1996, 3-14.
11. D.Perry and A.Wolf, "Foundations for the Study of Software Architectures", ACM SIGSOFT Software Engineering Notes 17(4), 1992, 40-52.
12. M.Wermelinger, A.Lopes and J.L.Fiadeiro, "A Graph Based Architectural (Re)configuration Language", in Software Engineering - ESEC/FSE'01, ACM Press 2001, 21-32.