Items where Subject is "Industrial Deployment > Business"

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)

Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei (2011) A Survey on Event-B Decomposition. ECEASST, 46 .

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.

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.

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".

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.

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.

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.

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).

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)

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)

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)

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.

Mazzara, Manuel and Abouzaid, Faisal and Dragoni, Nicola and Bhattacharyya, Anirban Design, Modelling and Analysis of a Workflow Reconfiguration. Technical Report. Newcastle University.

Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive]

Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive]

Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive]