References

  1. M. Abu-Matar (2007): Toward a service-oriented analysis and design methodology for software product lines. http://www.ibm.com/developerworks/webservices/library/ar-soaspl/index.html.
  2. R. Aldrich & G. Mellinge (2008): Cisco Energy Management: A Case Study in Implementing Energy as a Service. http://www.cisco.com/en/US/prod/collateral/switches/ps5718/ps10195/CiscoEMSWhitePaper.pdf.
  3. A. Antonik, M. Huth, K.G. Larsen, U. Nyman & A. Wasowski (2008): 20 Years of modal and mixed specifications. Bulletin of the EATCS 95, pp. 94–129.
  4. S. Apel, C. Kaestner & C. Lengauer (2008): Research challenges in the tension between features and services. In: Proceedings 2nd International Workshop on Systems Development in SOA Environments (SDSOA'08). ACM Press, pp. 53–58, doi:10.1145/1370916.1370930.
  5. M. Asadi, B. Mohabbati, N. Kaviani, D. Gaševi\'c, M. Boškovi\'c & M. Hatala (2009): Model-driven development of families of Service-Oriented Architectures. In: S. Apel, W.R. Cook, K. Czarnecki, C. Kästner, N. Loughran & O. Nierstrasz: Proceedings 1st International Workshop on Feature-Oriented Software Development (FOSD'09). ACM Press, pp. 95–102, doi:10.1145/1629716.1629735.
  6. P. Asirelli, M. H. ter Beek, S. Gnesi & A. Fantechi (2009): Deontic Logics for Modeling Behavioural Variability. In: D. Benavides, A. Metzger & U.W. Eisenecker: Proceedings of the 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'09), ICB Research Report 29. Universität Duisburg-Essen, pp. 71–76. http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf.
  7. P. Asirelli, M. H ter Beek, S. Gnesi & A. Fantechi (2010): A Deontic Logical Framework for Modelling Product Families. In: D. Benavides, D.S. Batory & P. Grünbacher: Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'10), ICB Research Report 37. Universität Duisburg-Essen, pp. 37–44. http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf.
  8. P. Asirelli, M.H. ter Beek, A. Fantechi & S. Gnesi (2010): A Logical Framework to Deal with Variability. In: D. Méry & S. Merz: Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10), Lecture Notes in Computer Science 6396. Springer-Verlag, pp. 43–58, doi:10.1007/978-3-642-16265-7_5.
  9. P. Asirelli, M.H. ter Beek, A. Fantechi & S. Gnesi (2011): A Model-Checking Tool for Families of Services. In: R. Bruni & J. Dingel: Proceedings 13th International Conference on Formal Methods for Open Object-Based Distributed Systems and 31st International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE'11), Lecture Notes in Computer Science 6722. Springer-Verlag, pp. 44–58, doi:10.1007/978-3-642-21461-5_3.
  10. P. Asirelli, M.H. ter Beek, A. Fantechi & S. Gnesi (2011): Formal Description of Variability in Product Families. In: Proceedings 15th International Software Product Line Conference (SPLC'11). IEEE Computer Society Press. To appear.
  11. P. Asirelli, M.H. ter Beek, A. Fantechi, S. Gnesi & F. Mazzanti (2011): Design and Validation of Variability in Product Lines. In: Proceedings ICSE 2011 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE'11). ACM Press, pp. 25–30, doi:10.1145/1985484.1985492.
  12. D.S. Batory (2005): Feature models, grammars, and propositional formulas. In: J. Obbink & K. Pohl: Proceedings International Software Product Line Conference (SPLC'05), Lecture Notes in Computer Science 3714. Springer-Verlag, pp. 7–20, doi:10.1007/11554844_3.
  13. O. Bubak & H. Gomaa (2008): Applying software product line concepts in service orientation. International Journal of Intelligent Information and Database Systems 2(4), pp. 383–396, doi:10.1504/IJIIDS.2008.021444.
  14. S.G. Cohen & R.W. Krut (2008): Proceedings 1st Workshop on Service-Oriented Architectures and Software Product Lines: What is the Connection? (SOAPL'07). Technical Report CMU/SEI-2008-SR-006, Carnegie Mellon University. http://www.sei.cmu.edu/reports/08sr006.pdf.
  15. K. Czarnecki & U. Eisenecker (2000): Generative Programming: Methods, Tools, and Applications. Addison-Wesley.
  16. A. Fantechi & S. Gnesi (2008): Formal Modeling for Product Families Engineering. In: Proceedings 12th International Software Product Line Conference (SPLC'08). IEEE Computer Society Press, pp. 193–202, doi:10.1109/SPLC.2008.45.
  17. C. Feisst, D. Schlesinger & W. Frye (2008): Smart Grid: The Role of Electricity Infrastructure in Reducing Greenhouse Gas Emissions. http://www.cisco.com/web/about/ac79/docs/wp/Utility_Smart_Grid_WP_REV1031_FINAL.pdf.
  18. D. Fischbein, V.A. Braberman & S. Uchitel (2009): A Sound Observational Semantics for Modal Transition Systems. In: M. Leucker & C. Morgan: Proceedings 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), Lecture Notes in Computer Science 5684. Springer-Verlag, pp. 215–230, doi:10.1007/978-3-642-03466-4_14.
  19. D. Fischbein, S. Uchitel & V.A. Braberman (2006): A foundation for behavioural conformance in software product line architectures. In: R.M. Hierons & H. Muccini: Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA'06). ACM Press, pp. 39–48, doi:10.1145/1147249.1147254.
  20. A. Gruler, M. Leucker & K.D. Scheidemann (2008): Modeling and Model Checking Software Product Lines. In: G. Barthe & F.S. de Boer: Proceedings 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08), Lecture Notes in Computer Science 5051. Springer-Verlag, pp. 113–131, doi:10.1007/978-3-540-68863-1_8.
  21. S. Günther & T. Berger (2008): Service-Oriented Product Lines: Towards a Development Process and Feature Management Model for Web Services. In: SOAPL08, pp. 131–136.
  22. D. Kang & D. Baik (2010): Bridging Software Product Lines and Service-Oriented Architectures for Service Identification Using BPM and FM. In: T. Matsuo, N. Ishii & R. Lee: Proceedings 9th International Conference on Computer and Information Science (ICIS'10). IEEE Computer Society Press, pp. 755–759, doi:10.1109/ICIS.2010.33.
  23. K.C. Kang, S.G. Cohen, J.A. Hess, W.E. Novak & A.S. Peterson (1990): Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report SEI-90-TR-21. Carnegie Mellon University. http://www.sei.cmu.edu/reports/90tr021.pdf.
  24. D. Kitchin, W.R. Cook & J. Misra (2006): A Language for Task Orchestration and Its Semantic Properties. In: C. Baier & H. Hermanns: Proceedings 17th International Conference on Concurrency Theory (CONCUR'06), Lecture Notes in Computer Science 4137. Springer-Verlag, pp. 477–491, doi:10.1007/11817949_32.
  25. D. Kitchin, A. Quark, W.R. Cook & J. Misra (2009): The Orc Programming Language. In: D. Lee, A. Lopes & A. Poetzsch-Heffter: Proceedings 11th International Conference on Formal Methods for Open Object-Based Distributed Systems and 29th International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE'09), Lecture Notes in Computer Science 5522. Springer-Verlag, pp. 1–25, doi:10.1007/978-3-642-02138-1_1.
  26. R.W. Krut & S.G. Cohen (2008): Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL'08). Lero Centre, University of Limerick, doi:10.1109/SPLC.2008.71.
  27. R.W. Krut & S.G. Cohen (2009): Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL'09). ACM Press, doi:10.1145/1753235.1753279.
  28. K.G. Larsen, U. Nyman & A. Wasowski (2007): Modal I/O Automata for Interface and Product Line Theories. In: R. De Nicola: Proceedings 16th European Symposium on Programming (ESOP'07), Lecture Notes in Computer Science 4421. Springer-Verlag, pp. 64–79, doi:10.1007/978-3-540-71316-6_6.
  29. Q. Li, H. Zhu & J. He (2010): A Denotational Semantical Model for Orc Language. In: A. Cavalcanti, D. Deharbe, M.-C. Gaudel & J. Woodcock: Proceedings 7th International Colloquium on Theoretical Aspects of Computing (ICTAC'10), Lecture Notes in Computer Science 6255. Springer-Verlag, pp. 106–120, doi:10.1007/978-3-642-14808-8_8.
  30. E.M. Lightner & S.E. Widergren (2010): An Orderly Transition to a Transformed Electricity System. IEEE Transactions on Smart Grid 1(1), pp. 3–10, doi:10.1109/TSG.2010.2045013.
  31. F. Mazzanti: FMC v5.0b. http://fmt.isti.cnr.it/fmc.
  32. J. Misra & W.R. Cook (2007): Computation Orchestration: A Basis for Wide-area Computing. Software and Systems Modeling 6(1), pp. 83–110, doi:10.1007/s10270-006-0012-1.
  33. Orc Programming Language. http://orc.csres.utexas.edu/.
  34. M. Papazoglou, P. Traverso, S. Dustdar & F. Leymann (2007): Service-oriented computing: State of the art and research challenges. IEEE Computer 40(11), pp. 38–45, doi:10.1109/MC.2007.400.
  35. I. Wehrman, D. Kitchin, W.R. Cook & J. Misra (2008): A timed semantics of Orc. Theoretical Computer Science 402, pp. 234–248, doi:10.1016/j.tcs.2008.04.037.
  36. C. Wienands (2006): Studying the Common Problems with Service-Oriented Architecture and Software Product Lines. Presented at 4th Service-Oriented Architecture (SOA) & Web Services Conference.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org