{"title":"Towards an Organizational Strategic Alignment Driven by Business Level Agreements","authors":"C. Melo, M. Fantinato, Violeta Sun, E. Prado","doi":"10.1109/SOSE.2014.17","DOIUrl":"https://doi.org/10.1109/SOSE.2014.17","url":null,"abstract":"Currently, organizations that are seeking to achieve a strategic alignment between business areas and Information Technology (IT) have been increasingly using Business Process Management (BPM) and Service-oriented Architecture (SOA). BPM and SOA, when used together, can help to achieve this goal. In this context, a Service Level Agreement (SLA) is commonly used to define and monitor the establishment of the relationship between business and IT, including the technical level of this relationship. However, a previous agreement, in a higher and wider level of this relationship, is necessary so that this desired strategic alignment can be achieved in the way that was expected, and this can take the form of a Business Level Agreement (BLA). This paper proposes the integrated use of BLAs and SLAs, together with a business processes modelling language (in this case, BPMN -- Business Process Modeling and Notation) and a business process execution languages (in this case, WS-BPEL -- Web Services Business Process Execution Language), in a search for a strategic alignment. An overall description of the proposed approach is presented, including a simple illustrative example, in order to foster the conduction of more research works in this area.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115602538","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Structural Analysis of the Check Point Pattern","authors":"A. Alzahrani, A. Eden, Majd Zohri Yafi","doi":"10.1109/SOSE.2014.56","DOIUrl":"https://doi.org/10.1109/SOSE.2014.56","url":null,"abstract":"We investigate intuitive claims made in security pattern catalogues using the formal language of Codecharts and the Two-Tier Programming Toolkit. We analyse the Check Point pattern's structure and explore claims about conformance (of programs to the pattern), about consistency (between different catalogues), and about the relation between (security and design) patterns. Our analysis shows that some of the intuitive claims hold whereas others were found inaccurate or false.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"857 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117058259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Understanding Security Patterns for Socio-technical Systems via Responsibility Modelling","authors":"A. Blyth","doi":"10.1109/SOSE.2014.59","DOIUrl":"https://doi.org/10.1109/SOSE.2014.59","url":null,"abstract":"Increasingly, security requirements are being viewed as a social construct derived from the culture and society within which the requirement is said to exist. A socio-technical system can be modelled as a series of inter-related, and interacting patterns of behaviour. Within a socio-technical system a security requirements can be derived from the analysis and interaction of the pattern. To capture and understand these requirements/patterns we need to make use of a formal reasoning system that supports a rigorous deductive process. In this paper we will develop a formal model of a socio -- technical systems pattern using a Kripke Semantic model. Then, via the application of Kripke Semantics to the modelling of responsibilities and how they are created/fulfilled within a socio -- context, we will derive a set of security requirements/patterns.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124891738","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Game Theoretic Model of Software Crowdsourcing","authors":"Zhenghui Hu, Wenjun Wu","doi":"10.1109/SOSE.2014.79","DOIUrl":"https://doi.org/10.1109/SOSE.2014.79","url":null,"abstract":"With the rapid development of crowdsourcing all over the world, crowdsourcing for software engineering begins to attract more and more considerable attentions from software developers, coders and researchers. And many successful online platforms such as TopCoder has demonstrated crowdsourcing's capability and potential for supporting various software development activities. In order to study the competitive behaviours for software crowdsourcing, we apply the famous game theory to model the 2-player algorithm challenges on TopCoder. And as all the participants are aware of other players' information and they make decisions almost simultaneously, this article adopts the theory of static games with complete information. Through Nash equilibria computing, we find that the value of successfully challenging probability can be used to deduce specific competitive decisions of coders in the algorithm challenge stage. Specifically, if a coder's probability to make a successful challenge exceeds some certain value, then he will always choose to challenge. The paper provides a new research perspective for software engineering crowdsourcing, and empirical research will be done in the next step of work.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123784402","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yan Li, Jinhua Xiong, Xinran Liu, Hong Zhang, Peng Zhang
{"title":"Folksonomy-Based In-Depth Annotation of Web Services","authors":"Yan Li, Jinhua Xiong, Xinran Liu, Hong Zhang, Peng Zhang","doi":"10.1109/SOSE.2014.32","DOIUrl":"https://doi.org/10.1109/SOSE.2014.32","url":null,"abstract":"Semantic web service technologies have been proposed to enable automatic web service discovery and composition. But such approaches are suffered from significant effort to construct domain ontologies and to annotate web services with semantics by third parties. Hence social and collaborative tagging systems have been gaining the popularity on the web. Folksonomy-based web service annotating is emerging, i.e. to annotate web services with semantic from community-generated folksonomies. This paper focuses on how to provide folksonomy-based in-depth annotation of web services. Herein, the in-depth means the annotation is based on a structured folksonomy, and steps inside different parts of the web services in an automatic way. Two problems need addressed: exploring semantics for the folksonomy from original tags of web services, and automatically assigning tags to the different parts of web services. The paper proposes an approach to achieving automatic tags assignment of web services with a structured folksonomy. Such in-depth annotation facilitates web services discovery and composition by providing precise tagging of input, output and etc. A case-study and result of experiments on the pairs of tag-service extracted from a web service portal, seekda, illustrates the effectiveness of the approach.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129614864","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Domain-Oriented Evaluation and Prediction for Documentation Quality of Web Services","authors":"Zhen Zhang, Zhiyong Feng, Shizhan Chen","doi":"10.1109/SOSE.2014.33","DOIUrl":"https://doi.org/10.1109/SOSE.2014.33","url":null,"abstract":"The documentation quality of Web services refers to the information in the Web service descriptions, which can affect service discovery process and subsequent use by service requesters. However, currently only with the help of expert knowledge and experience are we able to evaluate the documentation quality one by one. As a result, it brings difficulty in management of Web services. To tackle this problem, we propose a novel domain-oriented evaluation and prediction framework for documentation quality of Web services. Our evaluation model is based on a large amount of Web service documents in broad domains. The key innovation is that our framework can measure and predict the documentation quality for new Web service descriptions, so that more expressive, more readable and more easily composable Web services will be provided for service requesters. In addition, experiments conducted on 1090 Web services demonstrated the efficacy of our approach in evaluating and predicting the documentation quality for both WSDL and OWL-S documents.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128658288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, C. Georgiadis, P. Katsaros
{"title":"Correct-by-Construction Web Service Architecture","authors":"Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, C. Georgiadis, P. Katsaros","doi":"10.1109/SOSE.2014.12","DOIUrl":"https://doi.org/10.1109/SOSE.2014.12","url":null,"abstract":"Service-Oriented Computing aims to facilitate development of large-scale applications out of loosely coupled services. The service architecture sets the framework for achieving coherence and interoperability despite service autonomy and the heterogeneity in data representation and protocols. Service-Oriented Architectures are based on standardized service contracts, in order to infuse characteristic properties (stateless interactions, atomicity etc). However, contracts cannot ensure correctness of services if essential operational details are overlooked, as is usually the case. We introduce a modeling framework for the specification of Web Service architectures, in terms of formal operational semantics. Our approach aims to enable rigorous design of Web Services, based on the Behaviour Interaction Priorities (BIP) component framework and the principles of correctness-by construction. We provide executable BIP models for SOAP-based and RESTful Web Services and for a service architecture with session replication. The architectures are treated as reusable design artifacts that may be composed, such that their characteristic properties are preserved.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121565343","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"DETS: A Dynamic and Elastic Task Scheduler Supporting Multiple Parallel Schemes","authors":"Hanglong Zhan, Lianghuan Kang, Donggang Cao","doi":"10.1109/SOSE.2014.39","DOIUrl":"https://doi.org/10.1109/SOSE.2014.39","url":null,"abstract":"Task scheduling plays an important role in task parallel computing platform. In this paper, we present DETS, a dynamic and elastic task scheduler that can support multiple parallel schemes. DETS works in a master-worker manner and schedules tasks dynamically. In order to execute various types of applications elastically, it uses task pool from which workers pull tasks to execute. Workers are supervised to form a logical group which can scale up/down during runtime with available nodes and processors. DETS supports several types of parallel computing schemes, including embarrassingly parallel, MapReduce, Tree-based searching, DAG-based processing, etc. Exemplars are conducted and the results show DETS is efficient and practical.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"19 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113991017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards Knowledge Discovery in Big Data","authors":"Richard K. Lomotey, R. Deters","doi":"10.1109/SOSE.2014.25","DOIUrl":"https://doi.org/10.1109/SOSE.2014.25","url":null,"abstract":"Analytics-as-a-Service (AaaS) has become indispensable because it affords stakeholders to discover knowledge in Big Data. Previously, data stored in data warehouses follow some schema and standardization which leads to efficient data mining. However, the Big Data epoch has witnessed the rise of structured, semi-structured, and unstructured data, a trend that motivated enterprises to employ the NoSQL data storages to accommodate the high-dimensional data. Unfortunately, the existing data mining techniques which are designed for schema-oriented storages are non-applicable to the unstructured data style. Thus, the AaaS though still in its infancy, is gaining widespread attention for its ability to provide novel ways and opportunities to mine the heterogeneous data. In this paper, we discuss our AaaS tool that performs terms and topics extraction and organization from unstructured data sources such as NoSQL databases, textual contents (e.g., websites), and structured sources (e.g. SQL). The tool is built on methodologies such as tagging, filtering, association maps, and adaptable dictionary. The evaluation of the tool shows high accuracy in the mining process.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"26 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133037622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jia Zhang, Chris Lee, S. Xiao, P. Votava, Tsengdar J. Lee, R. Nemani, Ian T Foster
{"title":"A Community-Driven Workflow Recommendations and Reuse Infrastructure","authors":"Jia Zhang, Chris Lee, S. Xiao, P. Votava, Tsengdar J. Lee, R. Nemani, Ian T Foster","doi":"10.1109/SOSE.2014.23","DOIUrl":"https://doi.org/10.1109/SOSE.2014.23","url":null,"abstract":"NASA Earth Exchange (NEX) aims to provide a platform to enable and facilitate scientific collaboration and knowledge sharing in the Earth sciences, as current satellite measurements rapidly magnify the accumulation of more than 40 years of NASA datasets. One of the main objectives of NEX is to help Earth scientists leverage and reuse various data processing software modules developed by their peers, in order to quickly run value-added executable experiments (workflows). Toward this goal, this paper reports our efforts of leveraging social network analysis to intelligently extract hidden information from data processing workflows. By modeling Earth science workflow modules as social entities and their dependencies as social relationships, this research opens up new vistas for applying social science to facilitate software reuse and distributed workflow development. As a proof of concept, a prototyping system has been developed as a plug-in to the NEX workflow design and management system (VisTrails) to aid Earth scientists in discovering and reusing workflow modules and extending them to solve more complex science problems.","PeriodicalId":360538,"journal":{"name":"2014 IEEE 8th International Symposium on Service Oriented System Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123141448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}