检索结果-内蒙古大学图书馆

Microflows: Leveraging Process Mining and an Automated Constraint Recommender for Microflow Modeling 1

7th International Symposium on Business Modeling and Software Design (BMSD)

作者： Oberhauser, Roy Stigler, Sebastian Aalen Univ Comp Sci Dept Aalen Germany

ISBN: (数字)9783319784281

ISBN: (纸本)9783319784281;9783319784274

Businesses and software development processes alike are being challenged by the digital transformation and agility trend. Business processes are increasingly being automated yet are also expected to be agile. Current business process modeling is typically labor-intensive and results in rigid process models. For larger processes it becomes arduous to consider all possible process variations and enactment circumstances. Contemporaneously, in software development microservices have become a popular software architectural style for partitioning business logic into fine-grained services accessible via lightweight protocols which can be rapidly and individually developed by small teams and flexibly (re) deployed. This results in an increasing number of available services and a much more dynamic IT service landscape. Thus, a more dynamic form of modeling, integration, and orchestration of these microservices with business processes is needed. This paper describes agile business process modeling with Microflows, an automatic lightweight declarative approach for the workflow-centric orchestration of semantically-annotated microservices using agent-based clients, graph-based methods, and the lightweight semantic vocabularies JSON-LD and Hydra. A graphical modeling tool supports Microflow modeling and provides dynamic constraint and microservice recommendations via a recommender service using machine learning of domain-categorized Microflows. To be able to utilize existing process model knowledge, a case study shows how Microflow constraints can be automatically extracted from existing Business Process Modeling Notation (BPMN) process files and transformed into flexible Microflow constraints, which can then be used to train the recommendation service. Further, it describes process mining of Microflow execution logs to automatically extract BPMN models and automated recovery for errors occurring during enactment.

关键词： Business process modeling Workflow management systems Microservices Service orchestration Agent systems Semantic technology declarative programming Recommenders Recommendation engines Business process mining Business Process Modeling Notation

来源：评论

学校读者我要写书评

暂无评论

Expressive and Extensible Parameter Passing for Distributed Object Systems

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2011年第1期21卷 1–26页

作者： Tilevich, Eli Gopal, Sriram Virginia Tech Dept Comp Sci Blacksburg VA 24061 USA

In modern distributed object systems, reference parameters to a remote method are passed according to their runtime type. This design choice limits the expressiveness, readability, and maintainability of distributed applications. Further, to extend the built-in set of parameter passing semantics of a distributed object system, the programmer has to understand and modify the underlying middleware implementation. To address these design shortcomings, this article presents (i) a declarative and extensible approach to remote parameter passing that decouples parameter passing semantics from parameter types, and (ii) a plugin-based framework, DeXteR, which enables the programmer to extend the built-in set of remote parameter passing semantics, without having to understand or modify the underlying middleware implementation. DeXteR treats remote parameter passing as a distributed cross-cutting concern and uses aspect-oriented and generative techniques. DeXteR enables the implementation of different parameter passing semantics as reusable application-level plugins, applicable to application, system, and third-party library classes. The expressiveness, flexibility, and extensibility of the approach is validated by adding several nontrivial remote parameter passing semantics (i.e., copy-restore, lazy, streaming) to Java Remote Method Invocation (RMI) as DeXteR plugins.

关键词： Languages Design Extensible middleware metadata aspect-oriented programming (AOP) generative programming declarative programming

来源：评论

学校读者我要写书评

暂无评论

A multimedia programming model based on timed concurrent constraint programming

引用

COMPUTER SYSTEMS SCIENCE AND ENGINEERING 1998年第4期13卷 195-205页

作者： Papadopoulos, GA Univ Cyprus Dept Comp Sci Multimedia Res & Dev Lab CY-1678 Nicosia Cyprus

We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been developed for logic programs yielding an integrated declarative environment for multimedia objects modelling. composition and synchronisation. The expressiveness and ability of OO-TCCP to act as a basis for building high-level, user-friendly authoring environments is illustrated by presenting a simple object model for multimedia composition and synchronisation followed by an analysis on how it can be used to model the temporal behaviour and relationships of multimedia objects. We then define a "universal" set of multimedia programming primitives and we show how they can be implemented in OO-TCCP. Finally, we argue about the benefits of our approach wrt both easiness of programming and implementation of the proposed framework. To the best of our knowledge this is the first time logic programming (in the form of concurrent constraint programming or otherwise) is used as a basis for designing and implementing multimedia programming frameworks.

关键词： multimedia programming declarative programming modelling and synchronisation of multimedia objects (applications of) concurrent constraint programming

来源：评论

学校读者我要写书评

暂无评论

A Taste of Functional programming - 1

引用

RESONANCE-JOURNAL OF SCIENCE EDUCATION 2007年第8期12卷 27-48页

作者： Mukund, Madhavan Chennai Math Inst H1 SIPCOT IT PkPadur PO Siruseri 603103 India

Functional programming has its roots in Alonzo Church's lambda calculus. A functional program is a collection of functions that work together to transform data. Though Lisp brought functional programming to public attention in the 1950s, it was John Backus's 1977 Turing Award lecture criticizing the limitations of imperative programming languages that led to a resurgence of interest in this field. The 1970s and 1980s saw a number of advances, leading to the development of the language Haskell, which carefully combined ideas from many earlier languages. In this article, we explore some basic notions of functional programming via Haskell.

关键词： programming languages functional programming declarative programming Haskell lazy reduction infinite data structures

来源：评论

学校读者我要写书评

暂无评论

SWOWS and dynamic queries to build browsing applications on linked data

引用

JOURNAL OF VISUAL LANGUAGES AND COMPUTING 2014年第6期25卷 738-744页

作者： Bottoni, Paolo Ceriani, Miguel Univ Roma La Sapienza Dept Comp Sci Rome Italy

The linked data initiative is pushing dataset maintainers to publish data online in a highly reusable way through a set of open standards, such as RDF and SPARQL. The variety and amount of structured data available on the Web are increasing, but their consumption is still quite limited. In particular, applications that are used to explore linked data are usually generic linked data browsers or applications with hard-coded logic tailored for specific needs. SWOWS is a platform for declarative specification of applications consuming linked data. In this paper, we describe the use of the platform-for creating browsing applications tailored to specific contexts, and show how the declarative paradigm supports the development of flexible applications. To this end, the platform has been extended to support the dynamic generation of SPARQL queries. An example of a linked data browser created with the platform is given. (C) 2014 Elsevier Ltd. All rights reserved.

关键词： Linked data Semantic Web declarative programming Visual programming languages Visual exploration SPARQL Semantic information retrieval Interactive applications

来源：评论

学校读者我要写书评

暂无评论

Implementation Issues for a Highly Structured Research Report 26th

Implementation Issues for a Highly Structured Research Repor...

引用

26th International Conference on Theory and Practice of Digital Libraries (TPDL)

作者： Allen, Robert B. New York NY United States

ISBN: (纸本)9783031168024;9783031168017

We have proposed that scientific research reports should be constructed entirely of structured knowledge rather than text. In an earlier paper, we emphasized Research Designs as a framework for structured research reports and described how a structured implementation might be applied to Pasteur's classic swan-neck flask experiment. In this paper, we examine some of the issues encountered in developing that implementation using dynamic models. For instance, we consider issues associated with modeling state transitions.

关键词： declarative programming Direct representation Hypothesis Model Pasteur Research Designs

来源：评论

学校读者我要写书评

暂无评论

declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system 15

Declaratively solving tricky Google Code Jam problems with P...

引用

30th ACM Symposium on Applied Computing (SAC)

作者： Dymchenko, Sergii Mykhailova, Mariia

ISBN: (纸本)9781450331968

In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based (ECLPSe)-P-i system using declarative techniques: constraint logic programming and linear (integer) programming. These problems were designed to be solved by inventing clever algorithms and efficiently implementing them in a conventional imperative programming language, but we present relatively simple declarative programs in (ECLPSe)-P-i that are fast enough to find answers within the time limit imposed by the contest rules. We claim that declarative programming with (ECLPSe)-P-i is better suited for solving certain common kinds of programming problems offered in Google Code Jam than imperative programming. We show this by comparing the mental steps required to come up with both kinds of solutions.

