Product lines for service oriented applications - PL for SOA

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 61, Issue , 2011, Pages 34-48

  Ter Beek, Maurice H ^a   Gnesi, Stefania ^a   Njima, Mercy N ^b  

^a ISTI CNR   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; COST EFFECTIVENESS; EMBEDDED SYSTEMS; QUALITY OF SERVICE; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS; WEBSITES;

CUTTING EDGE TECHNOLOGY; DEVELOPMENT TECHNIQUE; PRODUCT LINE ENGINEERING; QUALITY OF SOFTWARES; SERVICE COMPUTING; SERVICE ORIENTED APPLICATION; SOFTWARE ENGINEERING METHODOLOGIES; SPECIFICATION AND VERIFICATION;

MODELING LANGUAGES;

EID: 85032270948     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.61.3     Document Type: Conference Paper

References (36)

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?, M. Boškovi? & 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, editors: 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, editors: 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, editors: 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, editors: 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, editors: 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, editors: 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, editors (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, editors: 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, editors: 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, editors: 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: [26], 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, editors: 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, editors: 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, editors: 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, editors (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, editors (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, editor: 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, editors: 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.