Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

/pdf/petri-nets-properties-analysis-and-applications-43jwyjdxr0.pdf

Petri nets: Properties, analysis and applications

物件導向軟體之架構(Object-Oriented Software Construction)探討

Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. Architecture description languages (ADLs) have been proposed as modeling notations to support architecture-based development. There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which of several possible ADLs is best suited for a particular problem. Furthermore, the distinction is rarely made between ADLs on one hand and formal specification, module interconnection, simulation and programming languages on the other. This paper attempts to provide an answer to these questions. It motivates and presents a definition and a classification framework for ADLs. The utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations. The framework is used to classify and compare several existing ADLs, enabling us, in the process, to identify key properties of ADLs. The comparison highlights areas where existing ADLs provide extensive support and those in which they are deficient, suggesting a research agenda for the future.

/pdf/a-classification-and-comparison-framework-for-software-3so7xapmcq.pdf

A classification and comparison framework for software architecture description languages

[서평]「The Unified Modeling Language User Guide」

Methods and systems consistent with the present invention provide a data processing system having a business object model reflecting the data used during a business transaction. Consistent interfaces are generated from the business object model. These interfaces are suitable for use across industries, across businesses, and across different departments within a business during a business transaction.

Consistent set of interfaces derived from a business object model

Research Track Full Papers.- Pattern Based SOA Deployment.- A Domain-Specific Language for Web APIs and Services Mashups.- BPEL4Job: A Fault-Handling Design for Job Flow Management.- Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.- Discovering Service Compositions That Feature a Desired Behaviour.- An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming.- Architectural Decisions and Patterns for Transactional Workflows in SOA.- Bite: Workflow Composition for the Web.- Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks.- SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters.- Monitoring the QoS for Web Services.- Q-Peer: A Decentralized QoS Registry Architecture for Web Services.- Business Process Regression Testing.- Auditing Business Process Compliance.- Specification and Verification of Artifact Behaviors in Business Process Models.- Improving Temporal-Awareness of WS-Agreement.- Maintaining Data Dependencies Across BPEL Process Fragments.- Supporting Dynamics in Service Descriptions - The Key to Automatic Service Usage.- Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning.- Stochastic COWS.- Service License Composition and Compatibility Analysis.- Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems.- High Performance Approach for Multi-QoS Constrained Web Services Selection.- Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach.- Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions.- Syntactic Validation of Web Services Security Policies.- An Agent-Based, Model-Driven Approach for Enabling Interoperability in the Area of Multi-brand Vehicle Configuration.- User-Driven Service Lifecycle Management - Adopting Internet Paradigms in Telecom Services.- Run-Time Monitoring for Privacy-Agreement Compliance.- Task Memories and Task Forums: A Foundation for Sharing Service-Based Personal Processes.- Research Track Short Papers.- Addressing the Issue of Service Volatility in Scientific Workflows.- Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture.- eServices for Hospital Equipment.- Using Reo for Service Coordination.- A Context-Aware Service Discovery Framework Based on Human Needs Model.- Weight Assignment of Semantic Match Using User Values and a Fuzzy Approach.- Grounding OWL-S in SAWSDL.- A Declarative Approach for QoS-Aware Web Service Compositions.- Supporting QoS Negotiation with Feature Modeling.- A Multi-criteria Service Ranking Approach Based on Non-Functional Properties Rules Evaluation.- A Development Process for Self-adapting Service Oriented Applications.- Automated Dynamic Maintenance of Composite Services Based on Service Reputation.- Verifying Temporal and Epistemic Properties of Web Service Compositions.- Industrial Track Full Papers.- Research and Implementation of Knowledge-Enhanced Information Services.- A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework.- Semantic Web Services in Action - Enterprise Information Integration.- Policy Based Messaging Framework.- Contextualized B2B Registries.- Bridging Architectural Boundaries Design and Implementation of a Semantic BPM and SOA Governance Tool.- SOA and Large Scale and Complex Enterprise Transformation.- Run-Time Adaptation of Non-functional Properties of Composite Web Services Using Aspect-Oriented Programming.- Software as a Service: An Integration Perspective.- Building Data-Intensive Grid Applications with Globus Toolkit - An Evaluation Based on Web Crawling.- QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL.- Execution Optimization for Composite Services Through Multiple Engines.- Service Design Process for Reusable Services: Financial Services Case Study.- Demo Track Short Papers.- UMM Add-In: A UML Extension for UN/CEFACT's Modeling Methodology.- 4 - A Prototype Demonstrating ontext and olicies for ransactional eb ervices.- WSQoSX - A QoS Architecture for Web Service Workflows.- ReoService: Coordination Modeling Tool.