关键词： declarative programming logic programming constraint programming linear programming programming competitions

来源：评论

学校读者我要写书评

暂无评论

A System for Using Wireless Sensor Networks as Globally Deductive Databases

A System for Using Wireless Sensor Networks as Globally Dedu...

引用

4th Annual IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB)/SecPriWiMob/SAUCEWiMob/HWN-RMQWiMob/STWiMob

作者： Choochaisri, Supasate Intanagonwiwat, Chalermek Chulalongkorn Univ Dept Comp Engn Bangkok 10330 Thailand

ISBN: (纸本)9780769533933

Several research efforts have abstracted wireless sensor networks as relational databases whose data can be easily queried by users. However, none of these works includes recursive query mechanisms and globally logic reasoning techniques necessary for powerful uses as in deductive databases. In this paper, we propose an approach for abstracting wireless sensor networks as deductive databases that consist of rules, predicates, and logic-based queries. Our approach enables globally logic reasoning and data relating on a query that can be recursive or non-recursive. Additionally, the approach is more convenient to users because the users no longer need to be concerned about local behaviors of each sensor node. We also present LogicQ, an underlying system for disseminating and processing logic-based queries as well as collecting data in an energy-efficient manner. LogicQ uses a data filtering and suppressing technique that directly corresponds to an injected logic-based query for energy savings. Our performance analysis indicates that LogicQ can handle logic-based queries efficiently in terms of completeness and soundness while minimizing the energy consumption.

关键词： declarative programming Deductive Database Logic programming Recursive Query Processing Wireless Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

Manipulating GUI Structures declaratively 2020

Manipulating GUI Structures Declaratively

引用

19th ACM SIGPLAN International Conference on Generative programming - Concepts and Experiences (GPCE)

作者： Stokke, Knut Anders Barash, Mikhail Jarvi, Jaakko Univ Bergen Bergen Norway Univ Turku Turku Finland

ISBN: (纸本)9781450381741

GUIs often contain structures that are incidental, not properly manipulatable through well-defined APIs. For example, modifying a list of items in a GUI's model may require extraneous bookkeeping operations in the view, such as adding and removing event handlers, and updating the menu structure. Observing GUIs in practice gives an indication that programmers may find it difficult or tedious to implement complete and convenient sets of operations for manipulating various structures: useful operations for adding, inserting, swapping, or reordering elements are often missing, inconsistent, or limited. This paper introduces a DSL for programming operations that manipulate such incidental structures. The programmer specifies structures via relations between elements, concretely by defining methods that unestablish and establish a relation. This gives the programmer an ability to describe structural transformations via rules that control which relations should hold before and after a rule is applied. The API for structure manipulation is generated from these rules. Our DSL can give an abstract view on ad-hoc structures, making it easier to provide the necessary set of operations for their convenient manipulation.

关键词： declarative programming GUIs separation of concerns

来源：评论

学校读者我要写书评

暂无评论

On Development Practices for End Users

On Development Practices for End Users

引用

Workshop on New Trends in Search Computing/Workshop on Search Computing Challenges and Directions

作者： Bozzon, Alessandro Brambilla, Marco Imran, Muhammad Daniel, Florian Casati, Fabio Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy Univ Trento I-38123 Povo TN Italy

ISBN: (纸本)9783642196676

The paper discusses some trends in end user programming (EUP) and takes inspiration from the discussions in a panel and in a vertical session on research evaluation within the second Search Computing workshop. We discuss the controversial successes and failures in this field and we elaborate on which facilities could foster adoption of end user programming. We discuss various dimensions of end user programming, including vertical versus horizontal language definition, declarative versus imperative approaches. We exemplify our discussion in the realistic scenario of research evaluation by comparing the Search Computing and ResEval approaches.

关键词： crowd programming end user development mashup conceptual modeling declarative programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：