References

  1. Luca de Alfaro & Thomas A. Henzinger (2001): Interface Automata. SIGSOFT Softw. Eng. Notes 26(5), pp. 109–120, doi:10.1145/503271.503226.
  2. N. Amalio, R. Payne, A. Cavalcanti & E. Brosse (2015): Foundations of the SysML profile for CPS modelling. Technical Report. INTO-CPS Deliverable, D2.1a.
  3. A. Arnold, B. Boyer & A. Legay (2013): Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. In: Kim G. Larsen, Axel Legay & Ulrik Nyman: Proceedings 1st Workshop on Advances in Systems of Systems, Rome, Italy, 16th March 2013, Electronic Proceedings in Theoretical Computer Science 133. Open Publishing Association, pp. 47–66, doi:10.4204/EPTCS.133.6.
  4. J. Bryans, J. Fitzgerald, R. Payne, A. Miyazawa & K. Kristensen (2014): SysML contracts for systems of systems. In: System of Systems Engineering (SOSE), 2014 9th International Conference on, doi:10.1109/SYSOSE.2014.6892466.
  5. J. Bryans, R. Payne, J. Holt & S. Perry (2013): Semi-formal and formal interface specification for system of systems architecture. In: Systems Conference (SysCon), 2013 IEEE International, pp. 612–619, doi:10.1109/SysCon.2013.6549946.
  6. Jeremy Bryans, John Fitzgerald, Richard Payne & Klaus Kristensen (2014): 2.2.2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML. INCOSE International Symposium 24(1), pp. 166–181, doi:10.1002/j.2334-5837.2014.tb03142.x.
  7. Michel De Champlain (1997): The Contract Pattern. In: In Proceedings of Pattern Languages of Program Design 4 (PLoPD4), doi:10.1.1.38.3112.
  8. S. Chouali, H. Mountassir & S. Mouelhi (2010): An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electronic Notes in Theoretical Computer Science 238(6), pp. 3 – 13, doi:10.1016/j.entcs.2010.06.002.
  9. J. S. Dahmann & K. J. Baldwin (2008): Understanding the Current State of US Defense Systems of Systems and the Implications for Systems Engineering. In: 2008 2nd Annual IEEE Systems Conference, pp. 1–7, doi:10.1109/SYSTEMS.2008.4518994.
  10. J. Fitzgerald, P.G. Larsen, P. Mukherjee, N. Plat & M. Verhoef (2005): Validated Designs For Object-oriented Systems. Springer-Verlag TELOS, Santa Clara, CA, USA, doi:10.1007/b138800.
  11. C.A.R. Hoare (1985): Communicating Sequential Processes. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.
  12. C. Ingram, R. Payne, J. Fitzgerald & L.D.Couto (2015): Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML and Formalism. INCOSE International Symposium 25(1), pp. 404–419, doi:10.1002/j.2334-5837.2015.00071.x.
  13. Claire Ingram, Richard Payne & John Fitzgerald (2015): Architectural Modelling Patterns for Systems of Systems. INCOSE International Symposium 25(1), pp. 1177–1192, doi:10.1002/j.2334-5837.2015.00123.x.
  14. ISO/IEC/IEEE (2015): 15288:2015 Systems and software engineering – System life cycle processes.
  15. M.W. Maier (1998): Architecting Principles for Systems-of-Systems. Systems Engineering 1(4), pp. 267–284, doi:10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D.
  16. B. Meyer (1988): Object-oriented Software Construction. Prentice-Hall International.
  17. Bertrand Meyer (1992): Applying "Design by Contract". Computer 25(10), pp. 40–51, doi:10.1109/2.161279.
  18. Bertrand Meyer (1993): Systematic Concurrent Object-oriented Programming. Commun. ACM 36(9), pp. 56–80, doi:10.1145/162685.162705.
  19. C.B. Nielsen, P.G. Larsen, J. Fitzgerald, J. Woodcock & J. Peleska (2015): Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. 48(2), pp. 18:1–18:41, doi:10.1145/2794381.
  20. OMG (2012): OMG Object Constraint Language (OCL), Version 2.3.1. Available at http://www.omg.org/spec/OCL/2.3.1/.
  21. OMG (2015): OMG Systems Modeling Language (OMG SysML^TM). Technical Report Version 1.4. Object Management Group. Http://www.omg.org/spec/SysML/1.4/.
  22. R. Payne & J.S. Fitzgerald (2010): Evaluation of architectural frameworks supporting contract-based specification. Technical Report. Newcastle University.
  23. S. Perry (2013): Report on Modelling Patterns for SoS Architectures COMPASS Deliverable, D22.3, Tech. Rep.. Available at http://www.compass-research.eu/deliverables.html.
  24. S. Perry, J. Holt, R. Payne, J. Bryans, C. Ingram, A. Miyazawa, L.D. Couto, S. Hallerstede, A.K. Malmos, J. Iyoda, M. Cornelio & J. Peleska (2014): Final Report on SoS Architectural Models. Technical Report. COMPASS Deliverable, D22.6. Available at http://www.compass-research.eu/.
  25. J. Warmer & A. Kleppe (2003): The Object Constraint Language: Getting Your Models Ready for MDA, 2 edition. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  26. J. Woodcock, A. Cavalcanti, J. Fitzgerald, P. Larsen, A. Miyazawa & S. Perry (2012): Features of CML: A formal modelling language for Systems of Systems. In: 2012 7th International Conference on System of Systems Engineering (SoSE), pp. 1–6, doi:10.1109/SYSoSE.2012.6384144.
  27. J. Woodcock, P.G. Larsen, J. Bicarregui & J. Fitzgerald (2009): Formal Methods: Practice and Experience. ACM Computing Surveys 41(4), pp. 1–36, doi:10.1145/1592434.1592436.
  28. Jim Woodcock & Ana Cavalcanti (2002): The Semantics of Circus, pp. 184–203. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/3-540-45648-1_10.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org