Deploy Repository: No conditions. Results ordered -Date, Title.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:13 +0000Wed, 17 Jan 2018 12:23:13 +0000en Validating the Consistency of Specification Rules
http://deploy-eprints.ecs.soton.ac.uk/465/
Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto (2015) Validating the Consistency of Specification Rules. Technical Report. N/A. (Unpublished) A Survey on Event-B Decomposition
http://deploy-eprints.ecs.soton.ac.uk/420/
Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei (2011) A Survey on Event-B Decomposition. ECEASST, 46 . Formal Analysis of BPMN Models Using Event-B
http://deploy-eprints.ecs.soton.ac.uk/248/
Bryans, Jeremy W. and Wei , Wei (2010) Formal Analysis of BPMN Models Using Event-B. Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems . pp. 33-49. Improving Testing of Enterprise Systems by Model-based Testing on Graphical User Interfaces
http://deploy-eprints.ecs.soton.ac.uk/270/
Wieczorek, Sebastian and Stefanescu, Alin (2010) Improving Testing of Enterprise Systems by Model-based Testing on Graphical User Interfaces. In: in Proceedings of 7th Workshop on Systems Testing and Validation. Model-based testing in the enterprise software domain - past and future initiatives
http://deploy-eprints.ecs.soton.ac.uk/269/
Wieczorek, Sebastian and Stefanescu, Alin (2010) Model-based testing in the enterprise software domain - past and future initiatives. In: Dagstuhl-Seminar 10421 "Model-Based Testing in Practice". Model-driven Service Integration Testing - A Case Study
http://deploy-eprints.ecs.soton.ac.uk/272/
Wieczorek, Sebastian and Stefanescu, Alin and Roth, Andreas (2010) Model-driven Service Integration Testing - A Case Study. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology. Patterns for Modelling Time and Consistency in Business Information Systems
http://deploy-eprints.ecs.soton.ac.uk/207/
Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A. (2010) Patterns for Modelling Time and Consistency in Business Information Systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010. IEEE Computer Society. Proc. of 3rd Workshop on Model-based Testing in Practice (MOTIP'10)
http://deploy-eprints.ecs.soton.ac.uk/273/
Bauer, Thomas and Eichler, Hajo and Wendland , Marc-Florian and Wieczorek, Sebastian, eds. (2010) Proc. of 3rd Workshop on Model-based Testing in Practice (MOTIP'10). CEA. Local Enforceability and Inconsumable Messages in Choreography Models
http://deploy-eprints.ecs.soton.ac.uk/190/
Kozyura, Vitaly and Roth, Andreas and Wei, Wei (2009) Local Enforceability and Inconsumable Messages in Choreography Models. In: Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM'09). Applying Model Checking to Generate Model-based Integration Tests from Choreography Models
http://deploy-eprints.ecs.soton.ac.uk/146/
Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I. (2009) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009 . (In Press) Viewpoints for Modeling Choreographies in Service-Oriented Architectures
http://deploy-eprints.ecs.soton.ac.uk/145/
Wieczorek, S. and Roth, A. and Stefanescu, A. and Kozyura, V. and Charfi, A. and Kraft, F. M. and Schieferdecker, I. (2009) Viewpoints for Modeling Choreographies in Service-Oriented Architectures. Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009 . (In Press) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
http://deploy-eprints.ecs.soton.ac.uk/52/
Bryans, Jeremy W. and Fitzgerald, John S. and Alexander, Romanovsky and Andreas, Roth (2008) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Newcastle University, Newcastle University TR, accepted to appear in Proceedings of ICECCS 2009. (In Press) Precise Steps for Choreography Modeling for SOA Validation and Verification
http://deploy-eprints.ecs.soton.ac.uk/41/
Wieczorek, S. and Roth, A. and Stefanescu, A. and Charfi, A. (2008) Precise Steps for Choreography Modeling for SOA Validation and Verification. In: Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, Dec 18-19, Jhongli, Taiwan. Design, Modelling and Analysis of a Workflow Reconfiguration
http://deploy-eprints.ecs.soton.ac.uk/297/
Mazzara, Manuel and Abouzaid, Faisal and Dragoni, Nicola and Bhattacharyya, Anirban Design, Modelling and Analysis of a Workflow Reconfiguration. Technical Report. Newcastle University. Development of Question/Response Protocol with using pattern approach
http://deploy-eprints.ecs.soton.ac.uk/230/
Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive] Event-B model of the Buyer / Seller B2B Communication
http://deploy-eprints.ecs.soton.ac.uk/128/
Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive] Event-B model of the Order/Supply Chain A2A Communication
http://deploy-eprints.ecs.soton.ac.uk/129/
Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive]