text:
@PhdThesis{placido2012,
  author = 	 {Souza Neto, P. A.},
  title = 	 {A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties},
  school = 	 {Universidade Federal do Rio Grande do Norte (UFRN) -- Natal-RN},
  year = 	 {2012},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{Kontio:1996,
  author    = {Kontio, J.  and
               Caldiera, G. and
               Basili, V.},
  title     = {Defining factors, goals and criteria for reusable component
               evaluation},
  booktitle = {CASCON},
  year      = {1996},
  pages     = {21},
  ee        = {http://doi.acm.org/10.1145/782052.782073},
  crossref  = {DBLP:conf/cascon/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{basili:1985,
  author = 	 {Basili, V.},
  title = 	 {Quantitative Evaluation of Software Methodology},
  institution =  {University of Maryland},
  year = 	 {1985},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {TR-1519},
  OPTaddress = 	 {},
  month = 	 {July},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@INPROCEEDINGS{AbrialLNSS91,
  author = {Abrial, J. R. and Lee, M. K. O. and Neilson, D. and Scharbach, P.
	N. and Sorensen, I. H.},
  title = {The B-Method.},
  booktitle = {VDM Europe (2)},
  year = {1991},
  editor = {Prehn, Soren and Toetenel, W. J.},
  volume = {552},
  series = {Lecture Notes in Computer Science},
  pages = {398-405},
  publisher = {Springer},
  added-at = {2009-10-07T00:00:00.000+0200},
  biburl = {http://www.bibsonomy.org/bibtex/23ef54de458d697e758d5d3edeae6eea5/dblp},
  crossref = {conf/fm/1991-2},
  date = {2009-10-07},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/BFb0020001},
  interhash = {3d3f41abe5c466a0bcb532757cb977a1},
  intrahash = {3ef54de458d697e758d5d3edeae6eea5},
  isbn = {3-540-54868-8},
  keywords = {dblp},
  timestamp = {2009-10-07T00:00:00.000+0200}
}

@INPROCEEDINGS{Adiba:1981,
  author = {Adiba, M. E. and Andrade, J. M.},
  title = {Update Consistency and Parallelism in Distributed Databases},
  booktitle = {International Conference on Distributed Computing Systems},
  year = {1981},
  series = {ICDCS},
  pages = {180-187},
  __markedentry = {[placidoasouzaneto:1]},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/icdcs/1981}
}

@INPROCEEDINGS{BianculliGSBG07,
  author = {Bianculli, D. and Ghezzi, C. and Spoletini, P. and Baresi, L. and
	Guinea, S.},
  title = {A Guided Tour through SAVVY-WS: A Methodology for Specifying and
	Validating Web Service Compositions},
  booktitle = {Lipari Summer School},
  year = {2007},
  pages = {131-160},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/lipari/2007},
  ee = {http://dx.doi.org/10.1007/978-3-540-89762-0_5}
}

@INPROCEEDINGS{DAmbrogio06,
  author = {D'Ambrogio, A.},
  title = {A Model-driven WSDL Extension for Describing the QoS of Web Services},
  booktitle = {ICWS},
  year = {2006},
  pages = {789-796},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/icws/2006},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.10}
}

@INPROCEEDINGS{LeavensCCRC02,
  author = {Leavens, G. T. and Cheon, Y. and Clifton, C. and Ruby, C. and Cok,
	D. R.},
  title = {How the Design of JML Accomodates Both Runtime Assertion Checking
	and Formal Verification},
  booktitle = {FMCO},
  year = {2002},
  pages = {262-284},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/fmco/2002},
  ee = {http://dx.doi.org/10.1007/978-3-540-39656-7_11}
}

@INPROCEEDINGS{LeavensKP07,
  author = {Leavens, G. T. and Kiniry, J. R. and Poll, E.},
  title = {A JML Tutorial: Modular Specification and Verification of Functional
	Behavior for Java},
  booktitle = {CAV},
  year = {2007},
  pages = {37},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/cav/2007},
  ee = {http://dx.doi.org/10.1007/978-3-540-73368-3_6}
}

@INPROCEEDINGS{MendesPDB09,
  author = {Mendes, R. and Pires, P. F. and Delicato, F. C. and Batista, T. V.},
  title = {WebFlowAH: an environment for ad-hoc specification and execution
	of web services-based processes},
  booktitle = {SAC},
  year = {2009},
  pages = {692-693},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/sac/2009},
  ee = {http://doi.acm.org/10.1145/1529282.1529426}
}

@INPROCEEDINGS{Meyer92b,
  author = {Meyer, B},
  title = {Eiffel: Version 3 and beyond},
  booktitle = {Eiffel},
  year = {1992},
  pages = {5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/eiffel/1992}
}

@INPROCEEDINGS{Milanovic05,
  author = {Milanovic, N.},
  title = {Contract-Based Web Service Composition Framework with Correctness
	Guarantees},
  booktitle = {ISAS},
  year = {2005},
  pages = {52-67},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/isas/2005},
  url = {http://dx.doi.org/10.1007/11560333_5}
}

@INPROCEEDINGS{UszokBJ04,
  author = {Uszok, A. and Bradshaw, J. M. and Jeffers, R.},
  title = {KAoS: A Policy and Domain Services Framework for Grid Computing and
	Semantic Web Services},
  booktitle = {iTrust},
  year = {2004},
  pages = {16-26},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/itrust/2004},
  url = {http://dx.doi.org/10.1007/978-3-540-24747-0_2}
}

@INPROCEEDINGS{XiaoCZBOLH08,
  author = {Xiao, H. and Chan, B. and Zou, Y and Benayon, J. W. and O'Farrell,
	B. and Litani, E. and Hawkins, J.},
  title = {A Framework for Verifying SLA Compliance in Composed Services},
  booktitle = {ICWS},
  year = {2008},
  pages = {457-464},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/icws/2008},
  ee = {http://dx.doi.org/10.1109/ICWS.2008.26}
}

@INPROCEEDINGS{ABM01,
  author = {Abiteboul, S. and Benjelloun, O. and Milo, T.},
  title = {Towards a Flexible Model for Data and Web Services Integration},
  booktitle = {proc. Internat. Workshop on Foundations of Models and Languages for
	Data and Objects},
  year = {2001}
}

@INPROCEEDINGS{AchilleosKP11,
  author = {Achilleos, A. and Kapitsaki, G. M. and Papadopoulos, G. A.},
  title = {A model-driven framework for developing web service oriented applications},
  booktitle = {Proceedings of the 11th international conference on Current Trends
	in Web Engineering},
  year = {2012},
  series = {ICWE'11},
  pages = {181--195},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid = {2186532},
  doi = {10.1007/978-3-642-27997-3_20},
  isbn = {978-3-642-27996-6},
  keywords = {code generation, mobile services, model-driven, web applications,
	web services},
  location = {Paphos, Cyprus},
  numpages = {15},
  url = {http://dx.doi.org/10.1007/978-3-642-27997-3_20}
}

@ARTICLE{AgarwalLS09,
  author = {Agarwal, S. and Lamparter, S. and Studer, R.},
  title = {Making Web services tradable: A policy-based approach for specifying
	preferences on Web service properties},
  journal = {J. Web Sem.},
  year = {2009},
  volume = {7},
  pages = {11-20},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.websem.2008.02.001}
}

@INPROCEEDINGS{AlH01,
  author = {de Alfaro, L. and Henzinger, T. A. },
  title = {Interface automata},
  year = {2001},
  volume = {26},
  number = {5},
  pages = {109--120},
  address = {New York, NY, USA},
  month = sep,
  publisher = {ACM},
  acmid = {503226},
  doi = {10.1145/503271.503226},
  issn = {0163-5948},
  issue_date = {Sept. 2001},
  journal = {SIGSOFT Softw. Eng. Notes},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/503271.503226}
}

@ARTICLE{Allen:1983,
  author = {Allen, J. F.},
  title = {Maintaining Knowledge about Temporal Intervals},
  journal = {Commun. ACM},
  year = {1983},
  volume = {26},
  pages = {832-843},
  number = {11},
  __markedentry = {[placidoasouzaneto:1]},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{AmyotM02,
  author = {Amyot, D. and Mussbacher, G},
  title = {URN: towards a new standard for the visual description of requirements},
  booktitle = {Proceedings of the 3rd international conference on Telecommunications
	and beyond: the broader applicability of SDL and MSC},
  year = {2003},
  series = {SAM'02},
  pages = {21--37},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid = {1765411},
  isbn = {3-540-00877-2},
  location = {Aberystwyth, UK},
  numpages = {17},
  url = {http://dl.acm.org/citation.cfm?id=1765408.1765411}
}

@MISC{bpel03,
  author = {Andrews, T. and Curbera, F. and Dholakia, H. and Goland, Y. and Klein,
	J. and Leymann, F. and Liu, K. and Roller, D. and Smith, D. and Thatte,
	S. and Trickovic, I. and Weeranwarana, S.},
  title = {Bussiness Process Execution Language for Web Services},
  howpublished = {Available at {http://www-128.ibm.com/developerworks/library/specification/ws-bpel/}},
  year = {2003}
}

@TECHREPORT{wsci,
  author = {Arkin, A. and Askary, S. and Fordin, S. and Jekeli, W. and Kawaguchi,
	K. and Orchard, D. and Pogliani, S. and Riemer, K. and Struble, S.
	and Takacsi-Nagy, P. and Trickovic, I. and Zimek, S.},
  title = {Web service choreography interface},
  institution = {World Wide Web Consortium},
  year = {2002}
}

@TECHREPORT{soma,
  author = {Arsanjani, A.},
  title = {{SOMA:} {S}ervice-{O}riented {M}odeling and {A}rchitecture},
  institution = {IBM},
  year = {2004},
  address = {Available in <http://www.ibm.com/developerworks/library/ws-soa-design1/>}
}

@ARTICLE{Arsanjani:2008,
  author = {Arsanjani, A. and Ghosh, S. and Allam, A. and Abdollah, T. and Gariapathy,
	S. and Holley, K.},
  title = {SOMA: a method for developing service-oriented solutions},
  journal = {IBM Syst. J.},
  year = {2008},
  volume = {47},
  pages = {377--396},
  number = {3},
  month = jul,
  __markedentry = {[placidoasouzaneto:1]},
  acmid = {1466613},
  address = {Riverton, NJ, USA},
  doi = {10.1147/sj.473.0377},
  issn = {0018-8670},
  issue_date = {July 2008},
  numpages = {20},
  publisher = {IBM Corp.},
  url = {http://dx.doi.org/10.1147/sj.473.0377}
}

@MISC{choreoWG,
  author = {Austin, D. and Barbir, A. and Peters, E. and Ross-Talbot, S.},
  title = {Web Services Choreography Requirements},
  howpublished = {Available at {http://www.w3.org/TR/2004/WD-ws-chor-reqs-20040311/}},
  month = {March},
  year = {2004},
  note = {W3C Working Draft}
}

@ARTICLE{BaCAM05,
  author = {Ba, C. and Carrero, M. A. and Halfeld-Ferrari, M. and Musicante,
	M. A.},
  title = {{PEWS}: {A} {N}ew {L}anguage for {B}uilding {W}eb {S}ervice {I}nterfaces},
  journal = {J. UCS},
  year = {2005},
  volume = {11},
  pages = {1215-1233},
  number = {7},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.jucs.org/jucs_11_7/pews_a_new_language}
}

@INPROCEEDINGS{BHM06,
  author = {Ba, C. and Halfeld-Ferrari, M. and Musicante, M. A.},
  title = {Composing Web Services with {PEWS}: A Trace-Theoretical Approach.},
  booktitle = {IEEE European Conference on Web Services (ECOWS)},
  year = {2006},
  pages = {65-74},
  optbibsource = {DBLP, http://dblp.uni-trier.de},
  optcrossref = {DBLP:conf/ecows/2006},
  optee = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12}
}

@TECHREPORT{BHM06rep,
  author = {Ba, C. and Halfeld-Ferrari, M. and Musicante, M. A.},
  title = {{PEWS}},
  institution = {Laboratoire d'informatique (LI) de l'Universite Francois-Rabelais
	de Tours},
  year = {2006},
  number = {{To appear}}
}

@INPROCEEDINGS{Babamir2010,
  author = {Babamir, S. M. and Karimi, S. and Shishechi, M. R.},
  title = {A Broker-Based Architecture for Quality-Driven Web Services Composition},
  booktitle = {Computational Intelligence and Software Engineering (CiSE), 2010
	International Conference on},
  year = {2010},
  pages = {1 -4},
  month = {dec.},
  doi = {10.1109/CISE.2010.5676854},
  keywords = {Web services;broker based architecture;business process;dynamic service
	integration;dynamic service selection;quality of service;user preference;Web
	services;business data processing;quality of service;software architecture;}
}

@MISC{wscl02,
  author = {Banerji, A. and Bartolini, C and Beringer ,D. and Chopella, V. and
	Govindarajan, K. and Karp, A. and Kuno, H. and Lemon, M. and Pogossiants,
	G. and Sharma, S. and Williams, S.},
  title = {Web Services Conversation Language (WSCL) 1.0},
  howpublished = {Available at {http://www.w3.org/TR/2002/NOTE-wscl10-20020314/}},
  year = {2002}
}

@ARTICLE{BasinDL06,
  author = {Basin, D. and Doser, J. and Lodderstedt, T.},
  title = {Model driven security: From UML models to access control infrastructures},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  year = {2006},
  volume = {15},
  pages = {39--91},
  number = {1},
  month = jan,
  acmid = {1125810},
  address = {New York, NY, USA},
  doi = {10.1145/1125808.1125810},
  issn = {1049-331X},
  issue_date = {January 2006},
  keywords = {Model Driven Architecture, Object Constraint Language, Role-Based
	Access Control, Unified Modeling Language, metamodeling, security
	engineering},
  numpages = {53},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/1125808.1125810}
}

@TECHREPORT{owl04,
  author = {Bechhofer, S. and Van Harmelen, F. and Hendler, J. and Horrocks,
	I and McGuinness, D. L. and Patel-Schneider, P. F. and Stein, L.
	A.},
  title = {OWL Web Ontology Language},
  institution = {W3C - http://www.w3.org/TR/owl-ref/},
  year = {2004}
}

@INPROCEEDINGS{BeVaC00,
  author = {Belhajjame, K. and Collet, C. and Vargas-Solar, G.},
  title = {A Flexible Workflow Model for Process-Oriented Applications},
  booktitle = {Proceedings of the Second International Conference on Web Information
	Systems Engineering (WISE'01) Volume 1 - Volume 1},
  year = {2001},
  series = {WISE '01},
  pages = {72--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {885471},
  isbn = {0-7695-1393-X},
  keywords = {workflow, workflow management system, parametric models, distributed
	and cooperative applications, networked database services.},
  url = {http://dl.acm.org/citation.cfm?id=882513.885471}
}

@BOOK{bell,
  title = {{Service-Oriented Modeling: Service Analysis, Design, and Architecture}},
  year = {2008},
  editor = {Wiley, New Jersey},
  author = {M. Bell}
}

@BOOK{somf,
  title = {Service-Oriented Modeling (SOA): Service Analysis, Design, and Architecture},
  publisher = {John Wiley},
  year = {2008},
  author = {Bell, M.}
}

@INPROCEEDINGS{BianculliGSBG07,
  author = {Bianculli, D. and Ghezzi, C. and Spoletini, P. and Baresi, L. and
	Guinea, S.},
  title = {Advances in Software Engineering},
  year = {2008},
  editor = {B\"{o}rger, Egon and Cisternino, Antonio},
  pages = {131--160},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid = {1485210},
  chapter = {A Guided Tour through SAVVY-WS: A Methodology for Specifying and
	Validating Web Service Compositions},
  doi = {10.1007/978-3-540-89762-0_5},
  isbn = {978-3-540-89761-3},
  numpages = {30},
  url = {http://dx.doi.org/10.1007/978-3-540-89762-0_5}
}

@ARTICLE{BichlerL06,
  author = {Bichler, M. and Lin, K. J.},
  title = {Service-Oriented Computing},
  journal = {IEEE Computer},
  year = {2006},
  volume = {39},
  pages = {99-101},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.102}
}

@ARTICLE{BiolchiniMNCT07,
  author = {Biolchini, J. C. A. and Mian, P. G. and Natali, A. C. C. and Conte,
	T. U. and Travassos, G. H.},
  title = {Scientific research ontology to support systematic review in software
	engineering},
  journal = {Adv. Eng. Inform.},
  year = {2007},
  volume = {21},
  pages = {133--151},
  number = {2},
  month = apr,
  acmid = {1248314},
  address = {Amsterdam, The Netherlands, The Netherlands},
  doi = {10.1016/j.aei.2006.11.006},
  issn = {1474-0346},
  issue_date = {April, 2007},
  keywords = {Experimental software engineering, Experimental study, Ontology, Scientific
	method, Systematic review},
  numpages = {19},
  publisher = {Elsevier Science Publishers B. V.},
  url = {http://dx.doi.org/10.1016/j.aei.2006.11.006}
}

@TECHREPORT{soap,
  author = {Box, D. and Ehnebuske, D. and Kakivaya, G. and Layman, A. and Mendelsohn,
	N. and Nielsen, H. F. and Thatte, S. and Winer, D.},
  title = {Simple Object Access Protocol (SOAP)},
  institution = {World Wide Web Consortium},
  year = {2000}
}

@INPROCEEDINGS{2,
  author = {Brown, A.},
  title = {{SOA Development Using the IBM Rational Software Development Platform:
	A Practical Guide}},
  booktitle = {Rational Software},
  year = {2005}
}

@ARTICLE{burdy:05,
  author = {Burdy, L. and Cheon, Y. and Cok, D. R. and Ernst, M. D. and Kiniry,
	J. R. and Leavens, G. T. and Leino, K. R. M. and Poll, E.},
  title = {An overview of {JML} tools and applications},
  journal = {Int. J. Softw. Tools Technol. Transf.},
  year = {2005},
  volume = {7},
  pages = {212--232},
  number = {3},
  abstract = {The Java Modeling Language (JML) can be used to specify the detailed
	design of Java classes and interfaces by adding annotations to Java
	source files. The aim of JML is to provide a specification language
	that is easy to use for Java programmers and that is supported by
	a wide range of tools for specification typechecking, runtime debugging,
	static analysis, and verification.This paper gives an overview of
	the main ideas behind JML, details about JML's wide range of tools,
	and a glimpse into existing applications of JML.},
  address = {Berlin, Heidelberg},
  doi = {10.1007/s10009-004-0167-4},
  doi-url = {http://dx.doi.org/10.1007/s10009-004-0167-4},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{GGP08,
  author = {Castagna, G. and Gesbert, N. and Padovani, L.},
  title = {A theory of contracts for web services},
  booktitle = {Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles
	of programming languages},
  year = {2008},
  series = {POPL '08},
  pages = {261--272},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1328471},
  doi = {10.1145/1328438.1328471},
  isbn = {978-1-59593-689-9},
  keywords = {CCS, concurrency theory, contracts, explicit coercions, must testing,
	subtyping, type theory, web services},
  location = {San Francisco, California, USA},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/1328438.1328471}
}

@PHDTHESIS{valeriaThesis,
  author = {de Castro, M. V.},
  title = {Aproximac\'ion MDA para el Desarrollo Orientado a Servicios de Sistemas
	de Informac\'ion Web: Del Modelo de Negocio al Modelo de Composic\'ion
	de Servicios Web},
  school = {Universidad Rey Juan Carlos - Escuela T\'ecnica Superior de Ingenier\'ia
	de Telecomunicaci\'on},
  year = {2007}
}

@ARTICLE{decastro1,
  author = {de Castro, V. and Marcos, E. and Wieringa, R.},
  title = {Towards a service-oriented MDA-based approach to the alignment of
	business processes with IT systems: From the business model to a
	web service composition model},
  journal = {International Journal of Cooperative Information Systems},
  year = {2009},
  volume = {18},
  number = {2}
}

@ARTICLE{CeriDMF07,
  author = {Ceri, S. and Daniel, F. and Matera, M. and Facca, F. M.},
  title = {Model-driven development of context-aware Web applications},
  journal = {ACM Trans. Internet Technol.},
  year = {2007},
  volume = {7},
  number = {1},
  month = feb,
  acmid = {1189742},
  address = {New York, NY, USA},
  articleno = {2},
  doi = {10.1145/1189740.1189742},
  issn = {1533-5399},
  issue_date = {February 2007},
  keywords = {Context, WebML, adaptive hypertext, conceptual modeling, context-aware
	Web applications, context-awareness},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/1189740.1189742}
}

@INPROCEEDINGS{CholletL09,
  author = {Chollet, S. and Lalanda, P.},
  title = {An Extensible Abstract Service Orchestration Framework},
  booktitle = {Proceedings of the 2009 IEEE International Conference on Web Services},
  year = {2009},
  series = {ICWS '09},
  pages = {831--838},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1586974},
  doi = {10.1109/ICWS.2009.14},
  isbn = {978-0-7695-3709-2},
  keywords = {Service-Oriented Architecture, Non-Functional Properties},
  numpages = {8},
  url = {http://dx.doi.org/10.1109/ICWS.2009.14}
}

@TECHREPORT{wsdl,
  author = {Christensen, E. and Curbera, F. and Meredith, G. and Weerawarana,
	S.},
  title = {Web Services Description Language (WSDL) 1.1},
  institution = {World Wide Web Consortium},
  year = {2001},
  note = {Available in http://www.w3.org/TR/wsdl}
}

@INPROCEEDINGS{Chung91,
  author = {Chung, L.},
  title = {Representation and Utilization of Non-Functional Requirements for
	Information System Design},
  booktitle = {International Conference on Advanced Information Systems Engineering},
  year = {1991},
  series = {CAiSE},
  pages = {5-30},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://dx.doi.org/10.1007/3-540-54059-8_78}
}

@INCOLLECTION{Chung2009,
  author = {Chung, L. and Leite, J. C.},
  title = {Conceptual Modeling: Foundations and Applications},
  publisher = {Springer-Verlag},
  year = {2009},
  editor = {Borgida, Alexander T. and Chaudhri, Vinay K. and Giorgini, Paolo
	and Yu, Eric S.},
  chapter = {On Non-Functional Requirements in Software Engineering},
  pages = {363--379},
  address = {Berlin, Heidelberg},
  acmid = {1577356},
  doi = {10.1007/978-3-642-02463-4_19},
  isbn = {978-3-642-02462-7},
  keywords = {NFRs, Non-functional requirements, alternatives, goal-oriented requirements
	engineering, requirements engineering, satisficing, selection criteria,
	softgoals},
  numpages = {17},
  url = {http://dx.doi.org/10.1007/978-3-642-02463-4_19}
}

@BOOK{MylopoulosBook99,
  title = {Non-Functional Requirements in Software Engineering},
  publisher = {Springer},
  year = {1999},
  author = {Chung, L. and Nixon, B. and Yu, E. S. K. and Mylopoulos, J.},
  alteditor = {Editor}
}

@INPROCEEDINGS{Cleland-HuangSZS06,
  author = {Cleland-Huang, J. and Settimi, R. and Zou, X. and Solc, P.},
  title = {The Detection and Classification of Non-Functional Requirements with
	Application to Early Aspects},
  booktitle = {Requirements Engineering, 14th IEEE International Conference},
  year = {2006},
  pages = {39 -48},
  month = {sept.},
  doi = {10.1109/RE.2006.65},
  issn = {1090-705X},
  keywords = {formal specification;formal verification;classification algorithm;freeform
	documents;information retrieval based approach;nonfunctional requirements;}
}

@ARTICLE{CostaMMN12,
  author = {da Costa, U. S. and Moreira, A. M. and Musicante, M. A. and Souza
	Neto, P. A.},
  title = {JCML: A specification language for the runtime verification of Java
	Card programs},
  journal = {Sci. Comput. Program.},
  year = {2012},
  volume = {77},
  pages = {533-550},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://dx.doi.org/10.1016/j.scico.2010.03.003}
}

@ARTICLE{CysneirosLN01,
  author = {Cysneiros, L. M. and Leite, J. C. and Sabat Neto, J. M.},
  title = {A Framework for Integrating Non-Functional Requirements into Conceptual
	Models},
  journal = {Requir. Eng.},
  year = {2001},
  volume = {6},
  pages = {97-115},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/s007660170008}
}

@INPROCEEDINGS{DamascenoLMSSAMRSL11,
  author = {Damasceno, J. and Lins, F. and Medeiros, R. and Silva, B. and Souza,
	A. and Aragao, D. and Maciel, P. and Rosa, N. S. and Stephenson,
	B. and Li, J.},
  title = {Modeling and Executing Business Processes with Annotated Security
	Requirements in the Cloud},
  booktitle = {Proceedings of the 2011 IEEE International Conference on Web Services},
  year = {2011},
  series = {ICWS '11},
  pages = {137--144},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {2059991},
  doi = {10.1109/ICWS.2011.78},
  isbn = {978-0-7695-4463-2},
  keywords = {Cloud Computing, Business Process Modeling, Business Process Execution,
	Web Service Composition, Security},
  numpages = {8},
  url = {http://dx.doi.org/10.1109/ICWS.2011.78}
}

@ARTICLE{CastroMV11,
  author = {De Castro, V. and Marcos, E. and Vara, J. M.},
  title = {Applying CIM-to-PIM model transformations for the service-oriented
	development of information systems},
  journal = {Inf. Softw. Technol.},
  year = {2011},
  volume = {53},
  pages = {87--105},
  number = {1},
  month = jan,
  acmid = {1879888},
  address = {Newton, MA, USA},
  doi = {10.1016/j.infsof.2010.09.002},
  issn = {0950-5849},
  issue_date = {January, 2011},
  keywords = {Business models, Information systems, Model transformations, Model-driven
	development, Service-oriented engineering},
  numpages = {19},
  publisher = {Butterworth-Heinemann},
  url = {http://dx.doi.org/10.1016/j.infsof.2010.09.002}
}

@INPROCEEDINGS{Derks:2001,
  author = {Derks, W. and Jonker, W. and Dehnert, J. and Grefen, P.},
  title = {Customized Atomicity Specification for Transactional Workflows},
  booktitle = {Proceedings of the Third International Symposium on Cooperative Database
	Systems for Advanced Applications},
  year = {2001},
  series = {CODAS '01},
  pages = {140--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  __markedentry = {[placidoasouzaneto:1]},
  acmid = {793443},
  isbn = {0-7695-1128-7},
  url = {http://dl.acm.org/citation.cfm?id=792766.793443}
}

@INPROCEEDINGS{DEVISE,
  author = {Dhyanesh, N. and Vineel, G. C. and Raghavan, S. V.},
  title = {DEVISE: A Methodology for Building Web Services Based Infrastructure
	for Collaborative Enterprises},
  booktitle = {Proceedings of the Twelfth International Workshop on Enabling Technologies:
	Infrastructure for Collaborative Enterprises},
  year = {2003},
  series = {WETICE '03},
  pages = {12--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {939782},
  isbn = {0-7695-1963-6},
  url = {http://dl.acm.org/citation.cfm?id=938984.939782}
}

@ARTICLE{DiamadopoulouMPS08,
  author = {Diamadopoulou, V. and Makris, C. and Panagis, Y. and Sakkopoulos,
	E.},
  title = {Techniques to support Web Service selection and consumption with
	QoS characteristics},
  journal = {J. Netw. Comput. Appl.},
  year = {2008},
  volume = {31},
  pages = {108--130},
  number = {2},
  month = apr,
  acmid = {1351418},
  address = {London, UK, UK},
  doi = {10.1016/j.jnca.2006.03.002},
  issn = {1084-8045},
  issue_date = {April, 2008},
  keywords = {Algorithms, Design, Documentation, H.3.3, H.3.4, Management, Measurement,
	Modified WSDL, Performance, QoS, Web Services},
  numpages = {23},
  publisher = {Academic Press Ltd.},
  url = {http://dx.doi.org/10.1016/j.jnca.2006.03.002}
}

@ARTICLE{ModicaTV09,
  author = {Di Modica, G. and Tomarchio, O. and Vita, L.},
  title = {Dynamic SLAs management in service oriented environments},
  journal = {J. Syst. Softw.},
  year = {2009},
  volume = {82},
  pages = {759--771},
  number = {5},
  month = may,
  acmid = {1519664},
  address = {New York, NY, USA},
  doi = {10.1016/j.jss.2008.11.010},
  issn = {0164-1212},
  issue_date = {May, 2009},
  keywords = {Grid, Negotiation, SOA, Service composition, Service level agreement
	(SLA)},
  numpages = {13},
  publisher = {Elsevier Science Inc.},
  url = {http://dx.doi.org/10.1016/j.jss.2008.11.010}
}

@INPROCEEDINGS{Espinosa-OviedoVZC09,
  author = {Espinosa-Oviedo, J. A. and Vargas-Solar, G. and Zechinelli-Martini,
	J. L. and Collet, C.},
  title = {Non-functional properties and services coordination using contracts},
  booktitle = {Proceedings of the 2009 International Database Engineering \& Applications
	Symposium},
  year = {2009},
  series = {IDEAS '09},
  pages = {307--310},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1620467},
  doi = {10.1145/1620432.1620467},
  isbn = {978-1-60558-402-7},
  keywords = {contract, non-functional properties, reliable services-coordination},
  location = {Cetraro - Calabria, Italy},
  numpages = {4},
  url = {http://doi.acm.org/10.1145/1620432.1620467}
}

@ARTICLE{Fabra2011,
  author = {Fabra, J. and De Castro, V. and Alvarez, P. and Marcos, E.},
  title = {Automatic execution of business process models: Exploiting the benefits
	of Model-driven Engineering approaches},
  journal = {Journal of Systems and Software},
  year = {2012},
  volume = {85},
  pages = {607 - 625},
  number = {3},
  note = {<ce:title>Novel approaches in the design and implementation of systems/software
	architecture</ce:title>},
  doi = {10.1016/j.jss.2011.09.022},
  issn = {0164-1212},
  keywords = {Business processes},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121211002391}
}

@INPROCEEDINGS{FeuerlichtM05,
  author = {Feuerlicht, G. and Meesathit, S.},
  title = {Towards Software Development Methodology for Web Services},
  booktitle = {Proceedings of the 2005 conference on New Trends in Software Methodologies,
	Tools and Techniques: Proceedings of the fourth SoMeT_W05},
  year = {2005},
  pages = {263--277},
  address = {Amsterdam, The Netherlands, The Netherlands},
  publisher = {IOS Press},
  acmid = {1563321},
  isbn = {1-58603-556-8},
  keywords = {Methodology For Service-Oriented Applications, Software Development,
	Web Services},
  numpages = {15},
  url = {http://dl.acm.org/citation.cfm?id=1563296.1563321}
}

@INPROCEEDINGS{Gervais02,
  author = {Gervais, M. P.},
  title = {Towards an MDA-Oriented Methodology},
  booktitle = {Proceedings of the 26th International Computer Software and Applications
	Conference on Prolonging Software Life: Development and Redevelopment},
  year = {2002},
  series = {COMPSAC '02},
  pages = {265--270},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {675887},
  isbn = {0-7695-1727-7},
  numpages = {6},
  url = {http://dl.acm.org/citation.cfm?id=645984.675887}
}

@INPROCEEDINGS{Glinz05rethinkingthe,
  author = {Glinz, M.},
  title = {Rethinking the Notion of Non-Functional Requirements},
  booktitle = {in Proceedings of the Third World Congress for Software Quality (3WCSQ'05},
  year = {2005},
  pages = {55--64}
}

@ARTICLE{Gordijn02valuebased,
  author = {Gordijn, J. and Akkermans, H.},
  title = {Value Based Requirements Engineering: Exploring Innovative e-Commerce
	Ideas},
  journal = {REQUIREMENTS ENGINEERING JOURNAL},
  year = {2002},
  volume = {8},
  pages = {114--134}
}

@BOOK{Greene2005,
  title = {Applied software project management},
  publisher = {O'Reilly},
  year = {2005},
  author = {Greene, J. and Stellman, A.},
  edition = {First},
  isbn = {0596009488}
}

@TECHREPORT{atl_manual,
  author = {ATLAS Group},
  title = {ATL: Atlas Transformation Language},
  institution = {ATLAS Group, LINA \& INRIA},
  year = {February, 2006}
}

@INPROCEEDINGS{GutierrezRF10,
  author = {Guti{\'e}rrez, C. and Rosado, D. G. and Fern\'{a}ndez-Medina, E.},
  title = {The practical application of a process for eliciting and designing
	security in web service systems},
  year = {2009},
  volume = {51},
  number = {12},
  pages = {1712--1738},
  address = {Newton, MA, USA},
  month = dec,
  publisher = {Butterworth-Heinemann},
  acmid = {1628591},
  doi = {10.1016/j.infsof.2009.05.004},
  issn = {0950-5849},
  issue_date = {December, 2009},
  journal = {Inf. Softw. Technol.},
  keywords = {Application information security, Design methodology, Software process,
	Web Services Security},
  numpages = {27},
  url = {http://dx.doi.org/10.1016/j.infsof.2009.05.004}
}

@INPROCEEDINGS{HamadiB03,
  author = {Hamadi, R. and Benatallah, B.},
  title = {A Petri net-based model for web service composition},
  booktitle = {Proceedings of the 14th Australasian database conference - Volume
	17},
  year = {2003},
  series = {ADC '03},
  pages = {191--200},
  address = {Darlinghurst, Australia, Australia},
  publisher = {Australian Computer Society, Inc.},
  acmid = {820121},
  isbn = {0-909-92595-X},
  keywords = {petri net, web service composition, web services},
  location = {Adelaide, Australia},
  numpages = {10},
  url = {http://dl.acm.org/citation.cfm?id=820085.820121}
}

@INPROCEEDINGS{HL05TACoS,
  author = {Heckel, R. and Lohmann, M.},
  title = {Towards Contract-based Testing of Web Services.},
  booktitle = { Proceedings of the International Workshop on Test and Analysis of
	Component Based Systems (TACoS 2004)},
  year = {2005},
  editor = {Mauro Pezz\'e},
  volume = {116},
  pages = {145-156},
  ee = {http://dx.doi.org/10.1016/j.entcs.2004.02.073},
  journal = {Electr. Notes Theor. Comput. Sci.},
  partner = {ULEICES},
  url = {http://www.cs.le.ac.uk/people/rh122/papers/2005/HL05TACoS.pdf}
}

@BOOK{Humble,
  title = {Continuous Delivery: Reliable Software Releases through Build, Test,
	and Deployment Automation},
  publisher = {Addison-Wesley},
  year = {2010},
  author = {Humble, J. and Farley, D.},
  atleditor = {Humble, J. and Farley, D.}
}

@ARTICLE{ieeeDict,
  author = {IEEE},
  title = {IEEE Standard Computer Dictionary. A Compilation of IEEE Standard
	Computer Glossaries},
  journal = {IEEE Std 610},
  year = {1991},
  doi = {10.1109/IEEESTD.1991.106963},
  keywords = {computer field;definitions;dictionary;glossary;glossaries;}
}

@TECHREPORT{uddi,
  author = {Ariba Inc. and IBM Corp. and and Microsoft Corp},
  title = {Universal Description, Discovery, and Integration (UDDI)},
  institution = {UDDI.org},
  year = {2000}
}

@INPROCEEDINGS{Espinosa-Oviedo2011a,
  author = {Espinosa-Oviedo, J. A. and Vargas-Solar, G. and
	Zechinelli-Martini, J. L. and Collet, C.},
  title = {{P}olicy driven services coordination for building social networks
	based applications},
  booktitle = {{I}n {P}roc. of the 8th {I}nt. {C}onference on {S}ervices {C}omputing
	({SCC}'11), {W}ork-in-{P}rogress {T}rack},
  year = {2011},
  address = {Washington, DC, USA},
  month = {July},
  publisher = {IEEE}
}

@ARTICLE{JeongCL09,
  author = {Jeong, B. and Cho, H. and Lee, C.},
  title = {On the functional quality of service (FQoS) to discover and compose
	interoperable web services},
  journal = {Expert Syst. Appl.},
  year = {2009},
  volume = {36},
  pages = {5411--5418},
  number = {3},
  month = apr,
  acmid = {1498400},
  address = {Tarrytown, NY, USA},
  doi = {10.1016/j.eswa.2008.06.087},
  issn = {0957-4174},
  issue_date = {April, 2009},
  keywords = {Functional attribute, Information compatibility, Quality of service
	(QoS), Semantic similarity, Service discovery, Service-oriented architecture
	(SOA)},
  numpages = {8},
  publisher = {Pergamon Press, Inc.},
  url = {http://dx.doi.org/10.1016/j.eswa.2008.06.087}
}

@BOOK{bpm,
  title = {Business Process Management, Second Edition: Practical Guidelines
	to Successful Implementations},
  publisher = {Elsevier},
  year = {2008},
  author = {Jeston, J. and Nelis, J.},
  alteditor = {Editor}
}

@INPROCEEDINGS{KaterosKTV08,
  author = {Kateros, D. A. and Kapitsaki, G. M. and Tselikas, N. D. and Venieris,
	I. S.},
  title = {A Methodology for Model-Driven Web Application Composition},
  booktitle = {Services Computing, 2008. SCC '08. IEEE International Conference
	on},
  year = {2008},
  volume = {2},
  pages = {489 -492},
  month = {july},
  doi = {10.1109/SCC.2008.58},
  keywords = {Application software;Automation;Computer networks;Springs;Standards
	development;Unified modeling language;User interfaces;Web and internet
	services;Web services;XML;Unified Modeling Language;Web services;software
	architecture;user interfaces;UML state transition;Web services;application
	modeling;business layer components;class diagrams;development automation;model
	parsing tools;model-driven Web application composition;model-view-controller
	architectural pattern;reusable components;user interface flow;Model-driven
	Architecture;UML;Web Services;composition;}
}

@ARTICLE{Kitchenham08,
  author = {Kitchenham, B. and Al-Khilidar, H. and Babar, M. A. and Berry, M.
	and Cox, K. and Keung, J. and Kurniawati, F. and Staples, M. and
	Zhang, H. and Zhu, L.},
  title = {Evaluating guidelines for reporting empirical software engineering
	studies},
  journal = {Empirical Softw. Engg.},
  year = {2008},
  volume = {13},
  pages = {97--121},
  number = {1},
  month = feb,
  acmid = {1331396},
  address = {Hingham, MA, USA},
  doi = {10.1007/s10664-007-9053-5},
  issn = {1382-3256},
  issue_date = {February 2008},
  keywords = {Checklist-based reviews, Controlled experiments, Guidelines, Perspective-based
	reading, Software engineering},
  numpages = {25},
  publisher = {Kluwer Academic Publishers},
  url = {http://dx.doi.org/10.1007/s10664-007-9053-5}
}

@ARTICLE{LinsJR072,
  author = {Lins, Fernando Ant\^{o}nio Aires and dos Santos J\'{u}nior, Jos{\'e}
	Carlos and Rosa, Nelson Souto},
  title = {Adaptive web service composition},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2007},
  volume = {32},
  number = {4},
  month = jul,
  acmid = {1281428},
  address = {New York, NY, USA},
  articleno = {6},
  doi = {10.1145/1281421.1281428},
  issn = {0163-5948},
  issue_date = {July 2007},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/1281421.1281428}
}

@INPROCEEDINGS{LinsJR07,
  author = {Lins, F. A. A. and dos Santos Junior, J. C. and Rosa, N. S.},
  title = {Improving Transparent Adaptability in Web Service Composition},
  booktitle = {Proceedings of the IEEE International Conference on Service-Oriented
	Computing and Applications},
  year = {2007},
  series = {SOCA '07},
  pages = {80--87},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1271826},
  doi = {10.1109/SOCA.2007.26},
  isbn = {0-7695-2861-9},
  keywords = {Adaptability, business process, service composition, web service,
	policy-driven.},
  numpages = {8},
  url = {http://dx.doi.org/10.1109/SOCA.2007.26}
}

@INPROCEEDINGS{LinsMSSADMRSL11,
  author = {Lins, F. and Medeiros, R. and Silva, B. and Souza, A. and Arag\~ao,
	D. and Damasceno, J. and Maciel, P. and Rosa, N. and Stephenson,
	B. and Li, J.},
  title = {SSC4Cloud Tooling: An Integrated Environment for the Development
	of Business Processes with Security Requirements in the Cloud},
  booktitle = {Services (SERVICES), 2011 IEEE World Congress on},
  year = {2011},
  pages = {53 -60},
  month = {july},
  doi = {10.1109/SERVICES.2011.72},
  keywords = {Business;Cloud computing;Computational modeling;Engines;Hardware;Security;Web
	services;business process re-engineering;cloud computing;formal specification;information
	technology;security of data;service-oriented architecture;Internet;SOA;Web
	service;business process management;business process modeling;business
	process specifications;cloud computing;information technology;model
	business requirements;secure service composition execution;security
	requirements;service-oriented architectures;Business Process Modeling/Execution;Cloud
	Computing;Security;Service-Oriented Architectures;Web Service Composition;}
}

@ARTICLE{Liu04,
  author = {Liu, S. and Khalaf, R. and Curbera, F.},
  title = {From {DAML-S} {P}rocesses to {BPEL4WS}},
  journal = {Research Issues in Data Engineering, International Workshop on},
  year = {2004},
  volume = {0},
  pages = {77-84},
  address = {Los Alamitos, CA, USA},
  doi = {http://doi.ieeecomputersociety.org/10.1109/RIDE.2004.1281706},
  issn = {2003116976},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{Mairiza:2010,
  author = {Mairiza, D. and Zowghi, D. and Nurmuliani, N.},
  title = {An investigation into the notion of non-functional requirements},
  booktitle = {Proceedings of the 10th ACM Symposium on Applied Computing},
  year = {2010},
  series = {SAC '10},
  pages = {311--317},
  address = {New York, NY, USA},
  publisher = {ACM},
  __markedentry = {[placidoasouzaneto:1]},
  acmid = {1774153},
  doi = {10.1145/1774088.1774153},
  isbn = {978-1-60558-639-7},
  keywords = {application domain, classification, non-functional requirements, type
	of system, types},
  location = {Sierre, Switzerland},
  numpages = {7},
  url = {http://doi.acm.org/10.1145/1774088.1774153}
}

@MISC{Martin04,
  author = {Martin, D. and Burstein, M. and Hobbs, J. and Lassila, O. and McDermott,
	D. and McIlraith, S. and Narayanan, S. and Paolucci, M. and Parsia,
	B. and Payne, T.},
  title = {OWL-S: Semantic Markup for Web Services},
  howpublished = {W3C Member Submission 22},
  year = {2004},
  optannote = {annote},
  optmonth = {month},
  optnote = {note}
}

@INPROCEEDINGS{MartinAD92,
  author = {Martin, H. and Adiba, M. E. and Defude, B.},
  title = {Consistency Checking in Object Oriented Databases: a Behavioral Approach},
  booktitle = {Selected Papers from the First International Conference on Information
	and Knowledge Management, Expanding the Definition of Database},
  year = {1993},
  series = {CIKM '92},
  pages = {53--68},
  address = {London, UK, UK},
  publisher = {Springer-Verlag},
  acmid = {753045},
  isbn = {3-540-57419-0},
  numpages = {16},
  url = {http://dl.acm.org/citation.cfm?id=648258.753045}
}

@BOOK{Meyer97,
  title = {Object-Oriented Software Construction, 2nd Edition},
  publisher = {Prentice-Hall},
  year = {1997},
  author = {Meyer, B.},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {0-13-629155-4}
}

@ARTICLE{Meyer92,
  author = {Meyer, B.},
  title = {Applying "Design by Contract"},
  journal = {Computer},
  year = {1992},
  volume = {25},
  pages = {40--51},
  number = {10},
  month = oct,
  acmid = {619797},
  address = {Los Alamitos, CA, USA},
  doi = {10.1109/2.161279},
  issn = {0018-9162},
  issue_date = {October 1992},
  numpages = {12},
  publisher = {IEEE Computer Society Press},
  url = {http://dx.doi.org/10.1109/2.161279}
}

@BOOK{MeyerN93,
  title = {Object-Oriented Applications},
  publisher = {Prentice-Hall},
  year = {1993},
  author = {Meyer, B. and Nerson, J. M.},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Milanovic06,
  author = {Milanovic, N.},
  title = {Service Engineering Design Patterns},
  booktitle = {Proceedings of the Second IEEE International Symposium on Service-Oriented
	System Engineering},
  year = {2006},
  series = {SOSE '06},
  pages = {19--26},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1174320},
  doi = {10.1109/SOSE.2006.33},
  isbn = {0-7695-2726-4},
  numpages = {8},
  url = {http://dx.doi.org/10.1109/SOSE.2006.33}
}

@PHDTHESIS{Milanovic2006,
  author = {Milanovic, N.},
  title = {Contract based Web service composition},
  school = {Humboldt-Universitat - Berlin},
  year = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pages = {1-257},
  url = {http://edoc.hu-berlin.de/dissertationen/milanovic-nikola-2006-06-13/PDF/milanovic.pdf}
}

@ARTICLE{MilanovicM06,
  author = {Milanovic, N. and Malek, M.},
  title = {Search Strategies for Automatic Web Service Composition},
  journal = {Int. J. Web Service Res.},
  year = {2006},
  volume = {3},
  pages = {1-32},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.igi-pub.com/articles/details.asp?ID=5964}
}

@INPROCEEDINGS{MilanovicM05,
  author = {Milanovic, N. and Malek, M.},
  title = {Architectural support for automatic service composition},
  booktitle = {Services Computing, 2005 IEEE International Conference on},
  year = {2005},
  volume = {2},
  pages = { 133 - 140 vol.2},
  month = {july},
  doi = {10.1109/SCC.2005.30},
  keywords = {Application software;Computer architecture;Connectors;Contracts;Proposals;Semantic
	Web;Service oriented architecture;Simple object access protocol;Software
	architecture;Web services; Internet; formal specification; security
	of data; software architecture; Web services; automatic service composition;
	composable service architecture definition; correctness; reputation
	systems; search; service oriented architecture; software architecture;
	trust systems; Web services; architecture; automatic service composition;
	correctness; search; trust;}
}

@UNPUBLISHED{miller,
  author = {Miller, J. and Mukerji, J.},
  title = {MDA Guide},
  year = {2003},
  number = {Version 1.0.1},
  url = {http://www.omg.org/cgi-bin/doc?omg/03-06-01}
}

@ARTICLE{MohantyRP10,
  author = {Mohanty, R. and Ravi, V. and Patra, M. R.},
  title = {Web-services classification using intelligent techniques},
  journal = {Expert Syst. Appl.},
  year = {2010},
  volume = {37},
  pages = {5484--5490},
  number = {7},
  month = jul,
  acmid = {1755338},
  address = {Tarrytown, NY, USA},
  doi = {10.1016/j.eswa.2010.02.063},
  issn = {0957-4174},
  issue_date = {July, 2010},
  keywords = {Back propagation neural network (BPNN), Classification and regression
	trees (CART), Group method of data handling (GMDH), Probabilistic
	neural network (PNN), Quality of services (QoS), Support vector machine
	(SVM) and ID3 decision tree (J48), TreeNet, Web services},
  numpages = {7},
  publisher = {Pergamon Press, Inc.},
  url = {http://dx.doi.org/10.1016/j.eswa.2010.02.063}
}

@ARTICLE{MuP06,
  author = {Musicante, M. A. and Potrich, E.},
  title = {Expressing Workflow Patterns for Web Services: The Case of PEWS},
  journal = j-jucs,
  year = {2006},
  volume = {12},
  pages = {903--921},
  number = {7},
  month = {jul},
  date = {2006-07-28}
}

@INPROCEEDINGS{MPC08,
  author = {Musicante, M. A. and Potrich, E. and Carrero, M. A.},
  title = {A programming environment for web services},
  booktitle = {Proceedings of the 2008 ACM symposium on Applied computing},
  year = {2008},
  series = {SAC '08},
  pages = {2363--2367},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1364249},
  doi = {10.1145/1363686.1364249},
  isbn = {978-1-59593-753-7},
  keywords = {PEWS, back-end, front-end},
  location = {Fortaleza, Ceara, Brazil},
  numpages = {5},
  url = {http://doi.acm.org/10.1145/1363686.1364249}
}

@TECHREPORT{acceleo,
  author = {Musset, J. and Juliot, E. and Lacrampe, S.},
  title = {Acceleo R\'ef\'erence},
  institution = {Obeo et Acceleo},
  year = {2006}
}

@ARTICLE{MylopoulosCN92,
  author = {Mylopoulos, J. and Chung, L. and Nixon, B. A.},
  title = {Representing and Using Nonfunctional Requirements: A Process-Oriented
	Approach},
  journal = {IEEE Trans. Software Eng.},
  year = {1992},
  volume = {18},
  pages = {483-497},
  number = {6},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://doi.ieeecomputersociety.org/10.1109/32.142871}
}

@INPROCEEDINGS{NguyenHPCM09,
  author = {Nguyen, D.K. and van den Heuvel, W.-J. and Papazoglou, M.P. and de
	Castro, V. and Marcos, E.},
  title = {Gap Analysis Methodology for Business Service Engineering},
  booktitle = {Commerce and Enterprise Computing, 2009. CEC '09. IEEE Conference
	on},
  year = {2009},
  pages = {215 -220},
  month = {july},
  doi = {10.1109/CEC.2009.68},
  keywords = {Application software;Business;Design engineering;Design methodology;Service
	oriented architecture;Simple object access protocol;Software maintenance;Software
	reusability;Web services;Wrapping;Web services;business data processing;Web
	service;experience-based identification;gap analysis methodology;green-field
	situation;software asset;value-creating business service engineering;Business
	Process Modeling;Business Service Engineering;Gap Analysis;Service
	Oriented Architecture;}
}

@TECHREPORT{bpel,
  author = {OMG},
  title = {Business Process Model and Notation (BPMN)},
  institution = {OMG},
  year = {2011},
  address = {http://www.omg.org/spec/BPMN/2.0}
}

@TECHREPORT{bpmn,
  author = {OMG},
  title = {Business Process Model and Notation (BPMN)},
  institution = {OMG},
  year = {2011},
  address = {http://www.omg.org/spec/BPMN/2.0}
}

@TECHREPORT{UML,
  author = {OMG},
  title = {OMG Unified Modeling LanguageTM (OMG UML), Infrastructure. Version
	2.4.1},
  institution = {OMG},
  year = {2011},
  month = {August}
}

@ARTICLE{OvaskaEHPA10,
  author = {Ovaska, E. and Evesti, A. and Henttonen, K. and Palviainen, M. and
	Aho, P.},
  title = {Knowledge based quality-driven architecture design and evaluation},
  journal = {Information {\&} Software Technology},
  year = {2010},
  volume = {52},
  pages = {577-601},
  number = {6},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.infsof.2009.11.008}
}

@ARTICLE{PaigeV12,
  author = {Paige, R. F. and Varr{\'o}, D.},
  title = {Lessons learned from building model-driven development tools},
  journal = {Software and System Modeling},
  year = {2012},
  volume = {11},
  pages = {527-539},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://dx.doi.org/10.1007/s10270-012-0257-9}
}

@ARTICLE{5,
  author = {Papazoglou, M. and Traverso, P. and Dustdar, S. and Leymann, F.},
  title = {{Service-Oriented Computing: State of the Art and Research Challenges}},
  journal = {IEEE Computer},
  year = {2007},
  volume = {40},
  number = {11}
}

@INPROCEEDINGS{Papazoglou03,
  author = {Papazoglou, M. P.},
  title = {Service -Oriented Computing: Concepts, Characteristics and Directions},
  booktitle = {Proceedings of the Fourth International Conference on Web Information
	Systems Engineering},
  year = {2003},
  series = {WISE '03},
  pages = {3--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {960404},
  isbn = {0-7695-1999-7},
  url = {http://dl.acm.org/citation.cfm?id=960322.960404}
}

@ARTICLE{PapazoglouH06,
  author = {Papazoglou, M. P. and Heuvel, Van Der Heuvel, W. J.},
  title = {Service-oriented design and development methodology},
  journal = {Int. J. Web Eng. Technol.},
  year = {2006},
  volume = {2},
  pages = {412--442},
  number = {4},
  month = jul,
  acmid = {1358582},
  address = {Inderscience Publishers, Geneva, SWITZERLAND},
  doi = {10.1504/IJWET.2006.010423},
  issn = {1476-1289},
  issue_date = {July 2006},
  keywords = {SOA, business processes, choreography, design methodologies, development
	methodologies, life cycle development, service development, service
	integration, service interoperability, service oriented architectures,
	service oriented computing, web services},
  numpages = {31},
  publisher = {Inderscience Publishers},
  url = {http://dx.doi.org/10.1504/IJWET.2006.010423}
}

@ARTICLE{PapazoglouH06,
  author = {Papazoglou, M. P. and Van den Heuvel, W. J.},
  title = {Service-oriented design and development methodology},
  journal = {Int. J. Web Eng. Technol.},
  year = {2006},
  volume = {2},
  pages = {412-442},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://dx.doi.org/10.1504/IJWET.2006.010423}
}

@ARTICLE{PastranaPK11,
  author = {Pastrana, J. L. and Pimentel, E. and Katrib, M.},
  title = {QoS-enabled and self-adaptive connectors for Web Services composition
	and coordination},
  journal = {Computer Languages, Systems \& Structures},
  year = {2011},
  volume = {37},
  pages = {2 - 23},
  number = {1},
  doi = {10.1016/j.cl.2010.07.001},
  issn = {1477-8424},
  keywords = {Web Services},
  url = {http://www.sciencedirect.com/science/article/pii/S1477842410000242}
}

@INPROCEEDINGS{PiresBM02,
  author = {Pires, P. F. and Benevides, M. R. F. and Mattoso, M.},
  title = {Building Reliable Web Services Compositions},
  booktitle = {Revised Papers from the NODe 2002 Web and Database-Related Workshops
	on Web, Web-Services, and Database Systems},
  year = {2003},
  pages = {59--72},
  address = {London, UK, UK},
  publisher = {Springer-Verlag},
  acmid = {744071},
  isbn = {3-540-00745-8},
  numpages = {14},
  url = {http://dl.acm.org/citation.cfm?id=648032.744071}
}

@INPROCEEDINGS{PortillaHE08,
  author = {Portilla, A. and Hanh, T. and Espinosa-Oviedo, J. A.},
  title = {Building reliable mobile services based applications},
  booktitle = {Data Engineering Workshop, 2008. ICDEW 2008. IEEE 24th International
	Conference on},
  year = {2008},
  pages = {121 -128},
  month = {april},
  doi = {10.1109/ICDEW.2008.4498303},
  keywords = {Application software;Context awareness;Context-aware services;Contracts;Informatics;Insurance;Laboratories;Logic;Organizing;Ubiquitous
	computing;mobile computing;contract based coordination model;reliable/secure
	mobile service;service oriented paradigm;ubiquitous computing;}
}

@MISC{Ramollari_asurvey,
  author = {Ramollari, E. and Dranidis, D. and Simons, A. J. H. },
  title = {A Survey of Service Oriented Development Methodologies}
}

@ARTICLE{RosaC04,
  author = {Rosa, N. S. and Cunha, P. F. and Justo, G. R.},
  title = {An Approach for Reasoning and Refining Non-Functional Requirements},
  journal = {Journal of the Brazilian Computer Society},
  year = {2004},
  volume = {10},
  pages = {59-81},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://dx.doi.org/10.1590/S0104-65002004000200006}
}

@BOOK{Rosen08,
  title = {Applied SOA: Service-Oriented Architecture and Design Strategies},
  publisher = {Wiley Publishing},
  year = {2008},
  author = {Rosen, M. and Lublinsky, B. and Smith, K. T. and Balcer, M. J.},
  isbn = {0470223650, 9780470223659}
}

@INPROCEEDINGS{Rottger04,
  author = {Rottger, S. and Zschaler, S.},
  title = {Model-Driven Development for Non-functional Properties: Refinement
	through Model Transformation},
  booktitle = {In: Proc. <<UML>> Conf},
  year = {2004},
  pages = {275--289},
  publisher = {Springer}
}

@INPROCEEDINGS{SBS04,
  author = {Sala\"{u}n, G. and Bordeaux, L. and Schaerf, M.},
  title = {Describing and Reasoning on Web Services using Process Algebra},
  booktitle = {Proceedings of the IEEE International Conference on Web Services},
  year = {2004},
  series = {ICWS '04},
  pages = {43--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1010140},
  doi = {10.1109/ICWS.2004.46},
  isbn = {0-7695-2167-3},
  url = {http://dx.doi.org/10.1109/ICWS.2004.46}
}

@INPROCEEDINGS{SchmelingCM11,
  author = {Schmeling, B. and Charfi, A. and Mezini, M.},
  title = {Composing Non-functional Concerns in Composite Web Services},
  booktitle = {Web Services (ICWS), 2011 IEEE International Conference on},
  year = {2011},
  pages = {331 -338},
  month = {july},
  doi = {10.1109/ICWS.2011.111},
  keywords = {Adaptation models;Business;Context;Process control;Security;Weaving;Web
	services;Web services;formal specification;knowledge representation
	languages;BPMN2;NFA;NFC;WS-BPEL;composite Web services;composition
	logic;model-driven approach;nonfunctional action;nonfunctional concern;Composition;Non-functional
	Concerns;Web services;}
}

@BOOK{sommerville08,
  title = {Software Engineering 6th Edition},
  publisher = {Addison Wesley},
  year = {2008},
  editor = {Trimer, R.},
  author = {Sommerville, I.}
}

@INPROCEEDINGS{SouzaSLDRMMSNLN09,
  author = {Souza, A. R. and Silva, B. L. and Lins, F. A. and Damasceno, J. C.
	and Rosa, N. S. and Maciel, P. R. and Medeiros, R. W. and Stephenson,
	B. and Motahari-Nezhad, H. R. and Li, J. and Northfleet, C.},
  title = {Incorporating Security Requirements into Service Composition: From
	Modelling to Execution},
  booktitle = {Proceedings of the 7th International Joint Conference on Service-Oriented
	Computing},
  year = {2009},
  series = {ICSOC-ServiceWave '09},
  pages = {373--388},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid = {1696087},
  doi = {10.1007/978-3-642-10383-4_27},
  isbn = {978-3-642-10382-7},
  location = {Stockholm},
  numpages = {16},
  url = {http://dx.doi.org/10.1007/978-3-642-10383-4_27}
}

@INPROCEEDINGS{SouzaLGRL11,
  author = {Souza, F. and Lopes, D. and Gama, K. and Rosa, N. S. and Lima, R.},
  title = {Dynamic event-based monitoring in a SOA environment},
  booktitle = {Proceedings of the 2011th Confederated international conference on
	On the move to meaningful internet systems - Volume Part II},
  year = {2011},
  series = {OTM'11},
  pages = {498--506},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid = {2075773},
  isbn = {978-3-642-25105-4},
  keywords = {QoS, SOA, events, monitoring},
  location = {Crete, Greece},
  numpages = {9},
  url = {http://dl.acm.org/citation.cfm?id=2075764.2075773}
}

@ARTICLE{SouzaNeto:2012,
  author = {Souza Neto, P. A. and Medeiros, H. B. and Hallais Neto, R.},
  title = {Plugin Extrator para Verifica\c c\~ao de Composi\c c\~oes PEWS},
  journal = {HOLOS},
  year = {2012},
  volume = {V.3},
  pages = {84-106},
  note = {Avaiable in <<http://www2.ifrn.edu.br/ojs/index.php/HOLOS/>>},
  __markedentry = {[placidoasouzaneto:1]}
}

@ARTICLE{Placido2010LTPD,
  author = {Souza Neto, P. A. and Musicante, M. A. and Vargas-Solar, G. and Zechinelli-Martini,
	J. L.},
  title = {Adding {C}ontracts to a {W}eb {S}ervice {C}omposition {L}anguage},
  journal = {{LTPD} - 4th {W}orkshop on {L}anguages and {T}ools for {M}ultithreaded,
	{P}arallel and {D}istributed {P}rogramming},
  year = {2010},
  month = {September}
}

@BOOK{Stellman2005,
  title = {Applied software project management},
  publisher = {O'Reilly},
  year = {2005},
  author = {Stellman, A. and Greene, J.},
  pages = {I-XII, 1-308},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.oreilly.de/catalog/appliedprojectmgmt/index.html},
  isbn = {978-0-596-00948-9}
}

@TECHREPORT{xlang,
  author = {Thatte, S.},
  title = {XLANG: Web Services for Business Process Design},
  year = {2001},
  optinstitution = {Institution}
}

@INPROCEEDINGS{ThissenW06,
  author = {Thi{\ss}en, D. and Wesnarat, P.},
  title = {Considering QoS Aspects in Web Service Composition},
  booktitle = {Computers and Communications, 2006. ISCC '06. Proceedings. 11th IEEE
	Symposium on},
  year = {2006},
  pages = { 371 - 377},
  month = {june},
  doi = {10.1109/ISCC.2006.53},
  issn = {1530-1346},
  keywords = {Application software;Computer languages;Computer science;Cost function;Electronic
	mail;Middleware;Prototypes;Quality of service;Software systems;Web
	services;}
}

@ARTICLE{TongrungrojanaL04,
  author = {Tongrungrojana, R. and Lowe, D.},
  title = {WIED: A Web Modelling Language for Modelling Architectural-Level
	Information Flows},
  journal = {J. Digit. Inf.},
  year = {2004},
  volume = {5},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://journals.tdl.org/jodi/article/view/139}
}

@INPROCEEDINGS{Tsadimas:2012,
  author = {Tsadimas, A. and Nikolaidou, M. and Anagnostopoulos, D.},
  title = {Extending SysML to explore non-functional requirements: the case
	of information system design},
  booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing},
  year = {2012},
  series = {SAC '12},
  pages = {1057--1062},
  address = {New York, NY, USA},
  publisher = {ACM},
  __markedentry = {[placidoasouzaneto:1]},
  acmid = {2231941},
  doi = {10.1145/2231936.2231941},
  isbn = {978-1-4503-0857-1},
  keywords = {SysML, information system architecture, model-based system design,
	non-functional requirements, requirement verification},
  location = {Trento, Italy},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/2231936.2231941}
}

@ARTICLE{Aal03,
  author = {Van der Aalst, W. M. P.},
  title = {Don't go with the flow: Web services compositions standards exposed},
  journal = {Issue of IEEE Inteligent System},
  year = {2003},
  month = {Jan/Feb}
}

@ARTICLE{AalstHKB03,
  author = {Van Der Aalst, W. M. P. and Ter Hofstede, A. H. M. and Kiepuszewski,
	B. and Barros, A. P.},
  title = {Workflow Patterns},
  journal = {Distrib. Parallel Databases},
  year = {2003},
  volume = {14},
  pages = {5--51},
  number = {1},
  month = jul,
  acmid = {640516},
  address = {Hingham, MA, USA},
  doi = {10.1023/A:1022883727209},
  issn = {0926-8782},
  issue_date = {July 2003},
  keywords = {control flow, expressive power, pattern, suitability, workflow},
  numpages = {47},
  publisher = {Kluwer Academic Publishers},
  url = {http://dx.doi.org/10.1023/A:1022883727209}
}

@ARTICLE{Varro04,
  author = {Varr{\'o}, D.},
  title = {Automated formal verification of visual modeling languages by model
	checking},
  journal = {Software and System Modeling},
  year = {2004},
  volume = {3},
  pages = {85-113},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://dx.doi.org/10.1007/s10270-003-0050-x}
}

@INPROCEEDINGS{VA05,
  author = {Verbeek, H. M. W. and Van der Aalst, W. M. P.},
  title = {Analyzing {BPEL} Processes using {{P}etri} Nets},
  booktitle = {Proceedings of the Second International Workshop on Applications
	of {{P}etri} Nets to Coordination, Workflow and Business Process
	Management},
  year = {2005},
  editor = {D. Marinescu},
  pages = {59-78},
  address = {Miami, Florida, USA},
  organization = {Florida International University}
}

@MISC{watson,
  author = {A. Watson},
  title = {A Brief History of {MDA}},
  year = {2008},
  number = {2},
  volume = {IX}
}

@INPROCEEDINGS{Yeom2006,
  author = {Yeom, G. and Yun, T. and Min, D.},
  title = {QoS Model and Testing Mechanism for Quality-driven Web Services Selection},
  booktitle = {Proceedings of the The Fourth IEEE Workshop on Software Technologies
	for Future Embedded and Ubiquitous Systems, and the Second International
	Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)},
  year = {2006},
  pages = {199--204},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1128551},
  doi = {10.1109/SEUS-WCCIA.2006.34},
  isbn = {0-7695-2560-1},
  numpages = {6},
  url = {http://dl.acm.org/citation.cfm?id=1128019.1128551}
}

@INPROCEEDINGS{Yu97,
  author = {Yu, E. S. K.},
  title = {Towards Modeling and Reasoning Support for Early-Phase Requirements
	Engineering},
  booktitle = {Proceedings of the 3rd IEEE International Symposium on Requirements
	Engineering},
  year = {1997},
  series = {RE '97},
  pages = {226--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {827807},
  isbn = {0-8186-7740-6},
  url = {http://dl.acm.org/citation.cfm?id=827255.827807}
}

@ARTICLE{ZhangPSP05,
  author = {Zhang, X. and Parisi-Presicce, F. and Sandhu, R. S. and Park, J.
	},
  title = {Formal model and policy specification of usage control},
  journal = {ACM Trans. Inf. Syst. Secur.},
  year = {2005},
  volume = {8},
  pages = {351-387},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.acm.org/10.1145/1108906.1108908}
}

@INPROCEEDINGS{LimingZhu2009,
  author = {Zhu, L. and Liu, Y.},
  title = {Model Driven Development with non-functional aspects},
  booktitle = {Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements
	Engineering and Architecture Design},
  year = {2009},
  series = {EA '09},
  pages = {49--54},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1629651},
  doi = {10.1109/EA.2009.5071584},
  isbn = {978-1-4244-3719-1},
  numpages = {6},
  url = {http://dx.doi.org/10.1109/EA.2009.5071584}
}

@BOOK{Avgeriou2011,
  title = {Relating Software Requirements and Architectures},
  publisher = {Springer},
  year = {2011},
  editor = {Avgeriou, P. and Grundy, J. and Hall, J. G. and Lago, P. and Mistr\'{\i}k,
	I.},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {978-3-642-21000-6},
  url = {http://dx.doi.org/10.1007/978-3-642-21001-3}
}

@PROCEEDINGS{lipari2007,
  title = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
	Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
  year = {2008},
  editor = {B{\"o}rger, E. and Cisternino, A.},
  volume = {5316},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Lipari Summer School},
  isbn = {978-3-540-89761-3}
}

@BOOK{bernus2006,
  title = {Handbook on Architectures of Information Systems},
  publisher = {Springer},
  year = {2006},
  editor = {Bernus, P. and Mertins, K. and Schmidt, G.},
  isbn = {103-540-25472-2}
}

@PROCEEDINGS{somet2005,
  title = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
	of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan},
  year = {2005},
  editor = {Fujita, H. and Mejri, M.},
  volume = {129},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {SoMeT}
}

@MANUAL{ws-bpel2,
  title = {Web Services Business Process Execution Language ({WS-BPEL}) Version
	2.0},
  organization = {Organization for the Advancement of Structured Information Standards
	(OASIS)},
  month = apr,
  year = {2007},
  citeulike-article-id = {3465627},
  citeulike-linkout-0 = {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html},
  day = {11},
  editor = {{IBM} and Microsoft and {and others}},
  howpublished = {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html},
  keywords = {bpel},
  posted-at = {2008-10-30 14:56:28},
  priority = {1},
  url = {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html}
}

@PROCEEDINGS{scube2010book,
  title = {Service Research Challenges and Solutions for the Future Internet
	- S-Cube - Towards Engineering, Managing and Adapting Service-Based
	Systems},
  year = {2010},
  editor = {Papazoglou, M. P. and Pohl, K. and Parkin, M. and Metzger, A.},
  volume = {6500},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {S-CUBE Book},
  isbn = {978-3-642-17598-5},
  url = {http://dx.doi.org/10.1007/978-3-642-17599-2}
}

@BOOK{rup,
  title = {The Rational Unified Process Made Easy: A Practitioner's Guide to
	the RUP: A Practitioner's Guide to the RUP},
  publisher = {Addison-Wesley},
  year = {2003},
  altauthor = {Kroll, P. and Kruchten, P.},
  alteditor = {Booch, G. and Jacobson, I and Rumbaugh, J.}
}

@ARTICLE{ieee_1998,
  title = {IEEE Recommended Practice for Software Requirements Specifications},
  journal = {IEEE Std 830-1998},
  year = {1998},
  pages = {i},
  month = { },
  doi = {10.1109/IEEESTD.1998.88286},
  keywords = {formal specification;IEEE Std 830-1998;IEEE recommended practice;IEEE/EIA
	Std 12207.1-1997;commercial software product selection;contracts;customers;guidelines;in-house
	software product selection;prototyping;software development;software
	requirements specification;standards compliance;suppliers;system
	requirements specifications;}
}

repository: mmusicante/PlacidoConfArtigos

repo_name: mmusicante/PlacidoConfArtigos


text:
@inproceedings{kumar+al.eacl17,
  title = {Morphological Analysis of the {D}ravidian Language Family},
  venue = {EACL},
  year = {2017},
  anthology = {https://www.aclweb.org/anthology/E17-2035.pdf},
  author = {Kumar, Arun and
	Cotterell, Ryan and
	Padró, Lluís and
	Oliver, Antoni},
  booktitle = {Proceedings of the 15th Conference of the {E}uropean Chapter of the Association for Computational Linguistics},
  month = {April},
  publisher = {Association for Computational Linguistics},
  address = {Valencia, Spain},
  volume = {2 (Short Papers)},
  pages = {217--222},
  abstract = {The Dravidian languages are one of the most widely spoken language families in the world, yet there are very few annotated resources available to NLP researchers. To remedy this, we create DravMorph, a corpus annotated for morphological segmentation and part-of-speech. Additionally, we exploit novel features and higher-order models to set state-of-the-art results on these corpora on both tasks, beating techniques proposed in the literature by as much as 4 points in segmentation F1.},
  url = {https://www.aclweb.org/anthology/E17-2035.pdf},
}

license: MIT

repository: rycolab/website

license_type: permissive

repo_name: rycolab/website

branch_name: refs/heads/master

extension: bib


text:
@Article{Lam_2017,
  doi = {10.1371/journal.pntd.0005498},
  url = {https://doi.org/10.1371/journal.pntd.0005498},
  year = {2017},
  month = {apr},
  publisher = {Public Library of Science ({PLoS})},
  volume = {11},
  number = {4},
  pages = {e0005498},
  author = {Phung Khanh Lam and Tran Van Ngoc and Truong Thi Thu Thuy and Nguyen Thi Hong Van and Tran Thi Nhu Thuy and Dong Thi Hoai Tam and Nguyen Minh Dung and Nguyen Thi Hanh Tien and Nguyen Tan Thanh Kieu and Cameron Simmons and Bridget Wills and Marcel Wolbers},
  editor = {William B Messer},
  title = {The value of daily platelet counts for predicting dengue shock syndrome: Results from a prospective observational study of 2301 Vietnamese children with dengue},
  journal = {{PLOS} Neglected Tropical Diseases},
}


text:
@article{Jensen-2022-Microbial,
    title = "Microbial Community Compositional Stability in Agricultural Soils During Freeze-Thaw and Fertilizer Stress",
    author = "Jensen, Grant  and
      Krogstad, Konrad  and
      Rezanezhad, Fereidoun  and
      Hug, Laura A.",
    journal = "Frontiers in Environmental Science, Volume 10",
    volume = "10",
    year = "2022",
    publisher = "Frontiers Media SA",
    url = "https://aclanthology.org/G22-72001",
    doi = "10.3389/fenvs.2022.908568",
}
@article{Krogstad-2022-Nitrogen,
    title = "Nitrogen Leaching From Agricultural Soils Under Imposed Freeze-Thaw Cycles: A Column Study With and Without Fertilizer Amendment",
    author = "Krogstad, Konrad  and
      Gharasoo, Mehdi  and
      Jensen, Grant  and
      Hug, Laura A.  and
      Rudolph, David  and
      Van Cappellen, Philippe  and
      Rezanezhad, Fereidoun",
    journal = "Frontiers in Environmental Science, Volume 10",
    volume = "10",
    year = "2022",
    publisher = "Frontiers Media SA",
    url = "https://aclanthology.org/G22-11001",
    doi = "10.3389/fenvs.2022.915329",
}

repository: gwf-uwaterloo/gwf-publications

repo_name: gwf-uwaterloo/gwf-publications

branch_name: refs/heads/main

gha_language: Python


text:
@article{hunt_doctors_2001,
	title = {Do doctors know best? Comments on a failed trial},
	volume = {174},
	issn = {0025-729X},
	url = {http://www.ncbi.nlm.nih.gov/pubmed/11247619},
	shorttitle = {Do doctors know best?},
	abstract = {A randomised controlled trial was planned to compare two different treatment strategies--structured problem solving and selective serotonin reuptake inhibitor ({SSRI}) medication--for patients with mild to moderate major depression. The trial was to be conducted in the primary care setting with all treatment given by general practitioners. When no patients had been recruited into the study after six months, we performed an audit of all patients with depressive symptoms attending the doctors' practices over three weeks. Exclusion criteria were changed to ease entry into the trial, but still no patients were recruited over the following six months. What went wrong?},
	pages = {144--146},
	number = {3},
	journaltitle = {The Medical Journal of Australia},
	shortjournal = {Med. J. Aust.},
	author = {Hunt, C J and Shepherd, L M and Andrews, G},
	urldate = {2011-10-17},
	date = {2001-02-05},
	pmid = {11247619}
}

repository: pmean/build-website

repo_name: pmean/build-website


text:
@article{baig_synthetic_2020-1,
 abstract = {Synthetic biology builds upon genetics, molecular biology, and metabolic engineering by applying engineering principles to the design of biological systems. When designing a synthetic system, synthetic biologists need to exchange information about multiple types of molecules, the intended behavior of the system, and actual experimental measurements. The Synthetic Biology Open Language (SBOL) has been developed as a standard to support the specification and exchange of biological design information in synthetic biology, following an open community process involving both wet bench scientists and dry scientific modelers and software developers, across academia, industry, and other institutions. This document describes SBOL 3.0.0, which condenses and simplifies previous versions of SBOL based on experiences in deployment across a variety of scientific and industrial settings. In particular, SBOL 3.0.0, (1) separates sequence features from part/sub-part relationships, (2) renames Component Definition/Component to Component/Sub-Component, (3) merges Component and Module classes, (4) ensures consistency between data model and ontology terms, (5) extends the means to define and reference Sub-Components, (6) refines requirements on object URIs, (7) enables graph-based serialization, (8) moves Systems Biology Ontology (SBO) for Component types, (9) makes all sequence associations explicit, (10) makes interfaces explicit, (11) generalizes Sequence Constraints into a general structural Constraint class, and (12) expands the set of allowed constraints.},
 author = {Baig, Hasan and Fontanarrosa, Pedro and Kulkarni, Vishwesh and McLaughlin, James Alastair and Vaidyanathan, Prashant and Bartley, Bryan and Beal, Jacob and Crowther, Matthew and Gorochowski, Thomas E. and Grünberg, Raik and Misirli, Goksel and Scott-Brown, James and Oberortner, Ernst and Wipat, Anil and Myers, Chris J.},
 date = {2020-06-25},
 doi = {10.1515/jib-2020-0017},
 issn = {1613-4516},
 journaltitle = {Journal of Integrative Bioinformatics},
 keywords = {SBOL, genetic circuit},
 note = {00000
tex.ids: SyntheticBiologyOpen_baig_2020b
publisher: De Gruyter
section: Journal of Integrative Bioinformatics},
 number = {2},
 title = {Synthetic biology open language (SBOL) version 3.0.0},
 url = {https://www.degruyter.com/view/journals/jib/17/2-3/article-20200017.xml},
 urldate = {2020-09-16},
 volume = {17}
}

gha_license_id: MIT

gha_language: TeX


text:
import {
  Button,
  InputField,
  TextareaField,
  UploaderField,
} from '@heetch/flamingo-react'
import { Validators } from '@lemoncode/fonk'
import { createFinalFormValidation } from '@lemoncode/fonk-final-form'
import React from 'react'
import { Field, Form } from 'react-final-form'
import styled from 'styled-components'
import useIsMounted from '../../hooks/useIsMounted'
import useProfile from '../../hooks/useProfile'
import { base64MimeType, toDataURL } from '../../plugins/file'

const validationSchema = {
  field: {
    first_name: [
      {
        validator: Validators.maxLength,
        customArgs: { length: 50 },
      },
    ],
    last_name: [
      {
        validator: Validators.maxLength,
        customArgs: { length: 50 },
      },
    ],
    description: [
      {
        validator: Validators.maxLength,
        customArgs: { length: 160 },
      },
    ],
  },
}

const validator = createFinalFormValidation(validationSchema)

const defaultState = {
  avatar_url: '',
  first_name: '',
  last_name: '',
  description: '',
  url: '',
}

const StyledProfileForm = styled.div`
  .avatar {
    & > div {
      & > :nth-child(1) {
        background-size: contain;
        background-repeat: no-repeat;
      }
    }
  }
`

const ProfileForm = ({ onSave }) => {
  const isMounted = useIsMounted()
  const { profile, loading, updateProfile, updateAvatar } = useProfile()
  const [avatar, setAvatar] = React.useState([])

  const initialValues = {
    ...defaultState,
    ...profile,
  }

  const handleSubmit = async (payload) => {
    await updateProfile({
      ...defaultState,
      ...payload,
    })

    if (onSave) onSave(payload)
  }

  const handleAvatarUpload = async (payload) => {
    await updateAvatar({ avatar: payload[0] })
  }

  const validate = (values) => validator.validateForm(values)

  React.useEffect(() => {
    const fetchAvatar = async () => {
      if (profile.avatar_url) {
        const file = await toDataURL(profile.avatar_url)
        const mimeType = base64MimeType(file).split('/')[1]

        if (isMounted) {
          setAvatar([
            {
              type: mimeType,
              name: `avatar.${mimeType !== 'svg+xml' ? mimeType : 'png'}`,
              preview: file,
            },
          ])
        }
      }
    }

    fetchAvatar()
  }, [profile, isMounted])

  return (
    <StyledProfileForm>
      <Form
        onSubmit={handleSubmit}
        validate={validate}
        initialValues={initialValues}
        render={({ handleSubmit }) => (
          <form onSubmit={handleSubmit}>
            <UploaderField
              accept="image/jpg,jpeg,png,svg+xml"
              onChange={handleAvatarUpload}
              id="avatar"
              className="avatar"
              label="Avatar"
              value={avatar}
              disabled={loading}
            />

            <Field name="first_name">
              {({ input, meta }) => (
                <InputField
                  helper={
                    meta.error && meta.touched ? meta.error : 'Your first name'
                  }
                  invalid={!!(meta.error && meta.touched)}
                  label="First name"
                  id={input.name}
                  {...input}
                  disabled={loading}
                />
              )}
            </Field>

            <Field name="last_name">
              {({ input, meta }) => (
                <InputField
                  helper={
                    meta.error && meta.touched ? meta.error : 'Your last name'
                  }
                  invalid={!!(meta.error && meta.touched)}
                  label="Last name"
                  id={input.name}
                  {...input}
                  disabled={loading}
                />
              )}
            </Field>

            <Field name="description">
              {({ input, meta }) => (
                <TextareaField
                  helper={
                    meta.error && meta.touched ? meta.error : 'Your description'
                  }
                  invalid={!!(meta.error && meta.touched)}
                  label="Description"
                  id={input.name}
                  {...input}
                  disabled={loading}
                />
              )}
            </Field>

            <Field name="url">
              {({ input, meta }) => (
                <InputField
                  helper={
                    meta.error && meta.touched ? meta.error : 'Your website'
                  }
                  invalid={!!(meta.error && meta.touched)}
                  label="Website"
                  id={input.name}
                  {...input}
                  disabled={loading}
                />
              )}
            </Field>

            <Button isLoading={loading} style={{ width: '100%' }} type="submit">
              Save
            </Button>
          </form>
        )}
      />
    </StyledProfileForm>
  )
}

export default ProfileForm

repository: Tahul/curare

repo_name: Tahul/curare

extension: jsx


text:
@article{hannisdal2011detecting,
  title={Detecting common-cause relationships with directional information transfer},
  author={Hannisdal, Bjarte},
  journal={Geological Society, London, Special Publications},
  volume={358},
  number={1},
  pages={19--29},
  year={2011},
  publisher={Geological Society of London}
}

repository: earthsystemevolution/website

repo_name: earthsystemevolution/website

gha_language: Jupyter Notebook


text:
@Article{zawierta2008phase,
  title = {Phase transition in sexual reproduction and biological evolution},
  author = {Marta Zawierta and Wojciech Waga and Dorota Mackiewicz and Przemys{\l}aw Biecek and Stanis{\l}aw Cebrat},
  journal = {International Journal of Modern Physics C},
  volume = {19},
  number = {06},
  pages = {917--926},
  year = {2008},
  publisher = {World Scientific Publishing Company},
}


text:
@article{Bhattacharjee-Roy-2022-Supporting-Readability,
    title = "Supporting Readability by Comprehending the Hierarchical Abstraction of a Software Project",
    author = "Bhattacharjee, Avijit  and
      Roy, Banani  and
      Schneider, Kevin",
    journal = "15th Innovations in Software Engineering Conference",
    year = "2022",
    publisher = "ACM",
    url = "https://aclanthology.org/G22-9001",
    doi = "10.1145/3511430.3511441",
    abstract = "",
}


text:
@article{Mavrovic-2021-Soil,
    title = "Soil dielectric characterization during freeze{--}thaw transitions using L-band coaxial and soil moisture probes",
    author = "Mavrovic, Alex  and
      Pardo Lara, Renato  and
      Berg, Aaron  and
      Demontoux, Fran{\c{c}}ois  and
      Royer, Alain  and
      Roy, Alexandre",
    journal = "Hydrology and Earth System Sciences, Volume 25, Issue 3",
    volume = "25",
    number = "3",
    year = "2021",
    publisher = "Copernicus GmbH",
    url = "https://aclanthology.org/G21-69001",
    doi = "10.5194/hess-25-1117-2021",
    pages = "1117--1131",
}


text:
#
# base recipe: meta/recipes-extended/xz/xz_5.1.3alpha.bb
# base branch: daisy
#
SUMMARY = "Utilities for managing LZMA compressed files"
HOMEPAGE = "http://tukaani.org/xz/"

PR = "r0"
inherit debian-package autotools gettext
DPN = "xz-utils"

DEPENDS += "gettext-native"
# The source includes bits of PD, GPLv2, GPLv3, LGPLv2.1+, but the only file
# which is GPLv3 is an m4 macro which isn't shipped in any of our packages,
# and the LGPL bits are under lib/, which appears to be used for libgnu, which
# appears to be used for DOS builds. So we're left with GPLv2+ and PD.
LICENSE = "GPLv2+ & GPLv3+ & LGPLv2.1+ & PD"
LICENSE_${PN} = "GPLv2+"
LICENSE_${PN}-dev = "GPLv2+"
LICENSE_${PN}-staticdev = "GPLv2+"
LICENSE_${PN}-doc = "GPLv2+"
LICENSE_${PN}-dbg = "GPLv2+"
LICENSE_${PN}-locale = "GPLv2+"
LICENSE_liblzma = "PD"
LICENSE_liblzma-dev = "PD"
LICENSE_liblzma-staticdev = "PD"
LICENSE_liblzma-dbg = "PD"

LIC_FILES_CHKSUM = "file://COPYING;md5=c475b6c7dca236740ace4bba553e8e1c \
                    file://COPYING.GPLv2;md5=b234ee4d69f5fce4486a80fdaf4a4263 \
                    file://COPYING.GPLv3;md5=d32239bcb673463ab874e80d47fae504 \
                    file://COPYING.LGPLv2.1;md5=4fbd65380cdd255951079008b364516c \
                    file://lib/getopt.c;endline=23;md5=2069b0ee710572c03bb3114e4532cd84 "

PACKAGES =+ "liblzma liblzma-dev liblzma-staticdev liblzma-dbg"

FILES_liblzma = "${libdir}/liblzma*${SOLIBS}"
FILES_liblzma-dev = "${includedir}/lzma* ${libdir}/liblzma*${SOLIBSDEV} ${libdir}/liblzma.la ${libdir}/pkgconfig/liblzma.pc"
FILES_liblzma-staticdev = "${libdir}/liblzma.a"
FILES_liblzma-dbg = "${libdir}/.debug/liblzma*"

BBCLASSEXTEND = "native nativesdk"

# generate build-aux/config.rpath so autoreconf can see it
do_configure_prepend() {
	cd ${S}
	./autogen.sh && cd -
}

repository: iwamatsu/meta-debian

repo_name: iwamatsu/meta-debian

branch_name: refs/heads/jethro

extension: bb


text:
require xorg-font-common.inc

DESCRIPTION = "Provides a 12pt, 100dpi proportional font with many of \
the glyphs needed for Unicode text."

PE = "1"


text:
//go:build go1.15
// +build go1.15

/*
 The Subject Key Identifier and Authority Key Identifier extensions are
 necessary on certificate authorities. The "crypto/x509" package adds
 these automatically since Go 1.15. We need to ensure that certificates
 generated by our PKI have these two fields. We should drop this build
 constraint after our tests look for the fields explicitly.
*/

package pki

/*
 Copyright 2021 Crunchy Data Solutions, Inc.
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at

 http://www.apache.org/licenses/LICENSE-2.0

 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,
 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 See the License for the specific language governing permissions and
 limitations under the License.
*/

import (
	"crypto/ecdsa"
	"crypto/rand"
	"crypto/x509"
	"crypto/x509/pkix"
	"math/big"
	"time"
)

const (
	// defaultRootCAExpiration sets the default time for the root CA, which is
	// placed far enough into the future
	defaultRootCAExpiration = 10 * 365 * 24 * time.Hour

	// rootCAName is the name of the root CA
	rootCAName = "postgres-operator-ca"
)

// RootCertificateAuthority contains the ability to generate the necessary
// components of a root certificate authority (root CA). This includes the
// private key for the root CA as well as its certificate, which is self-signed
// (as is the nature of a root CA).
//
// In the context of the Operator, there will be one root certificate per
// namespace that contains postgresclusters managed by the Operator.
type RootCertificateAuthority struct {
	// Certificate is the certificate of this certificate authority
	Certificate *Certificate

	// PrivateKey is the private key portion of the certificate authority
	PrivateKey *PrivateKey

	// generateKey generates an ECDSA keypair
	generateKey func() (*ecdsa.PrivateKey, error)

	// generateCertificate generates a X509 certificate return in DER format
	generateCertificate func(*ecdsa.PrivateKey, *big.Int) ([]byte, error)

	// generateSerialNumber creates a unique serial number to assign to the
	// certificate
	generateSerialNumber func() (*big.Int, error)
}

// Generate creates a new root certificate authority
func (ca *RootCertificateAuthority) Generate() error {
	// ensure functions are defined
	if ca.generateKey == nil || ca.generateCertificate == nil || ca.generateSerialNumber == nil {
		return ErrFunctionNotImplemented
	}

	// generate a private key
	if privateKey, err := ca.generateKey(); err != nil {
		return err
	} else {
		ca.PrivateKey = NewPrivateKey(privateKey)
	}

	// generate a serial number
	serialNumber, err := ca.generateSerialNumber()

	if err != nil {
		return err
	}

	// generate a certificate
	if certificate, err := ca.generateCertificate(ca.PrivateKey.PrivateKey, serialNumber); err != nil {
		return err
	} else {
		ca.Certificate = &Certificate{Certificate: certificate}
	}

	return nil
}

// NewRootCertificateAuthority generates a new root certificate authority
// that can be used to issue leaf certificates
func NewRootCertificateAuthority() *RootCertificateAuthority {
	return &RootCertificateAuthority{
		generateCertificate:  generateRootCertificate,
		generateKey:          generateKey,
		generateSerialNumber: generateSerialNumber,
	}
}

// ParseRootCertificateAuthority takes a PEM encoded private key and certificate
// representation and attempts to parse it.
func ParseRootCertificateAuthority(privateKey, certificate []byte) (*RootCertificateAuthority, error) {
	var err error
	ca := NewRootCertificateAuthority()

	// attempt to parse the private key
	if ca.PrivateKey, err = ParsePrivateKey(privateKey); err != nil {
		return nil, err
	}

	// attempt to parse the certificate
	if ca.Certificate, err = ParseCertificate(certificate); err != nil {
		return nil, err
	}

	return ca, nil
}

// RootCAIsBad checks that at least one root CA has been generated and that
// all returned certs are CAs and not expired
//
// TODO(tjmoore4): Currently this will return 'true' if any of the parsed certs
// fail a given check. For scenarios where multiple certs may be returned, such
// as in a BYOC/BYOCA, this will need to be handled so we only generate a new
// certificate for our cert if it is the one that fails.
func RootCAIsBad(root *RootCertificateAuthority) bool {
	// if the certificate or the private key are nil, the root CA is bad
	if root.Certificate == nil || root.PrivateKey == nil {
		return true
	}

	// if there is an error parsing the root certificate or if there is not at least one certificate,
	// the RootCertificateAuthority is bad
	rootCerts, rootErr := x509.ParseCertificates(root.Certificate.Certificate)

	if rootErr != nil && len(rootCerts) < 1 {
		return true
	}

	// find our root cert in the returned slice
	for _, cert := range rootCerts {
		// root cert is bad if it is not a CA
		if !cert.IsCA || !cert.BasicConstraintsValid {
			return true
		}

		// if it is outside of the certs configured valid time range
		if time.Now().After(cert.NotAfter) || time.Now().Before(cert.NotBefore) {
			return true
		}
	}

	// checks passed, cert is good
	return false

}

// generateRootCertificate creates a x509 certificate with a ECDSA signature using
// the SHA-384 algorithm
func generateRootCertificate(privateKey *ecdsa.PrivateKey, serialNumber *big.Int) ([]byte, error) {
	// prepare the certificate. set the validity time to the predefined range
	now := time.Now()
	template := &x509.Certificate{
		BasicConstraintsValid: true,
		IsCA:                  true,
		KeyUsage:              x509.KeyUsageCertSign | x509.KeyUsageCRLSign,
		MaxPathLenZero:        true, // there are no intermediate certificates
		NotBefore:             now.Add(beforeInterval),
		NotAfter:              now.Add(defaultRootCAExpiration),
		SerialNumber:          serialNumber,
		SignatureAlgorithm:    certificateSignatureAlgorithm,
		Subject: pkix.Name{
			CommonName: rootCAName,
		},
	}

	// a root certificate has no parent, so pass in the template twice
	return x509.CreateCertificate(rand.Reader, template, template,
		privateKey.Public(), privateKey)
}

repository: jkatz/postgres-operator

repo_name: jkatz/postgres-operator

gha_language: Go

extension: go


text:
package configuration

import (
	"log"
	"os"
	"sync"
	"time"
)

// ConfigLoader - Orchestrates the configuration loading.
// Config - The plain config type.
// ConfigFile - Loads configuration data from a file.
// ConfigFlags - Loads configuration data from a flag.

// Singleton pattern ensures a single config across concurrent threads.
var instance *Config
var loadOnce sync.Once
var parseOnce sync.Once

// GetConfig is concurrency safe loading and retrieving of the config data.
func GetConfig() *Config {
	loadOnce.Do(func() {
		instance = loadConfig()
	})
	return instance
}

// ReloadConfig pulls the config in again, useful for making changes to a running service.
func ReloadConfig() {
	instance = loadConfig()
}

// loadConfig fetches the various sources of configuration data, and returns the fully prepared config.
func loadConfig() *Config {
	// Parse command line flags
	parseOnce.Do(func() {
		// We only want to parse (and define) the flags once.
		parseConfigFlags()
	})

	// Pull a copy of the defaults, and convert to a pointer.
	config := getConfigDefaults()

	// Load config data from INI file on top of default values.
	configPath := configFlagsGetConfigPath()

	// Remember the file we picked, such as /etc/contra.conf
	config.ConfigFile = configPath

	// Merge the config file params into the config.
	if err := mergeConfigFile(config, configPath); err != nil {
		log.Fatalf("Error loading config file: %s, %s", configPath, err.Error())
	}

	// Fetch flags and merge on top of file+default values.
	mergeConfigFlags(config)

	// Check for config test
	if err := configTester(config.ConfigFile); err != nil {
		log.Fatalf("Contra configuration test error: %s", err.Error())
	} else {
		if !config.Quiet {
			log.Println("Contra configuration test passed")
		}
		if config.ConfigTest {
			os.Exit(0)
		}
	}

	// Sanity Check
	if config.Interval < time.Second {
		// TODO: Friendly way to exit?
		log.Fatalln("Interval should be a minimum of 1s. Did you forget the seconds?")
	}
	if config.Timeout < time.Second {
		// TODO: Friendly way to exit?
		log.Fatalln("Timeout should be a minimum of 1s. Did you forget the seconds?")
	}

	// Check and decrypt any passwords to the loaded in-memory config.
	if err := decryptLoadedConfig(config); err != nil {
		log.Fatalf("error decrypting configuration: %s", err.Error())
	}

	return config
}

repository: aja-video/contra

repo_name: aja-video/contra


text:
@inproceedings{GomezBarrero-PAD-SWIR-LSCI-ICB-2019,
 author = {M. Gomez-Barrero and J. Kolberg and C. Busch},
 booktitle = {Proc. Int. Conf. on Biometrics (ICB)},
 groups = {BATL},
 title = {Multi-Modal Fingerprint Presentation Attack Detection: Looking at the Surface and the Inside},
 year = {2019}
}

repository: mgbarrero/academic-kickstart

repo_name: mgbarrero/academic-kickstart


text:
DESCRIPTION = "Firmware files for Bluetooth"
LICENSE = "TI-TSPA"
LIC_FILES_CHKSUM = "file://LICENSE;md5=f39eac9f4573be5b012e8313831e72a9"

PV = "8.7.1+git${SRCPV}"

CLEANBROKEN = "1"

SRCREV = "0ee619b598d023fffc77679f099bc2a4815510e4"
BRANCH = "master"
SRC_URI = "git://git.ti.com/git/ti-bt/service-packs.git;protocol=https;branch=${BRANCH}"

S = "${WORKDIR}/git"

do_compile() {
    :
}

do_install() {
    install -d ${D}${nonarch_base_libdir}/firmware/ti-connectivity
    oe_runmake "DEST_DIR=${D}" "BASE_LIB_DIR=${nonarch_base_libdir}" install
}

FILES:${PN} += "${nonarch_base_libdir}/firmware/ti-connectivity/*"

repository: YoeDistro/meta-ti

repo_name: YoeDistro/meta-ti

gha_language: BitBake


text:
@book{RicKoch1999,
author = {Richard Koch},
title = {The 80/20 Principle: The Secret to Achieving More with Less},
publisher = {Crown Business},
year = {1999}
}

@misc{PauRoon2002,
title = {Microsoft's CEO: 80-20 Rule Applies To Bugs, Not Just Features},
author = {Paula Rooney},
year = {2002},
howpublished = "\url{http://www.crn.com}"
}

@book{SteMcCo2004,
author = {Steve McConnell},
title = {Code Complete: A Practical Handbook of Software Construction, 2nd Edition},
publisher = {Microsoft Press},
year = {2004}
}

@misc{01GlowCodeWeb,
title = {The GlowCode 8.2 website},
author = {Electric Software, Inc.},
year = {2011},
howpublished = "\url{http://www.glowcode.com/}"
}

@misc{OCLI,
  author = {Wikipedia},
  title = {.NET Framework},
  howpublished = "\url{http://en.wikipedia.org/wiki/File:Overview_of_the_Common_Language_Infrastructure.svg}",
  year = {2011}
}

@misc{ProfMSDN,
  author = {Microsoft},
  title = {Profiling (Unmanaged API Reference)},
  howpublished = "\url{http://msdn.microsoft.com/en-us/library/ms404386.aspx}",
  year = {2011}
}

@misc{ProfMSDNMetaData,
  author = {Microsoft},
  title = {IMetaDataImport Interface API Reference},
  howpublished = "\url{http://msdn.microsoft.com/en-us/library/ms230172.aspx}",
  year = {2011}
}

@inproceedings{EickSteffen92,
 author = {Eick, Stephen G. and Steffen, Joseph L.},
 title = {Visualizing code profiling line oriented statistics},
 booktitle = {Proceedings of the 3rd conference on Visualization '92},
 series = {VIS '92},
 year = {1992},
 isbn = {0-8186-2896-0},
 location = {Boston, Massachusetts},
 pages = {210--217},
 numpages = {8},
 url = {http://dl.acm.org/citation.cfm?id=949685.949724},
 acmid = {949724},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA}
}

@book{WPF4Unleashed,
author = {Adam Nathan},
title = {WPF 4 Unleashed},
publisher = {Sams},
year = {2010}
}

@book{MVVM2011,
author = {Bob Brumfield, Geoff Cox, David Hill, Brian Noyes, Michael Puleio, Karl Shifflett},
title = {Developer's Guide to Microsoft Prism 4: Building Modular MVVM Applications with Windows Presentation Foundation and Microsoft Silverlight (Patterns and Practices) },
publisher = {Microsoft Press},
year = {2011}
}

@misc{WPFpage,
  author = {Christian Moser},
  title = {WPF Tutorial},
  howpublished = "\url{http://www.wpftutorial.net}",
  year = {2011}
}
http://mef.codeplex.com/

@misc{MEFpage,
  author = {MEF Community},
  title = {Welcome to the MEF Community Site},
  howpublished = "\url{http://mef.codeplex.com/}",
  year = {2011}
}


text:
@incollection{riFlex,
	author = {Strachan, J.W.A. and Curioni, A. and McEllin, L.},
	title = {Flexible Social Learning of Technical Skills: The Case of Action Coordination},
	Year = {2024},
	howpublished = {Invited book chapter in Charbonneau (ed.) \textit{The Evolution of Techniques: Rigidity and Flexibility in Use, Transmission, and Innovation} in the Vienna Series in Theoretical Biology. Estimated publication 2024}}

repository: jstrchn/website

repo_name: jstrchn/website


text:
// Package h264conf contains a H264 configuration parser.
package h264conf

import (
	"fmt"
)

// Conf is a RTMP H264 configuration.
type Conf struct {
	SPS []byte
	PPS []byte
}

// Unmarshal decodes a Conf from bytes.
func (c *Conf) Unmarshal(buf []byte) error {
	if len(buf) < 8 {
		return fmt.Errorf("invalid size 1")
	}

	pos := 5

	spsCount := buf[pos] & 0x1F
	pos++
	if spsCount != 1 {
		return fmt.Errorf("sps count != 1 is unsupported")
	}

	spsLen := int(uint16(buf[pos])<<8 | uint16(buf[pos+1]))
	pos += 2
	if (len(buf) - pos) < spsLen {
		return fmt.Errorf("invalid size 2")
	}

	c.SPS = buf[pos : pos+spsLen]
	pos += spsLen

	if (len(buf) - pos) < 3 {
		return fmt.Errorf("invalid size 3")
	}

	ppsCount := buf[pos]
	pos++
	if ppsCount != 1 {
		return fmt.Errorf("pps count != 1 is unsupported")
	}

	ppsLen := int(uint16(buf[pos])<<8 | uint16(buf[pos+1]))
	pos += 2
	if (len(buf) - pos) < ppsLen {
		return fmt.Errorf("invalid size")
	}

	c.PPS = buf[pos : pos+ppsLen]

	return nil
}

// Marshal encodes a Conf into bytes.
func (c Conf) Marshal() ([]byte, error) {
	spsLen := len(c.SPS)
	ppsLen := len(c.PPS)

	buf := make([]byte, 11+spsLen+ppsLen)

	buf[0] = 1
	buf[1] = c.SPS[1]
	buf[2] = c.SPS[2]
	buf[3] = c.SPS[3]
	buf[4] = 3 | 0xFC
	buf[5] = 1 | 0xE0
	pos := 6

	buf[pos] = byte(spsLen >> 8)
	buf[pos+1] = byte(spsLen)
	pos += 2

	copy(buf[pos:], c.SPS)
	pos += spsLen

	buf[pos] = 1
	pos++

	buf[pos] = byte(ppsLen >> 8)
	buf[pos+1] = byte(ppsLen)
	pos += 2

	copy(buf[pos:], c.PPS)

	return buf, nil
}

repository: sjtosco/rtsp-simple-server

repo_name: sjtosco/rtsp-simple-server


text:
@book{Muromachijidaigo2001,
  publisher = {Sanseidō},
  author = {Muromachi Jidaigo Jiten Henshū Iinkai},
  address = {Tokyo, Japan},
  year = {2001},
  title = {Jidaibetsu kokugo daijiten: Muromachi jidai hen}
}

@book{YasumotoHonda1978,
  publisher = {Taishūkan Shoten},
  author = {Yasumoto, B. and Honda, M.},
  address = {Tokyo, Japan},
  year = {1978},
  title = {Nihongo no Tanjyō}
}

@book{Jodaigojiten1967,
  publisher = {Sanseidō},
  author = {JōdaigoJiten Henshū Iinkai},
  address = {Tokyo, Japan},
  year = {1967},
  title = {Jidaibetsu kokugo daijiten. Jōdai hen}
}

repository: lexibank/pylexibank

repo_name: lexibank/pylexibank