@article(owlrec,
 author       = "C. Bock and A. Fokoue and P. Haase and R. Hoekstra and I. Horrocks and A. Ruttenberg and U. Sattler and M. Smith",
 title        = "{OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax}",
 journal      = "W3 Recommendation",
 note         = "\url {http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/}",
)
@manual(OWL2ds,
 author       = "Motick Boris and Patel-Schneider Peter F and Cuenca Grau Bernardo",
 title        = "{OWL 2} Web Ontology Language Direct Semantics",
 url          = "http://www.w3.org/TR/owl2-direct-semantics/",
)
@inbook(BCGR09a,
 author       = "Manfred Broy and María Victoria Cengarle and Hans Grönniger and Bernhard Rumpe",
 year         = "2009",
 title        = "Considerations and Rationale for a UML System Model",
 pages        = "43--60",
 publisher    = "John Wiley and Sons, Inc.",
 doi          = "10.1002/9780470522622.ch3",
)
@inproceedings(caomiao,
 author       = "Xiaoxia Cao and Huaikou Miao and Qingguo Xu",
 year         = "2008",
 title        = "Verifying Service-Oriented Requirements Using Model Checking",
 booktitle    = "Proceedings of the 2008 IEEE International Conference on e-Business Engineering",
 series       = "ICEBE '08",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "643--648",
 doi          = "10.1109/ICEBE.2008.30",
)
@phdthesis(fthesis,
 author       = "Roy Thomas Fielding",
 year         = "2000",
 title        = "Architectural Styles and the Design of Network-based Software Architectures",
 school       = "Citeseer",
 doi          = "10.1.1.91.2433",
 url          = "http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm",
)
@article(wsarch,
 author       = "R. Heckel and H. Voigt and J. Kuster and S. Thone",
 year         = "2003",
 title        = "{Towards Consistency of Web Service Architectures}",
 journal      = "In the Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics",
)
@book(djangobook,
 author       = "A. Holovaty and J. Kaplan-Moss",
 year         = "2007",
 title        = "The Definitive Guide to Django: Web Development Done Right",
 publisher    = "Apress",
)
@inproceedings(horrocks06,
 author       = "Ian Horrocks and Oliver Kutz and Ulrike Sattler",
 year         = "2006",
 title        = "The Even More Irresistible $\mathcal {SROIQ}$",
 booktitle    = "Proc.\ of the 10th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2006)",
 publisher    = "AAAI Press",
 pages        = "57--67",
 url          = "download/2006/HoKS06a.pdf",
)
@article(nentwich,
 author       = "C. Nentwich and W. Emmerich and A. Finkelstein",
 year         = "2001",
 title        = "{Static Consistency Checking for Distributed Specifications}",
 journal      = "In the Proceedings of the 16th IEEE international conference on Automated software engineering",
)
@manual(OMG_OCL2,
 author       = "OMG",
 year         = "2006",
 title        = "OCL, OMG Available Specification, Version 2.0",
 url          = "http://www.omg.org/spec/OCL/2.0/",
)
@manual(UMLSE241,
 author       = "OMG",
 year         = "2011",
 title        = "UML Superstructure Specification, Version 2.4.1",
 url          = "http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/",
)
@inproceedings(sacporresnrauf,
 author       = "Ivan Porres and Irum Rauf",
 year         = "2011",
 title        = "Modeling behavioral RESTful web service interfaces in UML",
 booktitle    = "Proceedings of the 2011 ACM Symposium on Applied Computing",
 series       = "SAC '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "1598--1605",
 doi          = "10.1145/1982185.1982521",
)
@article(hermit,
 author       = "Shearer R and Motik B and Horrocks I",
 year         = "2008",
 title        = "{HermiT: A highly-efficient OWL reasoner.}",
 journal      = "Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008)",
)
@article(pellet,
 author       = "Evren Sirin and Bijan Parsia and Bernardo Cuenca Grau and Aditya Kalyanpur and Yarden Katz",
 year         = "2007",
 title        = "Pellet: A practical OWL-DL reasoner",
 journal      = "Web Semant.",
 volume       = "5",
 number       = "2",
 pages        = "51--53",
 doi          = "10.1016/j.websem.2007.03.004",
)
@inproceedings(robusttesting,
 author       = "W. T. Tsai and X. Wei and Y. Chen and R. Paul",
 year         = "2005",
 title        = "A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis",
 booktitle    = "Proceedings of the IEEE International Workshop",
 series       = "SOSE '05",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "159--166",
 doi          = "10.1109/SOSE.2005.2",
)
@article(tsaiweichen,
 author       = "W.T. Tsai and X. Wei and Y. Chen and B. Xiao and R. Paul and H. Huang",
 year         = "2005",
 title        = "{Developing and assuring trustworthy Web services}",
 journal      = "In the Proceedings of Autonomous Decentralized Systems",
)
@inproceedings(Tsarkov:2006:FDL:2136107.2136140,
 author       = "Dmitry Tsarkov and Ian Horrocks",
 year         = "2006",
 title        = "FaCT++ description logic reasoner: system description",
 booktitle    = "Proceedings of the Third international joint conference on Automated Reasoning",
 series       = "IJCAR'06",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "292--297",
 doi          = "10.1007/11814771/26",
)
@article(uml2009ss,
 author       = "OMG UML",
 year         = "2009",
 title        = "{2.2 Superstructure Specification}",
 journal      = "OMG ed",
 note         = "\url {http://www.omg.org/spec/UML/2.2/}",
)
@inproceedings(yinyin,
 author       = "YuYu Yin and JianWei Yin and Ying Li and ShuiGuang Deng",
 year         = "2008",
 title        = "Verifying Consistency of Web Services Behavior Using Type Theory",
 booktitle    = "Asia-Pacific Services Computing Conference, 2008. APSCC '08. IEEE",
 pages        = "1560--1567",
 doi          = "10.1109/APSCC.2008.149",
)