PART I: FORMAL DESCRIPTION OF THE SYSTEMS ARCHITECTURE PART II: EXECUTION OF THE SYSTEMS ARCHITECTURE PART III: SINGLE-QUEUE MODEL FOR SCHEDULING OF INTERACTIONS PART IV: MULTI-QUEUE MODEL FOR SCHEDULING OF INTERACTIONS PART V: INFINITE-QUEUE MODEL FOR SCHEDULING OF INTERACTIONS