Service-Oriented Computing - Icsoc 2007

Summary Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. The visionary promise of Service-Oriented Computing is a world of cooperating services where application components are assembled with little effort into a network of services that can be loosely coupled to create flexible dynamic business processes and agile applications that may span organisations and computing platforms. SOC is being shaped by, and increasingly will help shape, modern society as a whole, especially in the areas of dynamic and ondemand business and education, health and government services. The subject of SOC is vast and enormously complex, spanning many concepts and technologies that find their origins in diverse disciplines that are woven together in an intricate manner. In addition, there is a need to merge technology with an understanding of business processes and organizational structures, a combination of recognizing an enterprise's pain points and the potential solutions that can be applied to correct them. The material in research spans an immense and diverse spectrum of literature, in origin and in character. As a result research activities at both worldwide as well as at European level are very fragmented. This necessitates that a broader vision and perspective be established—one that permeates and transforms the fundamental requirements of complex applications that require the use of the SOC paradigm. This will further enhance the value proposition of ServiceOriented Computing and will facilitate the formulation of a Services Research Roadmap leading to more effective and clearly inter-related solutions and better exploitation of research results. This document provides the necessary background for deciding on potential future research programmes in SOC and places on-going research activities and projects in the broader context of a SOC Roadmap. This research roadmap launches four pivotal, inherently related, research themes to SOC: service foundations, service composition, service management and monitoring and service-oriented engineering. The viewpoints presented in this document partly result from intensive discussions experts with various backgrounds led in parallel workgroup and in plenary sessions that took place during the International Dagstuhl Seminar on Service-Oriented Computing held November 15-18, 2005, in Schloss Dagstuhl, Wadern. Each theme is introduced briefly from a technology, state of the art and scientific challenges standpoint. From the technology standpoint a comprehensive review of state of the art, standards, and current research activities in each key area is provided. From the state of the art the major open problems and bottlenecks to progress are identified. Several of these obstacles arise due to the current lack of interdisciplinary research in the field, which is considered to be a major impediment that limits added economic growth through deployment and use of services technology. Finally, the scientific challenges that tackle the found obstacles are formulated. These are long-term visions that serve as integration platforms and demonstrators for an holistic approach to Service Oriented Computing in the identified key areas. These future research activities form a sound background for deciding on potential future programmes in SOC.

/pdf/service-oriented-computing-research-roadmap-3wqm8m4lcc.pdf

Service-Oriented Computing Research Roadmap

This paper presents FernUniversitat’s conceptual and technical contributions to the second year of the
Leonardo project “Mobile Learning: The Next Generation of Learning”. We address the motivation
behind the second application we developed, describe the challenges and design solutions we
identified, and report on first feedback we acquired from our students. We also sketch a third learning
application for mobile devices, which exploits the increasing popularity of mp3 players and the
concept of podcasting. In our discourse we derive some requirements for useful mobility functions of
learning management systems. Finally we also present some new evaluation data related to our first
application, the Java-based learning object Histobrick.

Mobile Learning: The Next Generation of Learning

Peer-oriented computing is an attempt to weave interconnected machines into the fabric of the Internet. Service-oriented computing (exemplified by web-services), on the other hand, is an attempt to provide a loosely coupled paradigm for distributed processing. In this paper we present an event-notification based architecture and formal framework towards unifying these two computing paradigms to provide essential functions required for automating e-business applications and facilitating service publication, discovery and exchange.

Leveraging web-services and peer-to-peer networks

https://link.springer.com/content/pdf/10.1007%2F3-540-45017-3_33.pdf

Bernd J. Krämer

Papers

Service-Oriented Computing - Icsoc 2007

Service-Oriented Computing Research Roadmap

Mobile Learning: The Next Generation of Learning

Leveraging web-services and peer-to-peer networks

Leveraging web-services and peer-to-peer networks